Precisar, utilizando o método das tabelas de verdade, se as fórmulas seguintes são tautologias, contradições ou proposições simplesmente satisfatórias. Procuraremos limitar ao máximo os cálculos.
Passo 1
O enunciado pede para classificar, por meio de tabela de verdade, a fórmula
como tautologia, contradição ou simplesmente satisfatória. O conteúdo é lógica proposicional, e usaremos o método da tabela de verdade para avaliar todos os casos possíveis de verdade de
e
.
Passo 2
Montamos a tabela de verdade com as colunas necessárias:
Passo 3
Observamos que, em todas as linhas, a coluna final
é sempre
.
Resposta
A fórmula é uma tautologia.