第5章 一阶逻辑等值演算与推理离 散 数 学计算机系 张顺淼本章说明本章的主要内容一阶逻辑等值式与基本等值式置换规则、换名规则、代替规则前束范式一阶逻辑推理理论本章与其他各章的关系本章先行基础是前四章本章是集合论各章的先行基础本章主要内容 51 一阶逻辑等值式与置换规则52 一阶逻辑前束范式53 一阶逻辑的推理理论51 一阶逻辑等值式与置换规则在一阶逻辑中,有些命题可以有不同的符号化形式。例如:没
#
#
第5章 一阶逻辑等值演算与推理离 散 数 学本章说明本章的主要内容一阶逻辑等值式与基本等值式置换规则、换名规则、代替规则前束范式一阶逻辑推理理论本章与其他各章的关系本章先行基础是前四章本章是集合论各章的先行基础本章主要内容 51 一阶逻辑等值式与置换规则52 一阶逻辑前束范式53 一阶逻辑的推理理论51 一阶逻辑等值式与置换规则在一阶逻辑中,有些命题可以有不同的符号化形式。例如:没有不犯错误的人令
离散数学第5章第5章
本章说明本章的主要内容一阶逻辑等值式与基本等值式置换规则、换名规则、代替规则前束范式一阶逻辑推理理论本章与其他各章的关系本章先行基础是前四章本章是集合论各章的先行基础本章主要内容 51 一阶逻辑等值式与置换规则52 一阶逻辑前束范式53 一阶逻辑的推理理论51 一阶逻辑等值式与置换规则在一阶逻辑中,有些命题可以有不同的符号化形式。例如:没有不犯错误的人令 M(x):x是人。 F(x):x犯错误。则
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第五章 一阶逻辑等值演算与推理主要内容:重要的等值式① 在有限个体域内消去量词等值式② 量词否定等值式③ 量词辖域收缩与扩张等值式④ 量词分配等值式基本规则① 置换规则② 换名规则③ 代替规则前束范式与公式的前束范式自然推理系统F要求:深刻理解并记住重要等
本章的主要内容一阶逻辑等值式与基本等值式置换规则换名规则代替规则前束范式一阶逻辑推理理论本章与其他各章的关系本章先行基础是前四章本章是集合论各章的先行基础判断公式A与B是否等值等价于判断公式A?B是否为永真式谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似 设A(x)是任意的含自由出现个体变项x的公式则(1)┐?xA(x) ? ?x┐A(x)(2)┐?xA(x) ? ?x┐A(x)? ?x(
#
#
违法有害信息,请在下方选择原因提交举报