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 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 a, o perito encontrará uma coluna final composta exclusivamente por valores verdadeiros. Essa estrutura é classificada academicamente como: