Quais das seguintes formas são tautologias, proposições logicamente falsas ou nenhuma das duas condições?
Passo 1
O enunciado pede para classificar a fórmula
como uma tautologia (sempre verdadeira), uma contradição (sempre falsa) ou nenhuma das duas (contingente).
Passo 2
Construímos a tabela de verdade para
:
Para
:
,
Para
:
,
Logo, a fórmula assume valor V em um caso e F no outro.
Passo 3
Como
não é verdadeira em todas as linhas (logo, não é tautologia) e nem falsa em todas (logo, não é contradição), ela é uma proposição contingente.
Resposta
Nenhuma das duas condições.