A proposição condicional “Se Temístocles é professor então Demóstenes é orador” é logicamente equivalente a

Gabarito

Errado

Comentário do professor

A questão aborda a equivalência lógica de uma proposição condicional do tipo "Se P, então Q", que pode ser expressa simbolicamente como P → Q.

Passo 1: Compreensão da equivalência lógica A equivalência mais conhecida para uma proposição condicional P → Q é a forma disjuntiva: P → Q ≡ ¬P ∨ Q

Isso significa que a proposição "Se P, então Q" é logicamente equivalente a "ou P é falso (¬P), ou Q é verdadeiro".

Passo 2: Aplicação ao enunciado No enunciado, temos:

P: "Temístocles é professor".

Q: "Demóstenes é orador".

A proposição condicional dada é: "Se Temístocles é professor (P), então Demóstenes é orador (Q)".

Utilizando a equivalência lógica: P → Q ≡ ¬P ∨ Q

Essa equivalência se traduz para: "Temístocles não é professor (¬P) ou Demóstenes é orador (Q)".

Passo 3: Verificação das alternativas Analisando as opções fornecidas, verificamos que a alternativa (E) expressa exatamente essa equivalência: Temístocles não é professor ou Demóstenes é orador.

A alternativa E está correta porque utiliza a equivalência lógica P → Q ≡ ¬P ∨ Q, transformando o condicional em uma disjunção lógica.