离散数学合式公式中的连接词优先级怎么定?pVq→pVr 像这样的,我知道一般都是加括号的,但是如果不加括号怎么算呢?是这样的么 p V(q→p)V r
问题描述:
离散数学合式公式中的连接词优先级怎么定?
pVq→pVr 像这样的,我知道一般都是加括号的,但是如果不加括号怎么算呢?
是这样的么 p V(q→p)V r
答
两边先吸取,然后再蕴含
答
答:不是
不加括号,应先算pVq,在算pVr ,最后算→
优先级为:┐> ∧ >∨>→> ←→