(第1讲)命题逻辑.ppt

设有公式：G＝ (P∧Q)→R 其中，P、Q、R是G的所有命题变元，则其真值表如下： P Q R P∧Q (P∧Q)→R 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 例 该真值表还可简化为： P Q R (P∧Q)→R 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 例（续） 例 列出公式：G＝┐(P∧┐Q)的真值表。 解：公式G仅含两个命题变元，所以真值表如下 P Q ┐Q P∧┐Q ┐(P∧┐Q) 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 命题公式的真值表 * 该小节要求学生掌握命题的概念及判定。真值的含义，计算机世界里的0，1。板书命题。 * 显示题目，逐个分析。 教学方法：集体提问方式 分析e时说明1+1，歌德巴赫猜想、陈景润。 * 分析3），4），8），9），10），11），12）。前三者为命题，并说明真值，3）的真值在十进制和二进制不一致，后4者不是命题。 教学方法：集体提问方式。 * 引出悖论的概念。 板书：一个人讲：“我正在说谎！”（便于分析） 分析：讲真话推出说谎，讲假话推出没有说谎。 * 说明这些命题都是复合命题，启发学生讲复合命题分拆为原子命题。 * 分析3），4），8），9），10），11），12）。前三者为命题，并说明真值，3）的真值在十进制和二进制不一致，后4者不是命题。 教学方法：集体提问方式。 * 由简单命题到复合命题，引出要讲解的5种联结词 板书：命题联结词，5种联结词符号 * 注意启发学生对联结词的翻译。 * P并且Q ，P与Q 板书：真值表 * 板书：真值表 * “可兼或”与“排斥或”的比较，析取运算符只能表示前者。排斥或可以用以后学习的符号表示， 板书：意大利队或法国队是冠军！--排斥或 * 板书：真值表 * 提问：a中，如果P: 天下雨，a如何表示。 强调：一个蕴含式的前提和结论并不一定需要有因果和实质联系 * 等价于, 当且仅当，充要条件几个词含义相同 板书：真值表 * 务必熟悉。 * 给学生2分钟，写下结论，叫两个学生上讲台 * 作业评定，注意启发。 * 作业评定，注意启发。 提问：为什么会有多种表达 * 板书：命题公式、解释与真值表 * 这种定义方法叫归纳定义，也叫递归定义。 * 通过例子强化命题公式的概念 * 通过练习熟悉真值表的表示 * 通过练习熟悉真值表的表示 C S | S W U S T XDC 勿在浮沙筑高台！ 1.1.1 命题 具有确切真值的陈述句称为命题。 命题可以取一个“值”，称为真值。  命题的真值只有“真”和“假”两种，分别用“Ｔ”(或“１”)和“Ｆ”(或“０”)表示。 1.1 命题与命题联结词 消化：如果一句陈述句可以判断唯一的真假或者唯一的对错，那么它就是命题了。 例 1 判断是否是命题: ; (a) 今天下雪; (b) 3+3=6; (c) 2 是偶数而 3 是奇数; (d) 陈胜起义那天, 杭州下雨; (e) 较大的偶数都可表为两个质数之和。 以上命题, (a)的真值取决于今天的天气, (b)和(c)是真, (d)已无法查明它的真值, 但它是或真或假的, 将它归属于命题。 (e)目前尚未确定其真假, 但它是有真值的, 应归属于命题。 (F) (T) (T) (T/F) (T/F) 你要出去吗？ 今天天气真好啊！ x+y０。 例2 (不是命题，非陈述句) (不是命题，真值取决于x,y) (不是命题，非陈述句) 例 3 一个人说：“我在说谎”。 从以上分析, 我们得出 “我正在说谎”事实上不能指定它的真假, 所以不是命题。 这种陈述句叫悖论。 如果这个陈述句为真， 那表明事实是：这个人确实是在说谎。因此他所说的是假话, 也就是“我在说谎”是假的。 那么事实就是：他没有在说谎，从而得出这个陈述句应为假。 如果这个陈述句为假， 那表明事实是：这个人没有在说谎。因此他所说的是真话, 也就是“我在说谎”是真的。 那么事实就是：他的确在说谎，从而得出这个陈述句应为真。 2是素数。 北京是中国的首都。 １＋１＝１０。 xy。 ３＋２=8。 我喜欢踢足球。 明年国庆节是晴天。 地球外的星球上也有人 好好学习，天天向上！ 他在说谎。 例4 (T) (T) (T或F) (F) (T或F) (T或F) (T或F) (不是命题，真值取决于x,y) (不是命题，非陈述句) (不是命题，悖论) 命题的表示：命题常用大小写字母P、