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

Passo 1

O enunciado pede para construir a tabela–verdade da proposição
\lnot\bigl(p \vee \lnot q\bigr)\,\wedge\,\bigl(\lnot p \vee r\bigr).
O conteúdo é lógica proposicional, e vamos montar a tabela avaliando todas as 2^3=8 combinações de verdade para p, q e r, calculando em seguida as subfórmulas.

Passo 2

Para cada linha da tabela, seguimos esta sequência de cálculos:
  1. \lnot q
  2. p \vee \lnot q
  3. \lnot\bigl(p \vee \lnot q\bigr)
  4. \lnot p
  5. \lnot p \vee r
  6. \lnot\bigl(p \vee \lnot q\bigr)\,\wedge\,\bigl(\lnot p \vee r\bigr)

Passo 3

Aplicando esses passos a todas as combinações de (p,q,r), obtemos a tabela a seguir.

Resposta

p q r \lnot q p \vee \lnot q \lnot(p \vee \lnot q) \lnot p \lnot p \vee r \lnot(p \vee \lnot q)\wedge(\lnot p \vee r)
\text{V} \text{V} \text{V} \text{F} \text{V} \text{F} \text{F} \text{V} \text{F}
\text{V} \text{V} \text{F} \text{F} \text{V} \text{F} \text{F} \text{F} \text{F}
\text{V} \text{F} \text{V} \text{V} \text{V} \text{F} \text{F} \text{V} \text{F}
\text{V} \text{F} \text{F} \text{V} \text{V} \text{F} \text{F} \text{F} \text{F}
\text{F} \text{V} \text{V} \text{F} \text{F} \text{V} \text{V} \text{V} \text{V}
\text{F} \text{V} \text{F} \text{F} \text{F} \text{V} \text{V} \text{V} \text{V}
\text{F} \text{F} \text{V} \text{V} \text{V} \text{F} \text{V} \text{V} \text{F}
\text{F} \text{F} \text{F} \text{V} \text{V} \text{F} \text{V} \text{V} \text{F}

Exercícios relacionados