命题演算王元元.pptVIP

第三章 命题演算 3.1 命题与逻辑联结词 一、命题 例： 1.雪是黑的。 2.好大的雪啊！ 3.陈胜、吴广起义的那天杭州下雨。 4.2008年10月1日舟山天晴。 5. x+y≤0 6.我正在说谎。 类似（6）的悖论 我说的这句话是假的。 我只给哪些不给自己刮胡子的人刮胡子。 一、命题 二、原子命题和复合命题 三、命题的表示 为了能用数学方法来研究命题之间的逻辑关系和推理，需要将命题符号化。 原子命题通常记为p，q，r，s等小写拉丁字母。f表示恒假命题，t表示恒真命题。 三、命题的表示 1 用单个字母表示某一具体命题，这时该符号称为“命题常元”。 2 用单个字母表示任一命题，这时该符号称为“命题变元”。它们是以“真、假”为取值范围的变元。 四、逻辑联结词 否定词(negation) 真值表 注：用否定词“并非”代替自然语言中的“不”时，应注意保持原语句的意义。如： p整数都是自然数 则┐p表示： 2)合取词(conjunction)“并且”(and) 2)合取词(conjunction)“并且”(and) 例： 例： 析取词(disjunction)“或”(or) 析取词(disjunction)“或”(or) 例： p: 我选修人工智能。 q: 我选修算法理论。 则p∨q: 我选修人工智能或选修算法理论。 析取词(disjunction)“或”