Preencha a tabela-verdade abaixo para as fórmulas indicadas.

Questão

Preencha a tabela-verdade abaixo para as fórmulas indicadas.

Resposta

98%

Tabela preenchida (V/F):

pqrp ∧ q(p ∧ q) → p¬[(p ∧ q) → p]¬[(p ∧ q) → p] ∧ r
VVVVVFF
VVFVVFF
VFVFVFF
VFFFVFF
FVVFVFF
FVFFVFF
FFVFVFF
FFFFVFF

Explicação

Vamos calcular coluna a coluna.

  1. pqp \land q só é verdadeira quando p=Vp=V e q=Vq=V.
  • Então apenas nas duas primeiras linhas (V,V,*) temos pq=Vp\land q = V. Nas demais, FF.
  1. (pq)p(p \land q) \to p (implicação) é falsa somente no caso antecedente = V e consequente = F.
  • Aqui o antecedente é (pq)(p\land q) e o consequente é pp.
  • Se (pq)=V(p\land q)=V, então necessariamente p=Vp=V (pois para pqp\land q ser V, pp tem que ser V). Logo não existe linha com antecedente V e consequente F.
  • Portanto (pq)p(p \land q) \to p é sempre V.
  1. ¬[(pq)p]\neg[(p \land q) \to p] é a negação da coluna anterior.
  • Como a coluna anterior é sempre V, sua negação é sempre F.
  1. ¬[(pq)p]r\neg[(p \land q) \to p] \land r é uma conjunção.
  • Como o primeiro termo ¬[(pq)p]\neg[(p \land q) \to p] é sempre F, então F \land r = F para qualquer valor de rr.

Assim, as duas últimas colunas ficam todas F, e a tabela final está como apresentada.

Alternativa correta: (sem alternativas).

Questões relacionadas

Ver últimas questões

Comece a estudar de forma inteligente hoje mesmo

Resolva questões de concursos e vestibulares com IA, gere simulados personalizados e domine os conteúdos que mais caem nas provas.

Cancele quando quiser.