Assim como existe a ordem de precedência nas operações em expressões numéricas e algébricas, existe a ordem de precedência na interpretação de uma proposição lógica composta.
Dessa forma, a correta interpretação da proposição p ∨ q → r ↔ s ∧ t é: