作业帮 > 综合 > 作业

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

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/07/08 07:04:11
请问怎样判断离散数学中一阶逻辑式中各符号的优先级?
非 且 或 条件 双条件
为了方便 一般情况下都用括弧
再问: 我想知道包括量词符号(任意、存在等)后怎么看优先级
再答: 就看括号的范围,看存在或者全称量词后面括号的范围
再问: 多个量词是不是从右往左?
再答: 多个量词是同级别的 比如说(Vx)(Ey)(Y→X) 代表对于任意的X,存在Y,使Y→X 全称量词和存在量词符号不会打,凑合着看