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 forma
em tautologia, proposição logicamente falsa ou contingência. Vamos usar tabela-verdade para isso.
Passo 2
Há dois casos para
:
Se , então
, logo
Se
e
Se
, então
, logo
e
Passo 3
Em ambos os casos a forma resulta em
, ou seja, é verdadeira para todas as valorações de
.
Resposta
A forma
é uma tautologia.