简单的逻辑联结词及复合命题-课件
- 格式:ppt
- 大小:526.50 KB
- 文档页数:21
简单的逻辑联结词逻辑联结词:“或”、“且”、“非”这些词叫做逻辑联结词.(1)不含逻辑联结词的命题叫简单命题,由简单命题与逻辑联结词构成的命题叫复合命题.(2)复合命题的构成形式: ①p 或q ;②p 且q ;③非p (即命题p 的否定).(3)复合命题的真假判断(利用真值表):当p 、q 同时为假时,“p 或q ”为假,其它情况时为真,可简称为“一真必真”; 当p 、q 同时为真时,“p 且q ”为真,其它情况时为假,可简称为“一假必假”。
“非p ”与p 的真假相反.注意:对命题的否定只是否定命题的结论;否命题,既否定题设,又否定结论。
例如命题:“若0>a ,则02>a ”的否命题是_1.若命题p: 0是偶数,命题q: 2是3的约数.则下列命题中为真的是( )A.p 且qB.p 或qC.非pD.非p 且非q2.若命题“p 或q ”为真,“非p ”为真,则 ( )A .p 真q 真B .p 假q 真C .p 真q 假D .p 假q 假 3.若“p q ∨”为真命题,则下列命题一定为假命题的是(A )p (B )q ⌝ (C )p q ∧ (D )p q ⌝⌝∧4.已知命题p :所有有理数都是实数,命题:q 正数的对数都是负数,则下列命题中是真命题的是A .()q p ∨⌝ B.q p ∧ C .()()q p ⌝∨⌝ D .()()q p ⌝∧⌝5.在下列结论中,正确的是 ( ) ①""q p ∧为真是""q p ∨为真的充分不必要条件②""q p ∧为假是""q p ∨为真的充分不必要条件③""q p ∨为真是""p ⌝为假的必要不充分条件④""p ⌝为真是""q p ∧为假的必要不充分条件A. ①②B. ①③C. ②④D. ③④6.已知命题:p 对任意x R ∈,总有20x >;:"1"q x >是"2"x >的充分不必要条件则下列命题为真命题的是A.p q ∧B.p q ⌝∧⌝C.p q ⌝∧D.p q ∧⌝7.若命题“()p q ⌝∨”为真命题,则A.p ,q 均为假命题B.p ,q 中至多有一个为真命题C.p ,q 均为真命题D.p ,q 中至少有一个为真命题8.若命题“p q ∧”为假,且“p ⌝”为假,则A .“q p ∨”为假B q 假C .q 真D .不能判断q 的真假9.设命题p :函数cos 2y x =的最小正周期是2π 命题q :函数sin y x =的图象关于y 轴对称,则下列判断正确的是( )A .q p ∨为真B . q p ∧为假C .P 为真D .q ⌝为假10.已知命题p ::若x +y ≠3,则x ≠1或y ≠2;命题q :若b 2=ac ,则a,b,c 成等比数列,下列选项中为真命题的是 ( )A . pB . qC . p ∧qD .(⌝p )∨q 11.设命题p :函数2y sin x =的最小正周期为2π;命题q :函数122x xy =-是奇函数。
[知识点]一、逻辑联结词:1、定义:“或”、“且”、“非”这些词叫做逻辑联结词 简单命题:不含有逻辑联结词的命题叫做简单命题复合命题:由简单命题再加上一些逻辑联结词构成的命题叫复合命题2.逻辑符号:“或”的符号是“∨”,例如“p 或q ”可以记作“p ∨q”;“且”的符号是“∧”,例如,“p 且q ”可以记作“p ∧q”;“非”的符号是“┑”,例如,“非p ”可以记作“┑p ”.二、复合命题的构成形式的表示:如果用 p, q, r, s……表示命题,则复合命题的形式接触过的有以下三种: q p 或: q p 且: p 非:即:p 或q 记作 p ∨q ; p 且q 记作 p ∧q ; 非p(命题的否定)记作 ⌝p 其实,有些概念前面已遇到过如:或:不等式 2x -x -6>0的解集 { x | x<-2或x>3 }且:不等式2x -x -6<0的解集 { x | -2< x<3 } 即 { x | x>-2且x<3 } 释义:“p 或q”是指p,q 中的任何一个或两者.例如,“x ∈A 或x ∈B”,是指x 可能属于A 但不属于B (这里的“但”等价于“且”),x 也可能不属于A 但属于B ,x 还可能既属于A 又属于B (即x ∈A ⋃B );又如在“p 或q 真”中,可能只有p 真,也可能只有q 真,还可能p,q 都为真.“p 且q”是指p,q 中的两者.例如,“x ∈A 且x ∈B”,是指x 属于A ,同时x 也属于B (即x ∈A B ).“非p”是指p 的否定,即不是p. 例如,p 是“x ∈A”,则“非p”表示x 不是集合A 的元素(即x ∈A C U ).又如(1)23-<>x x 或 (2)45≥≤x x 且 (3)4x ≠三、真值表①“非p”②“p 且q”、四、全称量词及表示:1、表示全体的量词称为全称量词。
表示行式为“任意x……”,“每一个x……”,“所有x……”等。