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

欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法

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

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

一、逻辑结构设计的任务 二、概念结构是各种数据模型的共同基础 三、为了能够用某一DBMS实现用户需求，还必须将概念结构进一步转化为相应的数据模型，这正是数据库逻辑结构设计所要完成的任务

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

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

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第四章 谓词逻辑的基本概念