第一篇 命题逻辑.pptVIP

第一章 命题逻辑 1-1 命题及其表示法 1-2 联结词 1-3 命题公式与翻译 1-4 真值表与等价公式 1-5 重言式与蕴含式 1-7 对偶和范式 1-8 推理理论 1-1 命题及其表示法 1、定义：具有确定真值的陈述句称为命题。 2、真值：每个命题都有一个“值”，这个值要么为真，要么为假，这个值称为“真值”； 3、说明：一切没有判断内容的句子，如：疑问句、感叹句和祈使句都不是命题； 例如：天真蓝啊！ 立正！ How are you? 4、命题标识符：表示命题的符号。通常用大写字母A、B、C…或带下标的大写字母表示。 例如：A：今天是星期一。 B1：我不能去上学。 判断下面的语句是否是命题： 雪是白的。 10比7小。 保持安静！ 她非常聪明。 如果天气好，我们去爬山。 别的星球上有生物。 我正在说谎。 罗素悖论，也称理发师悖论，是伯特纳德·罗素提出的。 一个理发师的招牌上写着告示：城里所有不自己刮脸的男人都由我给他们刮脸；我也只给这些人刮脸。 分析：谁给这位理发师刮脸呢？ 如果他自己刮脸，那他就属于自己刮脸的那类人。但是，他的招牌说明他不给这类人刮脸，因此他不能自己来刮。 如果另外一个人来给他刮脸，那他就是不自己刮脸的人。但是，他的招牌说他要给所有这类人刮脸。因此其他任何人也不能给他刮脸。看来，没有任何人能给这位理发师刮脸了！ 5、命题常量： 一个表示了确定命题的命题标识符 6、命题变元： 一个可以表示任意命题的命题标识符； 因为可以表示任意命题，所以它不能确定真 值，故命题变元不是命题。 7、真值指派： 当给命题变元P指定确定真值时，它才是命题，这个过程称对P进行真值指派。（一个命题变元有2种真值指派） 8：分类： 原子命题：不能分解为更简单的陈述句。 复合命题：由原子命题与联结词组合而成。 1-2 联结词 常见联结词： 否定、合取、析取、条件、双条件 1.否定联结词： 符号：﹁ 定义：P是命题， ﹁ P是复合命题，读作“非P” 。 P真值表为： 2. 合取联结词： 符号：∧ 定义：P、Q是命题，P∧Q是一个复合命题。 读作“P且Q”，“P合取Q”，当且仅当P、Q同时为真时，P ∧ Q才为真。 P ∧ Q 的真值表： 例：P：今天下雨。Q:今天刮风。 则P ∧ Q ：今天下雨且刮风。 3. 析取联结词： 符号： ∨ 定义：P、Q是命题，P ∨ Q是一个复合命题。 读作“P或Q”，“P析取Q”，当且仅当P、Q同时为假时，P ∨ Q才为假。 P ∨ Q 的真值表： 例：P：今天下雨。Q:今天刮风。 则P ∨ Q ：今天下雨或刮风。 说明：汉语中的或分为可兼或与不可兼或 可兼或：明天下雨或刮风。 不可兼或：今天晚上去电影院看电影，或在家看电视。 4.条件 联结词： 符号：→ 定义：给定两个命题P、Q，其条件命题是一个复合命题，记为P → Q ，读作“P条件Q”，“如P则Q”，“当P，则Q”，“P是Q的充分条件”。当且仅当P的真值为真，Q的真值为假时，P → Q的真值才为假，否则为真。我们称P为前件，Q为后件。 P → Q 的真值表： 5. 双条件联结词： 符号： ? 定义：给定两个命题P、Q，其双条件命题是一个复合命题，记作 P ? Q，读作“P双条件Q”，“ P当且仅当Q”，“P是Q的充要条件”。当P、Q的真值相同时，P ? Q的真值为真，否则为假。 P ? Q 的真值表： 例： P:2+2=4。 Q:雪是白的。 P ? Q：2+2=4 当且仅当雪是白的。 总结5个命题联结词的真值表 课后练习：P8中的（1）、（3） 本节重点： 命题的判断; 五个命题联结词的真值表。 1-3 命题公式与翻译 1、命题合式公式：由命题变元、逻辑联结词和一些括号按照一定的正确规则组成的字符串称为命题合式公式，简称命题公式。对命题公式的规定： 单个命题变元是合式公式。 如果A是合式公式，则﹁A是合式公式。 如果A、B是合式公式，则A∧B、 A∨B、A→B、A ? B也是合式公式。 当且仅当有限次运用（1）、（2）、（3）所得到的符号串是合式公式。 逻辑联结词的运算优先次序由高到低依次为： ﹁ 、 ∧ 、 ∨ 、 → 、 ? 2、命题翻译： （1）且，但（表示转折的）用∧表示； （2）汉语中的或可以是“可兼或”，也可以是“不可兼或”，而∨指的是“可兼或”，“不可兼或”用 表