mostrar texto associado
A especificação P pode ser corretamente representada por p ↔ (q Λ r ), em que p, q e r correspondem a proposições adequadas e os símbolos ↔ e Λ representam, respectivamente, a bicondicional e a conjunção