– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

信息科学技术学院2003-2004学年第一学期本科生期末考试试卷（数理逻辑）

1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式

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

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

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

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