x本科数理逻辑_命题3_2.ppt

;复 习;命题的运算;2、合取联结词定义： 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式 记作p∧q， ∧称作合取联结词。 规定p∧q为真，当且仅当p与q同时为真。;3、析取联结词定义： 设Ｐ，Ｑ为命题，称“Ｐ或Ｑ”为Ｐ、Ｑ的的析取， 记作Ｐ∨Ｑ 　　规定：ＰＶＱ为假，当且仅当Ｐ、Ｑ同时为假 1）析取是自然语言连词“或”的抽象 “可兼或”-- 二个判断可同时为真（相容或） “排斥或”-- 二个判断不能同时为真（异或、不可兼或） 析取联结词“∨ ”抽象的是可兼或 2）从定义可得其真值表 ;5．蕴涵联结词 “→” １）定义：设Ｐ，Ｑ为命题， 称“如果Ｐ，则Ｑ”为Ｐ、Ｑ的蕴涵式（条件命题），记作Ｐ→ Q 规定：Ｐ→ Q真值为假，当且仅当P为真时Q为假， 并称P为Ｐ→ Q的前提（前件），Q为Ｐ→ Q 的结论（后件） 2）蕴涵联结词“→”的真值表 注意：条件命题的真值与条件命题中的结论的真值是不同的概念 从直值表中可以分析出： i〉 当前件为假，不论后件如何，则Ｐ→ Q一定为真 即：前提不成立，结论不论真假，Ｐ→ Q为真命题 ii〉后件为真，不论前件真假，Ｐ→ Q为真命题 iii〉Ｐ→ Q 的真值 仅在 “p为真q为假”时为假（其余情况均为真） Ⅳ 当Ｐ→ Q 的真值为假时：;3）自然语言中将该命题的前件和后件的其他叙述为： p → q p是q 的充分条件 q是p的必要条件 前件是后件的充分条件，后件是前件的必要条件 而对于充分条件和必要条件的叙述又有各种的表达方式： 如果 p 则 q 只有 q 则 p 只要 p 就 q p 仅当 q 若 p 就 q 除非 q 则 p 当 p 则 q 关键是对此类命题的符号化 ;例 将下列命题符号化，并指出各复合命题的真值： (1)如果3+3 = 6，则雪是白色的． (2)若3+3 ≠ 6，则雪是白色的． (3)只要3+3 = 6，则雪不是白色的． (4)3+3≠6是雪不是白色的充分条件． 雪不是白色的是3+3≠6的必要条件． 令p：3+3= 6 （p 的真值为1） q：雪是白色的（q的真值为1） 两个命题虽无逻辑上的内在联系，但可用蕴涵式表示 （1）表示为 p → q （2）表示为 ┓p → q （3）表示为 p → ┓q （4）表示为 ┓ p → ┓ q 真值为 1 1 0 1 ;以下命题中出现的a是给定的一个正整数： 令 r：a能被4整除． s: a能被2整除． (5)只要a能被4整除，则a一定能被2整除． (6)a被4整除，仅当a能被2整除． (7)除非a能被2整除，a才能被4整除． (8)除非a能被2整除，否则a不能被4整除． (9)只有a能被2整除，a才能被4整除． (10)只要a能被2整除，a才能被4整除． (5)到(9)五个命题均叙述的是a能被2整除是a能被4整除的必要条件，只是在叙述上有所不同，因而都符号化为 r →s 是否存在真值？ 不论a为何整数从逻辑关系可知：不会出现前件真后件假的情况 故前五个命题均为真 （10）所表示的是s是r的充分条件（即 s → r ） 那么结果就不能确定（只能由a的具体值确定来得到）;6.等价式 ? (双条件命题) 1）定义：P，q为命题，称复合命题“P当且仅当q”为P、q的等价式（双条件命题） 记为P ? q。 规定： P ? q真值为真，当且仅当P，q同时为真或同时为假。 2) 真值表;例：将下列命题符号化，并求命题的真值： (1)蓝色和黄色可以调配成绿色； (2)蓝色和黄色都是常用的颜色； (3)王小红虽然没上过大学，但她自学成才； (4)2是偶素数． (5)李冰选学英语或法语． (6)李和平是山西人或陕西人； (7)只要4是偶数，则5也是偶数； (8)除非4是奇数，否则5不是奇数； (9)经一事，长一智，并且不经一事，不长一智； (10) 2＋3≠5 当且仅当 19不是素数．;6．五