Em uma aula de lógica aplicada ao controle normativo, o professor exibiu a fórmula [(p → q) ^ p] → q e pediu que a turma classificasse sua natureza lógica. A expressão foi analisada em todas as combinações possíveis de valores lógicos de p e q. Ao final, buscava-se identificar se a proposição permanece verdadeira em qualquer situação. Que classificação deve ser atribuída a essa fórmula?