Considere a sentença a seguir.

“Se o laboratório está aberto, então há técnico de plantão. Se isso acontece, então, se o laboratório estiver aberto e não houver aula marcada, os equipamentos estarão funcionando. Além disso, os equipamentos só estarão funcionando se, e somente se, o laboratório estiver aberto.”

Considerando as proposições: pp: “O laboratório está aberto”, qq: “Há técnico de plantão”, r: “Os equipamentos estão funcionando”, ss: “Há aula marcada”, a sentença acima é traduzida para a linguagem simbólica na proposição lógica