《离散数学》教案 王素霞.docx

命题逻辑

一、学习目的与要求

理解命题、命题变项、命题公式的核心概念，掌握命题的判定规则。

熟练运用五种基本联结词进行命题符号化，区分相容或与排斥或。

掌握真值表构造、等值演算、主范式求解三大核心方法。

理解推理的形式结构，能用真值表法、等值演算法、主范式法、构造证明法判断推理有效性。

能够运用命题逻辑知识解决简单实际逻辑问题。

二、知识点

命题的定义、分类（简单命题/复合命题）、真值、悖论。

五种基本联结词(否定?、合取∧、析取∨、蕴涵→、等价?）及与非↑、或非↓联结词。

命题公式的递归定义、公式层次、赋值（成真/成假赋值）、真值表。

公式类型：重言式、矛盾式、可满足式。

等值式