13
1.1 命题符号化及联结词
命题与命题变项象程序语言中常量与变量的关系一样。
例：5是一个常量，是一个确定的数字，而x是一个变量， 赋给它一个什么值它就代表什么值，即x的值是不定的。
例3：判断下列句子是否为命题？
1．张校长的头发有一万根。
（是）
2．我所说的是假的。
（否）
14
1.1 命题符号化及联结词
式公式。 （2）称A是n+1(n≥0)层公式是指下列情况之一：
(a) A= B,B是n层公式; (b)A=B∧C,其中B,C分别为i层和j层公式,且n=max(i,j) ； (c) A=B ∨ C,其中B,C的层次及n同(b); (d) A=B ∨ C,其中B,C的层次及n同(b); (e) A=B C,其中B,C的层次及n同(b); (f) A=B C,其中B,C的层次及n同(b);
4
第一章 命题逻辑
❖ 数理逻辑是研究推理（即研究人类思维的形式 结构和规律）的科学，起源于17世纪，它采用 数学符号化的方法，因此也称为符号逻辑。
❖ 从广义上讲，数理逻辑包括四论、两演算—— 即集合论、模型论、递归论、证明论和命题演 算、谓词演算，但现在提到数理逻辑，一般是 指命题演算和谓词演算。本书也只研究这两个 演算。
6
第一章 命题逻辑
❖ 数理逻辑与计算机学、控制论、人工智能的相 互渗透推动了其自身的发展，模糊逻辑、概率 逻辑、归纳逻辑、时态逻辑等都是目前比较热 门的研究领域。
❖ 本篇我们只从语义出发，对数理逻辑中的命题 演算与谓词演算等作一简单的、直接的、非形 式化的介绍，将不涉及任何公理系统。
7
1.1 命题符号化及联结词
运算规则：
p
q
p q
