Se Paulo é motorista, então Ana é advogada. Se Carlos é professor, então Paulo é motorista. Sabe-se que Ana não é advogada. Portanto, é válido concluir que:

Gabarito

Certo

Comentário do professor

Premissas: \(P \to A\) (Se Paulo é motorista, então Ana é advogada), \(C \to P\) (Se Carlos é professor, então Paulo é motorista) e \(\neg A\) (Ana não é advogada).

Aplicando o modus tollens à primeira premissa: de \(P \to A\) e \(\neg A\) segue \(\neg P\). Em linguagem comum, como Ana não é advogada, não pode ser verdade que Paulo seja motorista, pois isto implicaria o contrário.

Agora aplique o mesmo raciocínio à segunda premissa: de \(C \to P\) e \(\neg P\) resulta \(\neg C\). Ou seja, se Paulo não é motorista, então não pode ser que Carlos seja professor, já que a condição de Carlos ser professor exigiria Paulo motorista.

Conclusão: portanto, é válido concluir que Carlos não é professor.