Desafio

Vamos refletir.

Como uma tautologia é sempre V, a negação de uma tautologia é uma contradição, e vice-versa.

Lembre-se então que vimos o seguinte neste módulo: • a proposição ~(p∧~p) é uma tautologia • a proposição p∧~p é uma contradição Agora comprove que: A negação de uma tautologia é uma contradição, e vice-versa. Sabe por onde começar?

Dica: aproveitando as tabelas verdades construídas neste módulo para ~(p∧~p) e p∧~p, basta criar uma nova coluna ao final de cada tabela e aplicar a operação de negação.

Para relembrar, clique aqui e veja as tabelas verdades de ~(p∧~p) e p∧~p.

Basta agora seguir a dica e comprovar a teoria que afirma que a negação de uma tautologia é uma contradição e vice-versa.