04 mar 2013, 19:06
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??
05 mar 2013, 17:47
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.