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".