Construa tabelas verdades para:
\sim p \vee \sim q

Passo 1

O enunciado pede a construção da tabela-verdade para a fórmula lógica \neg p \lor \neg q. O conteúdo aqui é lógica proposicional, envolvendo as operações de negação \neg e disjunção \lor. Para resolver, vamos listar todas as possíveis valorações de verdade das proposições p e q e calcular passo a passo \neg p, \neg q e, por fim, \neg p \lor \neg q.

Passo 2

Primeiro, listamos as quatro valorações possíveis de (p,q):
(p,q) \in \{(V,V),\,(V,F),\,(F,V),\,(F,F)\}.
Em cada valoração calculamos \neg p e \neg q, lembrando que negação inverte valor de verdade:
  • Se p for V, então \neg p é F; se p for F, então \neg p é V.
  • O mesmo vale para \neg q.
    Depois, aplicamos a disjunção: \neg p \lor \neg q é verdadeira sempre que pelo menos uma das componentes \neg p ou \neg q for verdadeira.

Passo 3

Montamos a tabela-verdade completa reunindo todas as colunas. A seguir está a tabela final.

Resposta

\begin{array}{cc|cc|c} p & q & \neg p & \neg q & \neg p \lor \neg q \\\ \hline \text{V} & \text{V} & \text{F} & \text{F} & \text{F} \\\ \text{V} & \text{F} & \text{F} & \text{V} & \text{V} \\\ \text{F} & \text{V} & \text{V} & \text{F} & \text{V} \\\ \text{F} & \text{F} & \text{V} & \text{V} & \text{V} \\\ \end{array}

Exercícios relacionados