Fórum de Matemática
DÚVIDAS? Nós respondemos!

como nas expressões numericas, acredito que nas expressões lógicas a uma ordem nos operadores lógicos

1 resolve os operadores entre (),, {} segundo ¬ , terceiro V, Λ, V , em quarto → e por ultimo ↔ seria isso mesmo?
por exemplo
p → q v p → r
para resolver essa expressão eu faria assim por exemplo.
p → ( q v p ) → r ?

seria isso mesmo??

Boa tarde,

Essa questão dos parêntesis é uma convenção para evitar ambiguidade como você observa no problema. E em geral usam-se apenas os parêntesis para enfatizar a precedência.

Também é possível escrever sentenças sem parêntesis e para tal há uma convenção para a precedência dos operadores lógicos:

O ¬ ou ~ tem maior precedência que ∧;
O ∧ tem maior precedência que ∨; (veja que aqui há uma inversão em relação ao que você colocou)
O ∨ tem maior precedência que ⇒, ⇐ e ⇔ ( estes 3 são equivalentes)

O resultado do seu exemplo está de acordo com essa regra precedência.

_________________
Fraol
_{Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.}

Obrigado!!
fraol