复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_05/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_04/29

命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_02/29

The objects in a set are also called the elements, or members, of the set. A set is said to contain its elements. Null Set: There are no anything in the set

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

1.2 集合Sets 1.2.1 集合的基本概念Concepts of Sets

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统