离散第二章 命题逻辑.pptxVIP

离散数学第二章 命题逻辑第2章 命题逻辑2.1 命题逻辑基本概念2.2 命题逻辑等值演算2.3 范式2.4 推理命题逻辑基本概念一、命题 定义：能判断真假而不是可真可假的陈述句，被称为命题。 命题的真值：作为命题所表达的判断只有两个结果：正确和错误，此结果称为命题的真值。命题是正确的，称此命题的真值为真；命题是错误的，称此命题的真值为假。真值为真的命题称为真命题 ；真值为假的命题称为假命题。任何命题的真值都是唯一的。说明：命题逻辑基本概念说明：其它类型的句子，如疑问句、祈使句、感叹 句均没有真假意义，因此，均不是命题。 在数理逻辑中，命题的真值的真和假，有时 分别用1和0来表达，也有时分别用T和F来表达。 命题是具有唯一真值的陈述句。命题逻辑基本概念如何判断命题？首先判断其是否为陈述句其次判断其是否有唯一真值例1： 判断下列句子是否为命题，真值如何？ （1）10是整数。真命题 真命题 （2）北京是我们祖国的首都。假命题（3）雪是黑的。 真值不唯一 非命题 （4）x大于y。祈使句 非命题 （5）向右看齐！疑问句 非命题 （6）你吃饭了吗？ 命题逻辑基本概念例1： 判断下列句子是否为命题，真值如何？ （7）本命题是假的。悖论 非命题 （8）我正在说谎。悖论 非命题 （9）2006年元旦是晴天。是命题 真假未定“他在说谎。”是命题还是悖论？命题与联结词二、命题符号化 用小