Questão de Raciocínio Lógico · FCC TRF4 2019 (nº 18)

O conceito-chave aqui é a equivalência lógica entre uma afirmação condicional e sua contrapositiva. Uma afirmação condicional "Se P, então Q" (onde P é a condição e Q é a consequência) é logicamente equivalente à sua contrapositiva "Se não Q, então não P". Se a primeira é verdadeira, a segunda também é, e vice-versa.

• (A) Incorreta: A afirmação original fala sobre os filhos de José, não sobre José. Não há informação para deduzir se José sabe ou não inglês.
• (B) Incorreta: Assim como na alternativa A, a informação não permite deduzir nada sobre o conhecimento de inglês de José.
• (C) Incorreta: Esta é a recíproca da afirmação original ("Se Q, então P"). O fato de Mário saber inglês não garante que ele seja filho de José; ele pode ser outra pessoa que também sabe inglês. Esta é uma armadilha comum, pois inverte a causa e o efeito.
• (D) Correta: Esta é a contrapositiva da afirmação original. A afirmação original é "Se alguém é filho de José (P), então essa pessoa sabe inglês (Q)". A contrapositiva é "Se alguém não sabe inglês (não Q), então essa pessoa não é filho de José (não P)". Como a afirmação original é verdadeira, sua contrapositiva também é.
• (E) Incorreta: Esta é a inversa da afirmação original ("Se não P, então não Q"). O fato de Marcos não ser filho de José não significa que ele não possa saber inglês; ele pode ser qualquer outra pessoa que sabe inglês.