数理逻辑精品教学（华南理工大学）5-2 谓词逻辑的等值和推理演算.pptx

请交作业三;作业讲评二;P37: 2;P37:4(1)证明：A?B 与 B*?A*同永真、同可满足;P37：5(3)求范式、成真赋值;;P37：5(8)求范式、成真赋值;;P38：7(1) 判断下列推理是否正确;P38：7(7) 判断下列推理是否正确;P38:7(15) 判断下列推理是否正确;补充题;补充题;P38：8(4)使用推理规则证明;;P38：9(2)证明下列推理关系;第5章 谓词逻辑的等值和推理演算 ;5.3 范 式;前束范式 ;与量词有关的公式;例: 求下列公式的前束范式;例 求下列公式的前束范式;例: 求下列公式的前束范式 ;Skolem标准形(仅保留?量词);求下式Skolem标准形(仅保留?量词);5.4 基本的推理公式;(?x)(P(x)?Q(x)) T (?x)P(x)?(?x)Q(x);基本的推理公式;5.5 推理演算;推理规则 ;有关量词的推理规则;有关量词的推理规则;使用推理规则的推理演算举例 ;作业8