请问怎样判断离散数学中一阶逻辑式中各符号的优先级?

问题描述:

请问怎样判断离散数学中一阶逻辑式中各符号的优先级?
1个回答 分类:综合 2014-12-07

问题解答:

我来补答
非 且 或 条件 双条件
为了方便 一般情况下都用括弧
再问: 我想知道包括量词符号(任意、存在等)后怎么看优先级
再答: 就看括号的范围,看存在或者全称量词后面括号的范围
再问: 多个量词是不是从右往左?
再答: 多个量词是同级别的 比如说(Vx)(Ey)(Y→X) 代表对于任意的X,存在Y,使Y→X 全称量词和存在量词符号不会打,凑合着看
 
 
展开全文阅读
剩余:2000
下一页:立体几何 24题