Questão em destaque · Q4512435

Em uma investigação, um perito estabelece a fórmula proposicional: [(P → Q) ∧ ¬ Q] → ¬ P Ele precisa classificar essa estrutura para determinar a validade formal do raciocínio empr

Legalle Concursos · FJP · 2026 · Técnico em Atividades de Pesquisa e Ensino

Resolva a questão abaixo e continue estudando com o banco de questões.

P4512435

ID: 4512435

Raciocínio LógicoAssunto: Tautologia

Banca: Legalle Concursos

Ano: 2026

Nível: Médio

Em uma investigação, um perito estabelece a fórmula proposicional:

[(P → Q) ∧ $\neg$ Q] → $\neg$ P

Ele precisa classificar essa estrutura para determinar a validade formal do raciocínio empregado no diagnóstico de uma falha sistêmica. Ao construir a tabela-verdade completa para todas as combinações das proposições P e Q, o perito encontrará uma coluna final composta exclusivamente por valores verdadeiros. Essa estrutura é classificada academicamente como: