4.1 集合的笛卡尔积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数

3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数

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

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

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

3.1 集合的基本概念 3.2 集合的基本运算 3.3 集合中元素的计数

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

5.1 二元运算及其性质 5.2 代数系统及其子代数 5.3 代数系统的同态与同构

4.1 集合的笛卡尔积与二元关系 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系和偏序关系 4.6 函数的定义和性质 4.7 函数的复合和反函数

第一节 二阶矩过程 第二节 均方极限 第三节 均方连续性 第四节 均方导数 第五节 均方积分 第六节 均方黎曼—司蒂吉斯积分 第七节 均方导数与均方积分的分布 第八节 均方微分方程