第三课-简易逻辑.ppt

* 一般地，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题. 一、命题： 例1、判断下列语句中哪些是命题？是真命题还是假命题？ ⑴ 空集是任何集合的子集； ⑵ 若整数 a 是素数，则 a 是奇数； ⑶ 指数函数是增函数吗？ ⑷ 若平面上两条直线不相交，则这两条 0 直线平行； ⑹ x15 . ⑸ 命题⑵、⑷具有“若p，则q”的形式. 我们把这种形式的命题中的p叫做命题的条件，q叫做命题的结论. 一般地，对于两个命题，如果一个命题的条件和结论分别是另一个命题的结论和条件，那么我们把这样的两个命题叫做互逆命题. 其中一个命题叫做原命题，另一个叫做原命题的逆命题. 如果原命题为 “若p，则q” ，那么它的逆命题为 “若q，则p” . 二、四种命题 对于两个命题，如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定，那么我们把这样的两个命题叫做互否命题. 如果把其中一个命题叫做原命题，那么另一个叫做原命题的否命题. 如果原命题为 “若p，则q” ，那么它的逆命题为 “若 p ，则 q” . 如果一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定，我们把这样的两个命题叫做互为逆否命题. 如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆否命题. 如果原命题为 “若p，则q” ，那么它的逆命题为 “若 q ，则 p” . 练习： 写出下列命题的逆命题，否命题，逆否命题，并判断真假 ⑴ 能被6整除的整数一定能被3整除； ⑵正方形的四条边相等 ⑶ 二次函数的图象是一条抛物线； ⑷ 两个内角等于450的三角形是等腰直 0 角三角形. 小结 原命题： “若p，则q” 逆命题： “若q，则p” 否命题： “若 p,则 q” 逆否命题: “若 p,则 q” 命题的概念 四种命题之间的真假关系： 1．两个命题互为逆否命题，他们有相同的真假性 结论： 2.两个命题为互逆命题或互否命题，他们的真假性没有关系 2、判断下列说法是否正确。 （1）一个命题的逆命题为真，它的逆否命题不一定为真 （2）一个命题的否命题为真，它的逆命题一定为真 一般地，用联结词“且”把命题p和命题q联结起来，就得到一个新命题，记作 读作“p且q” . 三、逻辑联结词 当p，q都是真命题时，p∧q是真命题； 当p，q两个命题中有一个命题是假命题( 包括p真q假,p假q真,p假q假)时，p∧q 是假命题. 一般地，用联结词“或”把命题p和命题q联结起来，就得到一个新命题，记作 读作“p或q” . 当p，q两个命题有一个是真命题(包括p真q假,p假q真,p真q真）时，p∨q是真命题； 当p，q两个命题都是假命题时，p∨q 是假命题. 如果p∧q为真命题，那么p∨q一定是真命题吗？反之，如果p∨q为真命题，那么p∧q一定是真命题吗？ 一般地，对一个命题 p 的全盘否定，就得到一个新命题，记作 读作“非p”或“ p 的否定” . 若p是真命题，则 p 必是假命题；若p是假命题，则 p 必是真命题. 三、小结 掌握利用真值表来判断复合命题的真假的方法： 假 假 真 假 假 假 真 真 真 假 假 真 假 假 真 真 真 假 真 真 P且q P或q 非p q P 注：结合“补集、并集、交集”理解真值表. 短语“所有的”、“任意一个”在逻辑中通常叫做全称量词，并用符号“ ”表示.含有全称量词的命题，叫做全称命题. 常见的全称量词还有：“一切”、“每一个”、“任给”、“所有的”等 四、全称量词和全称命题 全称命题“对M中的任意一个x，有p(x)成立”可用符号简记为： 读作“对任意的 x 属于M，有p(x)成立”. 例1、判断下列全称命题的真假： ⑴ 所有的素数是奇数 ； ⑵ x∈R, x2+1≥1 ； ⑶ 对每一个无理数x，x2也是无理数 . 存在量词和特称命题 常见的存在量词还有：“有些”、“有一个”、“对某个”、“有的”等 短语“存在一个”、“至少有一个”在逻辑中通常叫做存在量词，并用符号“ ”表示.含