Imagem de fundo

Em uma aula de lógica aplicada ao controle normativo, o professor exibiu a fórmula [(p ...

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?


A

A fórmula é uma contradição.


B

A sentença é equivalente a ¬q.


C

A expressão é contingente.


D

A fórmula é uma tautologia.