Questão 677564

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

[(P → Q) ∧ \(\lnot\) Q] → \(\lnot\) 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: