Considere as seguintes proposições: P: O aluno estudou para...
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".