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.

• Proposição ~(p ∧ ~p)

	p	~p	p ∧ ~p	~(p ∧ ~p)
1.	V	F	F	V
2.	F	V	F	V

• Proposição (p ∧ ~p)

	p	~p	p ∧ ~p
1.	V	F	F
2.	F	V	F