本章讨论以复合命题为前提的必然性推理。所谓复合命题即包含其他命题的命题，构成复合命题的命题称为该复合命题的肢命题

1. 词项 2. 直言命题 3. 直言推理 4. 三段论

上海交通大学：《离散数学》课程教学资源（讲义）第二章 命题逻辑的等值与推理

上海交通大学：《离散数学》课程教学资源（PPT课件）第二章 命题逻辑的等值和推理演算

1. 命题及其符号表达 2. 命题的逻辑性质 3. 命题推理 4. 命题演算

第一节 命题逻辑概述 第二节 命题逻辑的公理系统 第三节 命题演算的自然推理系统 第四节 命题逻辑的语义学

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则

《数学教学论》课程教学资源（讲义）第五章 数学概念、命题与问题解决教学 第三节 数学推理及其证明

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