"Toda proposição composta, formada por duas ou mais proposições, cuja última coluna da sua tabela verdade encerre somente com a letra 'F' (Falso) denomina-se:

Gabarito

D

Comentário do professor

Uma proposição composta cujo resultado final na tabela verdade seja **sempre F** é chamada de **contradição**.

Isso significa que não existe atribuição de valores de verdade às proposições simples que torne a composta verdadeira; ela é, portanto, **insatisfatível**. Em termos lógicos, uma contradição é equivalente à constante falsa \( \bot \).

Um exemplo clássico é \(p \wedge \neg p\): para qualquer valor de \(p\) a expressão resulta em falso, logo é **contradição**.

Reconhecer uma contradição é útil em provas e raciocínios, pois mostrar que uma hipótese conduz a uma contradição permite concluir que a hipótese é falsa.