Considere as seguintes proposições:
P: O aluno estudou para a prova.
Q: O aluno tirou uma boa nota na prova.
Traduza a seguinte proposição para a linguagem dos
diagramas lógicos: "Se o aluno estudou para a prova,
então ele tirou uma boa nota na prova".