No livro Lógica e Conjuntos, o autor Francisco Cunha defende o uso de parênteses na simbolização das proposições para evitar ambiguidades, mas concorda que a notação pode ser simplificada (supressão de parênteses) desde que não venham a ocorrer ambiguidades. Para essa simplificação é definida uma ordem de precedência das operações lógicas, de maneira a permitir identificar o conectivo principal de uma proposição, de modo a poder nomeá-la.
De acordo com a ordem estabelecida no livro, dadas as proposições simples, p, q, r e s, a proposição
∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p)
é uma
- A negação.
- B disjunção.
- C condicional.
- D conjunção.
- E bicondicional.
