第一章命题逻辑-1st说课.ppt

单条件——→ 在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。 然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。 */34 单条件——→ 注意： 在使用联结词→时，要特别注意以下几点： 1.在自然语言里，特别是在数学中，q是p的必要条件多不同的叙述方式： “只要p，就q”；“因为p，所以q”；“p仅当q”； “只有q才p”；“除非q才p”；“除非q，否则非p”等。以上各种叙述方式表面看来有所不同，但都表达的是q是p的必要条件，因而所用联结词均应符号化为→，上述各种叙述方式都应符号化为p→q. 2.在自然语言中，“如果p，则q”中的前件p与后件q往往 具有某种内在联系。而在数理逻辑中，p与q可以无任何 内在联系。 3.在数学或其它自然科学中，“如果p，则q”往往表达的 是前件p为真，后件q也为真的推理关系。但在数理逻辑 中，作为一种规定，当p为假时，无论q是真是假，p→q 均为真。也就是说，只有p为真q为假这一种情况使得复 合命题p→q为假。 例如： 除非有时间，我才去看电影 A：我有时间。B：我去看电影。 翻译为： B→ A 我不承认你是对的，除非太阳从西边出来 A：我承认你是对的。B：太阳从西边出来。 翻译为：A → B（或?B→ ? A ） 仅当你走，我才留下 A:你走 B:我留 下 翻译为： B?A 只有天下雨，他才乘公共汽车上班 U：天下雨 。 V：他才乘公共汽车上班 翻译为： V?U */34 单条件——→ 双条件——? 定义： 表征意义 双条件 的真值表 */34 或 1.2命题与命题逻辑联结词 注意： 由逻辑联结词联结的命题之间不需要任何关系。 优先次序： */34 句子到逻辑表达式的翻译 步骤： 确定给定的句子是否为命题； 找出各原子命题并确定句子中的连词为对应的联结词； 用正确的语法把原命题表示成由原子命题、联结词和圆括号组成的公式。 */34 句子到逻辑表达式的翻译 翻译下列命题： (1)他既聪明又用功。 (2)他虽聪明但不用功。 解： 原子命题 P：他聪明。 Q：他用功。 则有： (1)翻译成： P ∧ Q (2)翻译成： P ∧ ?Q */34 句子到逻辑表达式的翻译 如果你和他都不固执己见的话，那么不愉快的事情就不会发生了。 P：你固执己见。 Q：他固执己见。 R：不愉快的事情不会发生。 翻译为： (?PΛ?Q)→R 如果你和他不都是固执己见的话，那么不愉快的事情就不会发生了。 ?(PΛQ)→R */34 句子到逻辑表达式的翻译 P：这个材料很有趣。 Q：这个习题很难。 R：这门课程使人喜欢。 1、这个材料很有趣，而且这些习题很难。 2、这个材料无趣，习题也不难，那么，这门课程就不会使人喜欢。 3、这个材料无趣，习题也不难，而且这门课程也不使人喜欢。 4、这个材料很有趣意味着这些习题很难，反之亦然。 5、或者这个材料很有趣，或者这些习题很难，而且两者恰具其一。 */34 句子到逻辑表达式的翻译 除非你已满16周岁，否则只要你的身高不足4英尺就不能乘公园滑行铁道游乐车。 P：你能乘坐公园滑行铁道游乐车。 Q：你身高不足4英尺。 R：你已满16周岁。 翻译成： (?RΛ Q)→? P P →(R ?? Q) */34 逻辑难题 一个岛上居住着两类人——骑士和流氓。骑士说的都是实话，而流氓只会说谎。你碰到两个人A和B，如果A说“B是骑士”，B说“我们两个不是一类人”，请判断A、B到底是流氓还是骑士。 解： 首先假设P: A是骑士；Q: B是骑士 如果A是骑士 如果A是流氓 */34 作业 教材P7： 1, 3（2）（3），4（1）、(2) ，5（2）（4）,6 (2)(4), 8(1)(3), 9 */34 * 要想把这种推论规则应用到各个学科领域中去，就必须使用一种概括性较强的，并且又是独立于任何特定的论证或者所涉及到的学科的一种语言。这种语言是一种符号化的形式语言，它没有二义性。使用这种形式化语言，可以将推理过程公式化，并且依据推理规则可以机械地确定论证的有效性。 * 许多数学陈述都是由一个或者多个命题组合而来，称为复合命题的新命题由已有的命题用逻辑运算符组合而来。 （4）P?Q?或者(P?Q)??(Q?P)?????????（5）P? Q 或者(P??Q) ?(?P?Q) ???或者(P?Q) ?(?P??Q) ??? {?，?，?，?，