Construa as seguintes tabelas verdades das seguintes fórmulas e identifique as que são tautologias ou contradições:
Passo 1
O enunciado pede a tabela– verdade da fórmula
e que identifiquemos se é tautologia (sempre verdadeira), contradição (sempre falsa) ou contingente (às vezes V, às vezes F). Vamos usar o método padrão de tabela– verdade em Proposição Simbólica.
Passo 2
Definimos as colunas necessárias na ordem lógica de cálculo:
sendo o valor final de
sendo
Passo 3
Preenchendo para todas as
combinações de
, obtemos:
Passo 4
Na coluna final
há pelo menos um valor
(linha
) e vários
. Logo a fórmula não é sempre verdadeira nem sempre falsa, ou seja, é contingente.
Resposta
A tabela– verdade está dada acima, e a fórmula é contingente (não é tautologia nem contradição).