2第一章命题逻辑.pptVIP

* 信息工程学院 大连大学 第一章 命题逻辑 1.1 命题及其表示法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.7对偶与范式 1.8推理理论 Propositional Logic 1.1 命题及其表示法 第1页 1 命题（Proposition） 2 命题的分类 3 命题的表示方法 1.1 命题及其表示法 第2页 例1 判断下列语句是否为命题。 （1） 是有理数。（2）火星上有生命。 （3）全体立正！ （4）你会开车吗？ （5）天气多好啊！ （6） （7）我正在说谎。 （8）我学英语和俄语。 1.1 命题及其表示法 第3页 注意： （1）判断命题的两个步骤： i）是否为陈述句； ii）是否有确定的、唯一的真值。 （2）一切没有判断内容的句子，无所谓是非的句 子，如感叹句、祁使句、疑问句等都不是命题。 （3） “具有唯一真值”是指客观上的具有，与我们 是否知道它的真值是两回事。 第4页 1.2 联结词（ Logical Connectives ） 1 否定联结词（Negation） ┐ 2 合取联结词