Construir as tabelas-verdade das proposições abaixo:
\sim p \vee(q \wedge sim r)

Passo 1

O enunciado pede a construção da tabela-verdade da proposição
\neg p \;\vee\;\bigl(q \wedge \neg r\bigr).
O conteúdo exige listar todas as combinações de verdade de p, q e r e avaliar passo a passo as subfórmulas \neg p, \neg r, q\wedge\neg r e, por fim, a disjunção \neg p\vee(q\wedge\neg r).

Passo 2

Identificamos as subfórmulas que aparecerão como colunas intermediárias na tabela:
  1. \neg p
  2. \neg r
  3. q\wedge\neg r
  4. \neg p\vee(q\wedge\neg r)

Passo 3

A seguir, avaliamos cada linha para todas as combinações de p,q,r. Usamos “V” para verdadeiro e “F” para falso.
p q r \neg p \neg r q\wedge\neg r \neg p\vee(q\wedge\neg r)
V V V F F F F
V V F F V V V
V F V F F F F
V F F F V F F
F V V V F F V
F V F V V V V
F F V V F F V
F F F V V F V

Resposta

A tabela-verdade de \neg p \vee(q\wedge\neg r) está apresentada acima.

Exercícios relacionados