离散数学教学课件.pptxVIP

1.1命题1.2重言式1.3范式1.4联结词的扩充与归约1.5推理规则和证明方法1.6谓词和量词1.7谓词演算的永真公式1.8谓词演算的推理规则第1章数理逻辑

1.1命题

1.1.1基本概念

断言是一陈述语句。一个命题是一个或真或假而不能两者都是的断言。如果命题是真，我们说它的真值为真;如果命题是假，我们说它的真值是假。

例1.1-1下述都是命题:

(1)今天下雪;

(2)3+3=6;

(3)2是偶数而3是奇数;

(4)陈涉起义那天，杭州下雨;

(5)较大的偶数都可表为两个质数之和。

以上命题中，(1)的真值取决于今天的天气;(2)和(3)是真;(4)已无法查明它的真值，但它是或真或假的，故将它归属于命题;(5)目前尚未确定其真假，但它是有真值的，应归属于命题。

例1.1-2下述都不是命题:

(1)x+y＞4。

(2)x=3。

(3)真好啊!

(4)你去哪里?

(1)和(2)是断言，但不是命题，因为它的真值取决于x和y的值。(3)和(4)都不是断言，所以不是命题。下边我们再看一个例子。

例1.1-3一个人说:“我正在说谎”。

他是在说谎还是在说真话呢?如果