Questão de Raciocínio Lógico-Matemático · FGV PCAM 2021 (nº 11)

Para negar uma afirmação condicional ("Se P então Q"), você deve afirmar que a condição (P) acontece E a consequência (Q) NÃO acontece. Em símbolos, a negação de $P \rightarrow Q$ é $P \land \neg Q$.

• (A) Correta: A afirmação original é "Se Jonas é um soldado (P) então é forte (Q)". A negação, seguindo a regra $P \land \neg Q$, é "Jonas é um soldado (P) E não é forte ($\neg Q$)". Esta alternativa corresponde exatamente à forma correta da negação.
• (B) Incorreta: Esta alternativa ("Se Jonas não é um soldado então é forte") é uma nova condicional ($\neg P \rightarrow Q$), que não é a negação da original.
• (C) Incorreta: Esta alternativa ("Se Jonas é um soldado então não é forte") é outra condicional ($P \rightarrow \neg Q$). É um distrator comum porque nega apenas a consequência, mas mantém a estrutura condicional, o que está errado para a negação. A armadilha da banca é fazer o aluno pensar que basta negar a segunda parte da frase e manter o "se... então...".
• (D) Incorreta: Esta alternativa ("Se Jonas não é um soldado então não é forte") é a inversa da afirmação original ($\neg P \rightarrow \neg Q$), e não sua negação.
• (E) Incorreta: Esta alternativa ("Se Jonas não é forte então não é um soldado") é a contrapositiva da afirmação original ($\neg Q \rightarrow \neg P$). A contrapositiva é logicamente equivalente à afirmação original, ou seja, tem o mesmo valor de verdade, e portanto, não pode ser sua negação.