方世昌离散数学第三版教材课件第1章数理逻辑.pptVIP

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 一个人说:“我正在说谎”。　　他是在说谎还是在说真话呢? 如果他讲真话，那么他所说的是真，也就是他在说谎。 我们得出结论如果他讲真话，那么他是在说谎。 另一方面，如果他是说谎，那么他说的是假; 因为他承认他是说谎，所以他实际上是在说真话，我们得