离散数学课件1探究.pptx

1 第一编 集合论 第一章 集合 2 1.1 预备知识（prerequisites） 命题逻辑和谓词逻辑是数理逻辑中最基本的内容。 十九世纪中后期，德国数学家莱布尼兹、英国数学家布尔和逻辑学家怀海特、罗素为数理逻辑的产生和发展有突出贡献。 从二十世纪40年代起，数理逻辑成为计算机科学的重要基础理论之一。如布尔代数在计算机硬件设计中发挥了重大作用；形式语言的研究为建立计算机语言提供了基础。 3 命题和命题联结词 命题公式和真值表 命题等值式 命题推理定律 命题逻辑 4 命题是客观上能判明真假的陈述句。当命题为真时，称命题的真值为“真”；否则，说命题的真值为“假”。用T或1表示“真”，用F或0表示“假”。 （ Proposition: a statement that is either true or false,but not both.） 所有这些命题，都应具有确定的真值。 5 判断下列语句是不是命题: (1) 天气多好啊! (2) 你去哪里？ (3) X＞3。 (4) 别的星球有生物。 (5) 我正在说慌。 解：(1)是感叹句；(2)是疑问句；它们都不是命题。 (3) 真假要视Ｘ的值而定，因此这个语句无确定真值。它不是命题。 (4)的真实性目前还无法判明，但在客观上，是真是假，二者必居其一。因此它是命题。 (5)同样不能判明真假。如说该命题为真，但