第一、二章习题课.pptxVIP

2022-8-29 1 1）掌握和理解命题（简单命题和复合命题）、命题的真值（T和F）、命题联结词（﹁、∨、∧、→、  ）、命题符号化； 2）掌握命题公式的递归定义、指派、真值表、公式的分类、永真（假）式的概念； 知识点 第1页/共59页 2022-8-29 2 3）掌握命题公式等价的概念和基本等价式，掌握等价式的证明法（真值表法和公式推导法即等价取代法）；掌握蕴涵式的概念、蕴涵式的证明法（真值表法、前件真推出后件真法、后件假推出前件假法和公式推导法）； 4）了解对偶式的基本概念和对偶定理； 第2页/共59页 2022-8-29 3 5） 理解范式的概念、主析（合）取范式和主合取范式，能够熟练求公式的主析（合）取范式（真值表法、公式推导法）； 6）了解推理形式的基本结构，熟悉基本的推理定律和基本推理规则（P规则、T规则和CP规则），掌握不同证明方法（直接法、反证法）。 第3页/共59页 2022-8-29 4 7） 理解个体、个体域、谓词、命题的谓词形式，了解全称量词和存在量词，了解自由变元、约束变元、辖域的概念，了解约束变元的换名规则、自由变元的代入规则； 8）了解谓词公式的永真式，掌握谓词逻辑的等价式和蕴涵式，熟悉全称量词消去规则（US）、全称量词引入规则（UG）、存在量词消去规则（ES）、存在量词引入规则（EG）及其它们的使用限制，掌握谓词逻辑的推理过程。 第4页/共59