De tautologico. Na lógica, uma tautologia (desde a grega a±aa» ³¯±, "dizem o mesmo"???) é que um formado um sistema de lógica proposicional, que é verdadeiro para qualquer interpretação; ou seja, para qualquer atribuição de valores de verdade que é feito de suas fórmulas atômicas. A construção de uma tabela verdade é um método eficaz para determinar se ou não qualquer fórmula é uma tautologia.
* Apenas um "eu gosto" por significado e dia, mais "eu gosto" o significado aparecerá mais alto na lista
