Construa tabelas verdades para:
\sim \mathrm{p} \vee \mathrm{q}

Passo 1

O enunciado pede para construir a tabela-verdade da fórmula lógica \neg p \vee q Esta é uma questão de lógica proposicional: vamos listar todas as combinações de valores possíveis para as variáveis p e q, depois calcular \neg p e finalmente a disjunção \neg p \vee q.

Passo 2

Listamos as quatro combinações possíveis de (p,q):
(p,q)\in\{(V,V),\,(V,F),\,(F,V),\,(F,F)\}.

Passo 3

Para cada linha calculamos \neg p:
  • Se p=V, então \neg p = F.
  • Se p=F, então \neg p = V.

Passo 4

Aplicamos a disjunção \neg p \vee q, que é verdadeira sempre que pelo menos um dos operandos for verdadeiro:
  • Se \neg p = V ou q = V, então \neg p \vee q = V.
  • Caso contrário, \neg p \vee q = F.

Resposta

A tabela-verdade completa é
\begin{array}{cc|c|c} p & q & \neg p & \neg p \vee q\\hline V & V & F & V\\\ V & F & F & F\\\ F & V & V & V\\\ F & F & V & V \end{array}

Exercícios relacionados