Construa as seguintes tabelas verdades das seguintes fórmulas e identifique as que são tautologias ou contradições:
m(p wed>= q r) vee(neg p rightarrow q vee neg r)

Passo 1

O enunciado pede a tabela– verdade da fórmula
(p wed>= q r);lor;(neg p rightarrow (q vee neg r))
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:
p,;q,;r,;pwed>= q,;pwed>= q r,;neg p,;neg r,;qveeneg r,;neg prightarrow(qveeneg r),;F
sendo F o valor final de
(p wed>= q r);lor;(neg p rightarrow (q vee neg r))

Passo 3

Preenchendo para todas as combinações de , obtemos:

Passo 4

Na coluna final F há pelo menos um valor F (linha 2) e vários V. 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).

Exercícios relacionados