北京理工大學 刘琼昕.pptVIP

第一章 命题逻辑 命题逻辑 1-1 命题及其表示方法 1-2 联结词 1-3 命题公式与翻译 1-4 真值表与等价公式 1-5 重言式与蕴含式 1-6 其它联结词 1-7 对偶与范式 1-8 推理理论 1.1 命题及其表示方法 命题： 具有确定真值的陈述句。 真值： 一个命题的取值，真值只有“真”、“假”两种， 真：T或1 假：F或0。 命题的类型 原子命题： 不能分解为更简单的陈述句，称原子命题。 复合命题： 由联结词、标点符号和原子命题复合构成的命题。 例1 下列是否为命题 1) 十是一个整数. 2) 北京是一个海滨城市. 3) 雪是黑色的. 4) 煤球是白的. 5) 今天是20号. 6) 1+101=110. 例1（续） 7)我学英语或法语. 复合命题 8)如果天气好,我就去散步. 复合命题 9)向右看齐! 不是命题 请勿吸烟! 不是命题 例1（续完） 10)您吃饭了吗? 不是命题 您上网了吗? 不是命题 11)多美的景色啊！ 不是命题 不是命题 我不给所有自己替自己理发的人理发，但却给所有自己不替自己理发的人理发。 不是命题 12)我正在说谎. 命题语句的形式 命题的语句形式 陈述句 非命题语句 疑问句、祈使句 、感叹句 悖论语句(非命题