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