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