GabaritoC — tautologia
Gabarito: C (tautologia). A proposição composta [(P→Q)∧P]→Q é sempre verdadeira, independentemente dos valores lógicos de P e Q. Isso caracteriza uma tautologia, também conhecida como a regra de inferência modus ponens.
Para confirmar, construímos a tabela-verdade:
P | Q | P→Q | (P→Q)∧P | [(P→Q)∧P]→Q |
|---|---|---|---|---|
V | V | V | V | V |
V | F | F | F | V |
F | V | V | F | V |
F | F | V | F | V |
A última coluna é toda V → tautologia.
Analogia não é uma classificação lógica formal de proposições compostas; refere-se a um tipo de raciocínio comparativo, não aplicável aqui.
Contradição ocorre quando a proposição é sempre falsa. No caso, a proposição é sempre verdadeira.
É uma tautologia, pois todos os valores da tabela-verdade são verdadeiros.
Falácia é um argumento logicamente inválido, mas a proposição em si não é um argumento; é uma fórmula que expressa uma verdade lógica (modus ponens é válido).
Contingência ocorre quando a proposição assume valores verdadeiros e falsos. Aqui, é sempre verdadeira.
Decore as principais tautologias: modus ponens, modus tollens, silogismo hipotético, etc. Elas caem frequentemente em provas de lógica.
Link permanente: /questoes/ce166474