1、命题：可以分辨真假的语句。只有陈述句才可以分辨真假。

原子命题（不可以拆分）和复合命题（原子命题通过命题连接词连接）

并、非、或、等价、蕴含。。。

这章主要讲逻辑运算。。。。

2、命题变元和命题公式：一个没有赋予具体内容的命题叫命题变元，也就是命题函数，如X是大学生，X可以用具体带入。

在谓词演算中，将原子命题分解为谓词和个体两个部分

如：李中——个体

是大学时——谓词；

谓词分：一元谓词：只与一个个体联系，说明个体性质，如上例。

多元谓词：谓词与多个具有一定次序的个体联系，说明诸个体间的关系

  如：长春在沈阳和哈尔滨之间。连接了三个城市，次序

一般用大写表示谓词，用小写表示个体

如F(a），可表示a是大学生，就是一个命题变元。又如F（b），若a表示李中，b表示李华，则：F（a）并F（b）

4、量词

一个谓词演算的表达式，在限定的个体域中，其取值有时是不确定的，例如：x+6=5，是一个命题，如x个体变域为整型时，取值不定，x=-1时命题为真，其余为假，为使它在个体变域内有确定取值，人们引入量词：（1）全称量词（2）存在量词。存在量词的意思为有确切取值，命题为真。全称量词则对所有的x来说，命题为假。

谓词演算中也包括了命题演算，故命题变元也可写成谓词算式的形式，叫谓词演算的原子公式。

由原子公式出发，可以定义谓词演算的公式:

i：谓词演算的原子公式是公式。

ii：若A是谓词演算公式，则（非A）也是谓词演算的公式。

iii：若A、B是谓词演算公式，则：（A并B），（A或B），（A包含于B），（A等价于B）是谓词演算公式。

iv：若A是谓词演算公式，x是个体变元，则全称A，存在A也是谓词演算公式。

v：只有按1---4所得的公式才是谓词演算公式。

看出：演算公式的构成定义是递归的给出了由原子公式到一般公式的产生法则。

二、元组关系演算

以元组为变量的关系演算叫元组关系演算。

定义：

1、原子命题函数是公式，称为原子公式。

在元组关系演算中，它有如下三种形式：

a）R（t），t是关系R的一个元组，这里R是一个谓词。关系R是R中所有元组构成    的一个元组集合。-----任一个关系都可以写成R（t）。

b）t[i]比较符c或c比较符t[i]

   其中t[i]——元组变量t的第i分量

   c为常量

   表示如下命题：元组t的第i分量与常量c之间满足比较符运算。

   例：t[2]>6：表示命题：t的第二分量大于6。

   5<t[3]：表示命题：t小于元组t的第3分量。