Se João é policial, então Paulo é advogado. Se Paulo é advogado, então Maria não é professora. Sabe-se que João é policial. Nessas circunstâncias é correto afirmar que:

Gabarito

Certo

Comentário do professor

As premissas são \(J\rightarrow P\) (Se João é policial, então Paulo é advogado) e \(P\rightarrow \neg M\) (Se Paulo é advogado, então Maria não é professora), e sabe-se que \(J\) é verdadeiro.

Aplicando modus ponens: de \(J\rightarrow P\) e \(J\) concluímos \(P\) (Paulo é advogado).

Novamente por modus ponens: de \(P\rightarrow \neg M\) e \(P\) concluímos \(\neg M\) (Maria não é professora).

Portanto, as duas proposições simples necessárias para a alternativa estão verdadeiras. A expressão \(\neg M \land J\) representa a conjunção dessas proposições; uma conjunção é verdadeira somente quando ambas as partes são verdadeiras. Logo, é correto afirmar: Maria não é professora e João é policial.