A proposição condicional “Se Temístocles é professor então Demóstenes é orador” é logicamente equivalente a
- A)Temístocles não é professor e Demóstenes é orador.
Errada, porque mistura negação do antecedente com afirmação do consequente, mas sem preservar a equivalência do condicional.
- B)Temístocles é professor e Demóstenes não é orador.
Errada, porque transforma a implicação em uma conjunção que não corresponde à regra de equivalência.
- C)Temístocles não é professor e Demóstenes não é orador.
Errada, porque descreve uma situação mais forte e não equivalente ao condicional original.
- D)Temístocles é professor ou Demóstenes não é orador.
Errada, porque "P ou não Q" é a negação da equivalência correta, não a forma equivalente do condicional.
- E)Temístocles não é professor ou Demóstenes é orador.
Certa, porque um condicional "Se P, então Q" é equivalente a "não P ou Q".
Gabarito: E
A proposição condicional tem a forma clássica: "Se P, então Q". Em lógica, ela é equivalente a "não P ou Q". Isso é uma regra básica e cai muito em prova porque a banca gosta de trocar a roupa da ideia sem mudar o sentido. Aqui, P é "Temístocles é professor" e Q é "Demóstenes é orador". Então, a frase "Se Temístocles é professor então Demóstenes é orador" pode ser reescrita como "Temístocles não é professor ou Demóstenes é orador". Perceba que não é uma oposição direta ao enunciado, mas a forma equivalente do condicional. Se o antecedente falha, a frase toda já fica verdadeira; se o consequente acontece, também. Essa equivalência vem da tabela-verdade do condicional: P -> Q só é falsa quando P é verdadeira e Q é falsa. A expressão "não P ou Q" também só é falsa nesse mesmo caso. Por isso as duas são logicamente equivalentes. Em provas de Raciocínio Lógico da FGV, isso aparece como uma troca entre condicional e disjunção, quase como um truque de espelho. Logo, o gabarito E está correto porque traduz exatamente a forma equivalente de "Se P, então Q": "não P ou Q". No caso concreto, fica "Temístocles não é professor ou Demóstenes é orador".