离散数学合式公式中的连接词优先级怎么定?pVq→pVr 像这样的,我知道一般都是加括号的,但是如果不加括号怎么算呢?是这样的么 p V(q→p)V r

问题描述:

离散数学合式公式中的连接词优先级怎么定?
pVq→pVr 像这样的,我知道一般都是加括号的,但是如果不加括号怎么算呢?
是这样的么 p V(q→p)V r

两边先吸取,然后再蕴含

答:不是
不加括号,应先算pVq,在算pVr ,最后算→
优先级为:┐> ∧ >∨>→> ←→