Questão de Raciocínio Lógico — Fundamentos de Lógica — CESPE / CEBRASPE 2025

Raciocínio Lógico — Equivalência de Condicionais

❌ ERRADO. O item afirma que, da premissa "todo T é P" (T → P), pode-se concluir que a negação de T implica a negação de P (¬T → ¬P). Isso é um erro lógico conhecido como negação do antecedente. A equivalência válida da condicional é a contrapositiva: ¬P → ¬T. A proposição ¬T → ¬P é a inversa, que não é logicamente equivalente à original.

A lógica proposicional estabelece que a única equivalência fundamental para a condicional "Se T, então P" é:

• Contrapositiva: Se não P, então não T (¬P → ¬T).

• Recíproca: Se P, então T (P → T) — não é equivalente.

• Inversa: Se não T, então não P (¬T → ¬P) — não é equivalente (é a contrapositiva da recíproca).

Portanto, a afirmação do item é falsa. A negação de T não implica a negação de P; pode haver funcionários que não participam do treinamento (¬T) e ainda assim alcançam produtividade (P), conforme o enunciado não afirma que T é condição necessária para P. (O enunciado diz apenas que todos os T são P, mas não que todos os P são T.)

❌ ERRADO.