Considere verdadeira a seguinte proposição: Se Paulo é professor, então ele é idealista. A negação lógica da proposição acima é:

Gabarito

D

Comentário do professor

A proposição original é a condicional Se Paulo é professor, então ele é idealista, que podemos escrever como \(P \to I\), com \(P\): Paulo é professor e \(I\): Paulo é idealista.

A alternativa apresentada, Se Paulo não é idealista, ele não é professor, corresponde à forma \(\neg I \to \neg P\). Essa forma é chamada de contrapositiva.

Importante: a contrapositiva de uma condicional é logicamente equivalente à condicional original. Intuitivamente, se todo professor é idealista, então, sempre que alguém não for idealista, essa pessoa não pode ser professor, caso contrário teríamos uma contradição.

Assim, a alternativa expressa corretamente a contrapositiva da afirmação dada, preservando o mesmo valor lógico da proposição inicial.