离散数学CH02-命题逻辑.pptVIP

离散数学

DiscreteMathematics;第2章:命题逻辑

第3章：谓词逻辑;亚里士多德〔Aristotle，〕：三段论

莱布尼茨〔GottfriedWilhelmvonLeibniz，1646-1716〕：将推理复原为计算;布尔〔GeorgeBoole1815-1864〕：形式符号和等式，布尔代数

弗雷格〔GottlobFrege，1848-1925〕：一阶逻辑

罗素〔BertrandRussell，1872-1970〕：逻辑主义

希尔伯特〔DavidHilbert，1862-1943〕：形式主义

哥德尔〔KurtGodel,1906-1978〕：逻辑和形式方法不充分性;研究人的思维形式和规律的科学称为逻辑学。逻辑〔Logics〕研究的是有效的推理方法。

逻辑学包括：

1.形式逻辑

2.辨证逻辑

3.数理逻辑

数理逻辑〔MathematicalLogics〕就是用数学化〔符号化〕的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用,是现代计算机技术的根底。;内容提要;内容提要;2.1命题及联结词

2.2命题公式与翻译

2.3真值表和等价公式

2.4重言式

2.5范式

2.6全功能联结词集

2.7对偶式与蕴含式

2.8命题逻辑的推理理论;2.1.1命题的根本概念

在数理逻辑中把能判断真假的陈述句称为命题。一般用小写英文字母或小写英文字母带下标表示。

命题的概念包含了以下3个要素：

⑴只有陈述句才有可能成为命题，而其它的语句，如：感慨句、祈使句、疑问句等都不是命题。

⑵一个语句虽是陈述句,但不能判断真假不是命题。

⑶虽然要求命题能判断真假，但不要求现在就能确定真假，将来可以确定真假也可以。;2.1.1命题的根本概念

命题的真值：判断的结果

真值的取值：真(True,T,1)与假(False,F,0)

真命题(真值为真的命题)与假命题(真值为假的命题)

任何命题的真值是惟一的;在命题逻辑中对命题不再细分，因而命题是数理逻辑中最根本的也是最小的研究单位。

【例2.1】判断以下语句是否为命题。假设是命题，确定其真值。

⑴上海是个小村庄。

⑵存在外星人。

⑶禁止吸烟！

⑷北京是中国的首都。

⑸4是素数或6是素数。

⑹今天你吃了吗？

⑺11+1=100

⑻我正在说谎。;解：

⑴命题(F)

⑵命题(待定)

⑶不是命题(祈使句)

⑷命题(T)

⑸命题(F)

⑹不是命题(疑问句)

⑺命题(由上下文确定)

⑻不是命题(悖论);简单命题符号化

用小写英文字母p,q,r,…,pi,qi,ri(i?1)表示简单命题。

用“1”表示真，用“0”表示假。例如，令

p：π是有理数，那么p的真值为0，

q：2+5=7，那么q的真值为1。;表示命题的小写英文字母或带下标的小写英文字母常称为命题标识符。如果命题标识符表示一个具体、确定的命题，称为命题常元。如果命题标识符表示任意一个命题，称为命题变元。命题变元无确定的真值。

命题是能判断真假的陈述句。而命题变元代表任意的命题，其真值是不确定的，因而不是命题。;如果一个命题不能再分解成更简单的命题，那么称该命题为原子命题。如果一个命题不是原子命题，称该命题为复合命题。

如果命题变元表示原子命题时，该命题变元称为原子变元。

在自然语言中，可以通过“如果…，那么…”，“不但…，而且…”这样的连词将简单的陈述句联结成复合语句，同样在命题逻辑当中，也可以通过命题联结词将原子变元联结起来表示复合命题。;2.1.2命题联结词

常用的逻辑联结词有五种：否认联结词、合取联结词、析取联结词、条件联结词和双条件联结词。;1.否认联结词

定义2.1.1设p为命题，那么p的否认是一个复合命题，记作：?p，读作“非p”或“p的否认”。定义为：假设P为T，那么?p为F；假设p为F，那么?p的真值为T。

p和?p的关系如表2.1所示，表2.1叫做否认联结词“?”的真值表(下同)。

联结词“?”也可以看作逻辑运算，它是一元运算。;p;【例2.2】否认以下命题。

p：王强是一名大学生。

?p：王强不是一名大学生。;2.合取联结词

定义设p和q均为命题，那么p和q的合取是一个复合命题，记作p∧q，读作“p与q”或“p合取q”。定义