Tautologia é um conceito da lógica matemática na qual todos os seus resultados são verdadeiros. É possível comprovar que uma proposição seja uma tautologia através da montagem da tabela verdade ou através de uma de suas propriedades.
No módulo de tautologia você aprenderá o seu conceito e como verificar se uma determina proposição é uma tautologia. Para isso você conhecerá as propriedades comutativa, associativa, distributiva, lei de De Morgan, dupla negação e o teorema contra recíproco.
Qual o objetivo em estudar este assunto?
Estudar tautologia é importante para que o aluno saiba como uma proposição se torna verdadeira em todas as suas possibilidade. O aluno aprenderá a montar a tabela verdade para chegar nessa conclusão mas também irá ver todas as propriedades da tautologia para se chegar nessa resposta de forma direta.