No livro Lógica e Conjuntos, o autor Francisco Cunha...

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