为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

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.2 集合Sets 1.2.1 集合的基本概念Concepts of Sets

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

–推理的形式结构 –自然推理系统P

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

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

六逻辑学与理性精神+ 1同一律的内容是:在同一思维过程中,一切思想都必须保持同一。 例1张先生买了块新手表。他把新手表与家中的挂钟对照,发现手表比挂钟慢了三分钟:后来他又把 家中的挂钟与电台的标准时对照,发现挂钟比电台标准时一天快了三分钟。张先生由此推断:他的表是准 确的

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题