Do ponto de vista da lógica, uma sentença equivalente à “Se ele é médico, então ele estudou anatomia” é:

Gabarito

B

Comentário do professor

Seja P = "ele é médico" e Q = "ele estudou anatomia". A sentença dada é a condicional \(P \rightarrow Q\): "Se P, então Q".

Uma transformação lógica válida é formar a contrapositiva: negamos ambas as partes e invertemos a ordem, obtendo \( \neg Q \rightarrow \neg P\), isto é, "Se ele não estudou anatomia, então ele não é médico".

Essa contrapositiva é logicamente equivalente à condicional original porque ambas têm os mesmos valores de verdade em todas as situações (ou seja, são verdadeiras exceto quando P é verdadeira e Q é falsa). Alternativamente, \(P \rightarrow Q\) também equivale a \(\neg P \lor Q\), o que confirma a equivalência com \(\neg Q \rightarrow \neg P\).