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

Passo 1

O enunciado pede para construirmos a tabela-verdade da fórmula
(p r)rightarrow(q vee neg r)
e identificar se ela é tautologia, contradição ou contingente. O conteúdo é tabela-verdade de conectivos lógicos, em particular condicional ( ), disjunção ( vee), negação ( neg) e bicondicional ( rightarrow). Precisamos listar todas as combinações de verdade de p,q,r, calcular neg r, qveeneg r, p r e, por fim, o valor do bicondicional.

Passo 2

Listamos as 8 combinações de e calculamos as colunas intermediárias e o valor final:

Passo 3

Observando a última coluna vemos que há linhas em que a fórmula vale T e outras em que vale F. Logo, ela não é sempre verdadeira (tautologia) nem sempre falsa (contradição), mas varia conforme p,q,r.

Resposta

A fórmula (p r)rightarrow(q vee neg r) é contingente; não é tautologia nem contradição.

Exercícios relacionados