Qual é a ordem de precedência dos conectivos lógicos ¬, ∧, ∨, → e ↔ ao interpretar uma proposição composta?

¬ > ∧ > ∨ > → > ↔

Exemplo:
Considere a expressão \(p \lor q \land \neg r \to s \leftrightarrow t\).

1) Negação: calcule \(\neg r\).
2) Conjunção: forme \(q \land \neg r\).
3) Disjunção: forme \(p \lor (q \land \neg r)\).
4) Condicional: forme \((p \lor (q \land \neg r)) \to s\).
5) Bicondicional: finalmente \(((p \lor (q \land \neg r)) \to s) \leftrightarrow t\).