命题与逻辑联结词第一课时
知识点1.1 命题、联结词及命题符号化

第1 章命题逻辑第1 章命题逻辑授课内容知识点1:命题、联结词及命题符号化知识点2:命题公式、真值表及公式分类知识点3:等价式与等价演算知识点4:对偶式与蕴涵式知识点5:范式第1 章命题逻辑授课内容知识点6:主析取范式与主合取范式知识点7:命题演算的推理理论知识点8:有效结论证明方法知识点9:命题演算推理实例解析知识点1:命题、联结词及命题符号化一问题的引入命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。
那么,什么是命题?如何表示和构成?如何进行推理的?例如:已知:如果今天星期三,那么公鸡会下蛋。
今天是星期三。
问题:根据以上前提你能推出什么结论?二命题、联结词及命题符号化1 命题的概念定义1.1.1:能够判断真假的陈述句称作命题。
命题仅有两种可能的真值:真和假,且二者只能居其一。
真用1或T表示,假用0或F表示。
由于命题只有两种真值,所以称这种逻辑为二值逻辑。
例1.1.1 判断下列语句哪些是命题①-1是整数。
②地球是围绕月亮转的。
③3+5=8。
④木星的表面温度是20 F。
⑤不要讲话!⑥你吃饭了吗?⑦本命题是假的。
(他正在说谎。
等)解①-④都是命题,①和③的真值为真,②真值是假,④不知真和假,但真值是可以确定的。
⑤⑥都不是命题。
⑦无法确定它的真值,当它假时,它便真;当它真时,它便假。
这种断言叫悖论。
2 命题的分类与表示•命题分为两类,第一类是原子命题,它是由再也不能分解成更为简单的语句构成的命题,称为原子命题。
用英文字母P,Q,R,…或带下标Pi,Qi,Ri,…表示之。
例如,用P表示武汉是一座美丽的城市,记为P:武汉是一座美丽的城市。
冒号:代表表示的意思•第二类是复合命题,它由原子命题、命题联结词和圆括号组成。
3 联结词1.3.1 否定联结词﹁P定义1.1.2设P表示一个命题,由命题联结词⎤和命题P连接成⎤P,称⎤P为P的否定式复合命题,⎤P读“非P”。
称⎤为否定联结词。
⎤P是真当且仅当P为假;否定联结词“⎤”的定义可由表1-1表示。
12命题与基本逻辑连接词-拔高难度-讲义

命题与基本逻辑连接词知识讲解一、命题及其关系1.命题的定义定义:我们把用语言、符号或式子表达的,可以判断真假的语句叫做命题,其中判断为真的语句叫做真命题,判断为假的语句叫假命题.注意:并不是任何语句都是命题,只有能判断真假的语句才是命题.一般来说,疑问句,祈使句,感叹句都不是命题,但是反义疑问句是命题.如:a.“这是一棵大树”;b.“2x<”;c.“三角函数是周期函数吗?”,“但愿每一个三次方程都有三个根”,“指数函数的图像真漂亮!”d.125>“”,“6=2”,“π”是无理数;e.“每一个不小于6的偶数都是两个奇素数之和”(歌德巴赫猜想);“在2010年前,将有人登上火星”2.命题的结构结构:数学中,具有“若p,则q”这种形式的命题是常见的,我们把这种命题中的p称为命题的条件,q称为命题的结论.3.命题的四种形式形式:一般地,用p和q分别表示原命题的条件和结论,用p⌝和q⌝来表示p和q的否定,⌝,于是四种命题的形式就是:原命题:若p,则q;逆命题:若q,则p;否命题:如果p⌝.则q⌝;逆否命题:如果q⌝,则p注意:关于逆命题、否命题与逆否命题,也可以如下表述:(1)交换原命题的条件和结论,所得的命题是逆命题.如:同位角相等,两直线平行.它的逆命题就是:两条直线平行,同位角相等.(2) 同时否定原命题的条件和结论,所得的命题是否命题如上例的否命题是:同位角不相等,两直线补平行.(3) 交换原命题的条件个结论,并同时否定,所得的命题是逆否命题.如上例:两条直线不平行,同位角不相等.4.四种命题的相互关系(1).四种命题以及它们之间的关系1).原命题为真,它的逆命题不一定为真;如:原命题“若0a=,则0ab=”是真命题,它的逆命题“若0a=”是假命题.ab=,则02) .原命题为真,它的否命题不一定为真;如:原命题“若0a=,则0ab=”是真命题,它的否命题“若0ab≠”是假命题.a≠,则03) .原命题为真,它的逆否命题一定为真;如:原命题“若0a=,则0ab=”是真命题,它的否命题“若0ab≠,则0a≠”是假命题.4) .互为逆否的命题是等价命题,它们同真同假,综上所述:在一个命题的四种命题中,真命题的个数要么是0个,要么是2个,要么是4个.四种情况:(2)四种命题它们之间的等价关系关系:互为逆否命题是互为等价命题(即真假相同),而其它的命题不是互为等价命题(即真假不一定相等).这一等价性,可以从集合的角度来解释:设{}=,即使命题p为A x p x()真的对象所组成的集合,{}B=()x q x ,因此由p q ⇒可知A B ⊆, U U C A C B ∴⊆,即p q ⌝⌝⇒,反过来,若p q ⌝⌝⇒,即U U C A C B ⊆,∴A B ⊆,即p q ⇒5.命题的否定与否命题的区别(1) 若命题为“若p ,则q ”,则其命题的否定:“若p ,则q ⌝”,而其否命题是:“若p ⌝,则q ⌝”.(2) 常见的一些词语和它的否定词语对照表二、基本逻辑连接词1. “且”“或”“非”的概念(1) 且定义:一般地,用逻辑联结词“且”把命题p 和q 联结起来,就得到一个新命题,记作p q ∧,读作“p 且q ”.逻辑联结词“且”与日常语言中的“并且”、“及”、“和”相当.可以用“且”定义集合的交集:{|()()}A B x x A x B =∈∧∈. 判断命题p q ∧的真假:当p q 、都为真命题,p q ∧就为真命题;当p q 、两个命题中只要有一个命题为假命题,p q ∧ 就为假命题. (2) 或定义:一般地,用逻辑联结词“或”把命题p 或q 联结起来,就得到一个新命题,记作p q ∨,读作“p 或q ”.逻辑联结词“或”的意义和日常语言中的“或者”相当.可以用“或”定义集合的并集:{|()()}A B x x A x B =∈∨∈. 判断命题p q ∨的真假:当p q 、两个命题中,只要有一个命题为真命题时,p q ∨为真命题;当p q 、两个命题都为假命题,p q ∨为假命题 (3) 非定义:一般地,对命题p 加以否定,得到一个新的命题,记作p ⌝,读作“非p ”或“p 的否定”.逻辑联结词“非”(也称为“否定”)的意义是由日常语言中的“不是”“全盘否定”“问题的反面”等抽象而来.有()p p ⌝⌝=成立.可以用“非”来定义集合A 在全集U 中的补集:{|()}{|}U A x U x A x U x A =∈⌝∈=∈∉ð.判断p ⌝命题的真假: p ⌝和p 不能同真同假,其中一个为真,另一个必定为假.2.复合问题的真值表:三、量词1、全称量词定义:短语“对所有的”“任意一个”在逻辑中通常叫做全称量词,用符号“∀”表示,含有全称量词的命题,叫做全称命题.全称命题的否定:全称命题 q :x A ∀∈,()q x ;它的否定是 q ⌝:x A ∃∈,()q x ⌝.将全称量词变为存在量词,再否定它的性质.2、存在量词定义:短语“存在一个”“至少有一个”在逻辑中通常用叫做参在量词,用符号“∃”表示,含有存在量词的命题,叫做特称命题.存在性命题的否定:存在性命题 p :x A ∃∈,()p x ;它的否定是 p ⌝:x A ∀∈,()p x ⌝. 将存在量词变为全称量词,再否定它的性质.3、全称命题与存在性命题不同的表达方法典型例题一.选择题(共8小题)1.(2018•三明模拟)已知下列命题:①命题p:∀x∈(0,+∞),x>sinx的否定是¬p:∃x0∈(0,+∞),x0≤sinx0;②函数f(x)=sin(x+φ)为奇函数的充要条件是φ=0;③若两个分类变量X与Y的随机变量k2的观测值k越大,则这两个分类变量有关系的把握性越大;④已知m,n是两条直线,α,β是两个不同平面,若m⊂α,n⊂β,α∩β=l,则m与n不可能平行.其中正确的个数有()A.1 B.2C.3 D.42.(2018•二模拟)已知p:∀x>0,<1恒成立,若¬p为真命题,则实数a的最小值为()A.2 B.3C.4 D.53.(2018•泉州二模)已知正三棱柱ABC﹣A1B1C1的所有棱长都相等,M,N分别为B1C1,BB1的中点.现有下列四个结论:p1:AC1∥MN;p2:A1C⊥C1N;p3:B1C⊥平面AMN;p4:异面直线AB与MN所成角的余弦值为.其中正确的结论是()A.p1p2B.p2,p3C.p2,p4D.p3,p44.(2018•四川模拟)在等差数列{a n}中,首项a1>0,公差d≠0,前n项和为S n(n∈N*),有下列命题:①若S1=S14.则必有S19<0;②若a3+a13>0,则必有S15>0;③若S10>S11,则必有S11>S12.其中所有真命题的序号是()A.①②B.①③C.②③D.①②③5.(2018•历城区校级一模)《九章算术》中的“两鼠穿墙题”是我国数学的古典名题:“今有垣厚若干尺,两鼠对穿,大鼠日一尺,小鼠也日一尺,大鼠日自倍,小鼠日自半,问何日相逢,各穿几何?”现有墙厚5尺,如下说法:①小鼠第二天穿垣半尺;②两鼠相遇需四天;③若大鼠穿垣两日卒,则小鼠至死方休.则以上说法错误的个数是()个.A.0 B.1C.2 D.36.(2018•上城区校级模拟)等腰直角三角形ABE的斜边AB为正四面体ABCD侧棱,直角边AE绕斜边AB旋转,则在旋转的过程中,有下列说法:(1)四面体E﹣BCD的体积有最大值和最小值;(2)存在某个位置,使得AE⊥BD;(3)设二面角D﹣AB﹣E的平面角为θ,则θ≥∠DAE;(4)AE的中点M与AB的中点N连线交平面BCD于点P,则点P的轨迹为椭圆.其中,正确说法的个数是()A.1 B.2C.3 D.47.(2018•长沙一模)已知e为自然对数的底数,若对任意的x∈[0,1],总存在唯一的y∈[﹣1,1],使得x+y2e y﹣a=0成立,则实数a的取值范围是()A.[1,e]B.,C.(1,e]D.,8.(2018•绵阳模拟)对于任意的实数x∈[1,e],总存在三个不同的实数y∈[﹣1,4],使得y2xe1﹣y﹣ax﹣lnx=0成立,则实数a的取值范围是()A.[,)B.(0,]C.[,e2﹣)D.[,e2﹣)二.填空题(共2小题)9.设函数f(x)=lg的定义域为A,若命题p:3∈A与q:5∈A有且只有一个为真命题,求实数a的取值范围.10.(2016秋•驻马店期中)已知a>0,集合A={x|ax2﹣2x+2a﹣1=0},B={y|y=log2(x+﹣4)},p:A=∅,q:B=R.(1)若p∧q为真,求a的最大值;(2)若p∧q为为假,p∨q为真,求a的取值范围.三.解答题(共5小题)11.(2016秋•牡丹区校级期中)已知m∈R,设p:对∀x∈[﹣1,1],x2﹣2x﹣4m2+8m﹣2≥0恒成立;q:∃x∈[1,2],<成立.如果“p ∨q”为真,“p∧q”为假,求m的取值范围.12.写出下列命题非的形式:(1)p:函数f(x)=ax2+bx+c的图象与x轴有唯一交点;(2)q:若x=3或x=4,则方程x2﹣7x+12=0.13.(2013•崂山区校级三模)已知两函数f(x)=8x2+16x﹣m,g(x)=2x3+5x2+4x,(m∈R)若对∀x1∈[﹣3,3],∃x2∈[﹣3,3],恒有f(x1)>g(x2)成立,求m的取值范围.14.(2017秋•铁东区校级期中)已知函数f(x)是定义R在上的偶函数,且在[0,+∞)上是增函数,研究不等式f(log22x+alog2x+b)≤f(2)(a,b∈R).(1)当b=3时,对任意x∈[,4],上述不等式成立,求a的取值范围.(2)若上述不等式对任意x∈[m,n]成立,求的最大值.15.(2015秋•澄城县校级月考)已知实数a>0,且满足以下条件:①∃x∈R,|sinx|>a有解;②∀x∈[,],sin2x+asinx﹣1≥0;求实数a的取值范围.。
ch01命题逻辑(第一讲)

命题2:今天下雨 “今天是星期五且今天下雨”怎么表示? “今天是星期五或者今天下雨”怎么表示? 例如:“如果今天下雨,我们就不去踢球”怎么表示?
03:06:43
9
➢ 否定词“¬”(或“”)
否定词(Negation) 是一元联结词。相当于自 然语言中的“非”、“不”等, 真值表如右图。
命题的真值是具有客观性质的,而不是由人的主观
决定的。
03:06:43
3
命题与真值
1.1 命题与联结词
命题的真值:作为命题的陈述句所表示的判断结果称为命题的 真值。
真值的取值:真值只取两个值:真或假。通常用1(或字母T) 表示真,用0(或字母F)表示假。
真命题与假命题:凡是与事实相符的陈述句是真命题,而与事 实不符合的陈述句是假命题。
数理逻辑概述
➢ 数理逻辑是用数学的方法研究思维规律的一门学 科。由于它使用了一套符号,简洁的表达出各种 推理的逻辑关系,因此数理逻辑一般又称为符号 逻辑。
➢ 数理逻辑和计算机的发展有着密切的联系,它为 机器证明、自动程序设计、计算机辅助设计等计 算机应用和理论研究提供必要的理论基础。
03:06:43
1
(2) 2 + 2 = 4 当且仅当 3 是偶数.
0
(3) 2 + 2 = 4 当且仅当 太阳从东方升起.
1
(4) 2 + 2 = 4 当且仅当 美国位于非洲.
0
(5) 函数 f (x) 在 x0 可导的充要条件是 它在 x0 连续.
0
03:06:43
24
1.2 合式公式及分类
1.命题变元
在命题逻辑中,又有命题常元和命题变元之分。如果 P代表一个确定的具体的命题,称P为命题常元;若 P代表一个不确定的泛指的任意命题,称P为命题变 元。显然,命题变元P不是命题,只有用一个特定的 命题或一个真值取代P才能成为命题。这时也说对P 指派或解释,记为I(P)。
命题与联接词

(1) 否定
例 P:上海是个大城市。 ¬ P:上海并不是个大城市。 ¬ P:上海是个不大的城市。
否定联结词是一个一元运算。 例 P:这些都是男生 ¬ P:这些不都是男生。(不能写成:这些都不是 男生)
(2) 合取
定义1-2.2 合取: 对应自然语言的“和”,“与”,用“∧”表示。两 个命题P和Q的合取是一个复合命题,记作P∧Q。读作 “P合取Q”,“P与Q”, “P并且Q”。 当且仅当P、Q同时为T时, P∧Q为T,在其它情况 下, P∧Q的真值都是F。
逻辑学: - 研究人的思维形式和规律的科学。基于研究对象 和研究方法的不同,分为: 形式逻辑 辩证逻辑 数理逻辑 数理逻辑: - 用数学方法研究推理的科学 - 又称符号逻辑,它的主要研究工具是符号体系; - 核心是把逻辑推理符号化,即变成像数学演算一 样的逻辑演算。
第一章 命题逻辑
1-1 命题及其表示法 定义 1-1.1 命题: 可以辨别真假的陈述句称为命题。 -能对事物作出肯定或否定描述(或判断)的语句只有 陈述句 -如果陈述句对事物的判断具有确定的结果:符合事实 或违背事实,也即可辨别真假,这时陈述句才是命题 。这个结果是命题的一个“值”,称为命题的真值。 定义 1-1.2 真值: 命题总是具有一个“值”,称为真值。 真值只有“真”、“假”两种,记作True(真)和 False(假),分别用符号T和F表示;也可用符号1和符号0 表示。
到目前为止人们还不能判断别的星球上是否有生物但也许将来的人可以判断并且只能是别的星球上有生物或没有两种情况之一
命题逻辑1-1 命题逻辑 命题与联接词
湖北汽车工业学院计算机工程系彭彬
概述
离散量: - 与连续量相对,指分散开来,不存在中间值的量 。 - 温度采集器所采集的温度变化结果 离散数学: - 数学分支,以研究离散量的结构和相互间的关系 为主要目标。 - 研究对象一般为有限个或可数无穷个元素 - 集合论、组合数学、数论、图论、数理逻辑、线 性代数、概率论
5逻辑联结词与四种命题(PPT)1-1

否命题 若p则 q
互逆
互否 为逆
为
逆
互
否
互逆
逆命题 若q则p
互 否
逆否命题 若则q p
•
; 书法班加盟 书法加盟
蜗鸢是一种中型猛禽,体长45厘米,翼展120厘米,体重360-520克,寿命17年。成年雄性的整个头部,背部,翅膀,胸部,腹部,侧腹和大腿形成一个整体的深石板灰色,展开的羽毛和尾巴羽毛几乎是黑色。上体覆盖有少许棕灰色的色彩。尾巴底面和尾部根 基是白色。虹膜深红色,有的亚种有白眼眉,眼睛的黄亮色在各时期不同。蜡质,口角的色彩也不尽相同。雌性头顶和脖子大多是灰色的羽毛,头颈部两侧是黑色,腹部的羽毛,中间有一个红色覆盖的边界,尾巴下类似雄性,虹膜橙色,脸部有裸露的皮肤。 [3] 亚成鸟下体有轻微的棕色。直到3或4岁时才长成类同成鸟的羽毛。未成年的亚成鸟无法区分它们的性别。酷似成年雌鸟,羽毛上有暗的褐色条纹,虹膜为褐色。面部皮肤和脚都是黄色。 [3] 上喙边端具弧形垂突,适于撕裂猎物吞食;基部具蜡膜或须状羽;翅强健,翅宽圆而钝,扇翅及翱翔飞行,扇翅节奏较隼科慢;跗跖部大多相对较长,约等于胫部长度。雌鸟显著大于雄鸟。 [3] 蜗鸢经常光顾的地区主要是沼泽,湖泊和有水域的地区。它们的主要食物源是属于蜗牛的福寿螺,而这些食物的栖息地可以被定性为有常设新鲜水源的地域。蜗鸢栖息的地方一般是小灌木和树木,巢址离地面很少有超过1米高,一般选择冬青树,柳树和番石榴 ,最常见的是乌桕树。在佛罗里达州,也选择访问芦苇丛和蒲草附近的地区。 [3] 蜗鸢是在沼泽地群居和游牧的鸟类。在干旱期间要离开自己的巢区去寻找适合自己的生活方式和栖息地的水产品产区。有时在栖息地和觅食地来往要飞行相当大的距离。这种猛禽在繁殖季节非常活跃,由众多鸟类在此期间进行空中杂技表演。雄性会进行短暂 飙升,并在空中急速盘旋,缓慢拍击翅膀。在此之后,会邀请雌性合作伙伴,共同构建巢和提供的食物。
01命题基本概念及联接词

解:这9个句子中,(7)~(9)都不是陈述句, 因而都不是命题。 (1)是真命题,(2)是假命题。 (3)的真值虽然现在还不能判断,到2100年就能 判断了,因而是命题。 (4)在十进制中为假,在二进制中为真,当确定 了进位制时其真值就确定了,因而是命题。 (5)是命题,真值视具体情况惟一确定(不是真 就是假)。 (6)是陈述句,但无法给出真假值。这种自相矛 盾的判断称为悖论,以后再讲。
1.2.2 合取联结词∧
定义1.2.2 设P,Q为二命题,复合命题“P并且Q”(或 “ P 与 Q” )称为 P 与 Q 的合取式,记作 P∧Q ,符号 “∧” 称为合取联结词 . P属于二元 ∧Q为真当且仅当 P和Q同时为真 . 说明:1、“∧” (binary)运算符 . 2、联结词“∧”的定义真值表如下:
从上述例子可以看出,原命题与逆否命题意思相同, 即等价:
P Q Q P
逆命题与反命题意思相同。 这一点非常重要,在推理过程中,有时按原命题进 行推导比较困难,而用逆否命题却可收到事半功倍 的效果。
1.2.5 双条件联结词(等价联结词)
定义1.2.5 设P,Q为二命题,复合命题“P当且仅当Q” 称为P与Q的双条件命题,记作P iff Q或PQ,符号 称为双条件(等价)联结词。PQ为真当且仅当
Q:今天天下雨。
定义1-3 如果一个命题标识符代表任意未知命题,则 称该命题标识符为命题变元(命题变项).如果一 个命题标识符代表一个确定的命题,则称之为命 题常元。
命题变元类似代数中的变量,命题常元类似
常量,但两者有着本质的区别。命题变元或常元
代表的是命题元素,而变量和常量代表的是一个
数值。
例如,x+y≥ 5 这是一个代数表达式,其中x和y是 变量,不是命题变元,但该表达式也可以作为一 个命题变元。假设代表该表达式的命题变元为z, 当变量x和y的值确定后,表达式成为一个命题常 元,命题变元z被该命题常元所取代成为命题,且 命题的真值随变量x和y不同取值而变化。 当用确定的命题代入命题变元时称为对命题 变元的代入。
3、逻辑联结词与四个命题(一)
§1.2 逻辑联结词与四个命题(一)【复习目标】1.了解命题、复合命题等概念;2.理解逻辑联结词“或”、“且”、“非”的含义,会根据《真值表》判断复合命题的真假;3.掌握四个命题及其相互关系,理解“否命题”与“命题的否定”的不同含义。
【重点难点】掌握四个命题及其相互关系,理解“否命题”与“命题的否定”的不同含义【知识回顾】1、命题的定义:。
2、逻辑联结词、简单命题与复合命题:“或”、“且”、“非”这些词叫做;不含有逻辑联结词的命题是;由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是。
构成复合命题的形式:p或q(记作“” );p且q(记作“” );非p(记作“” ) 。
3、“或”、“且”、“非”的真值判断(1)“非p”形式复合命题的真假与P的真假;(2)“p且q”形式复合命题当P与q同为真时为真,其他情况时为假;(3)“p或q”形式复合命题当p与q同为假时为假,其他情况时为真.4、常用正面词语的否定如下表:原命题:若P则q;逆命题:;否命题:;逆否命题:。
(1)交换原命题的条件和结论,所得的命题是逆命题;(2)同时否定原命题的条件和结论,所得的命题是否命题;(3)交换原命题的条件和结论,并且同时否定,所得的命题是逆否命题.6、四种命题之间的相互关系:一个命题的真假与其他三个命题的真假有如下三条关系:(原命题 逆否命题)原命题若p 则q 否命题若┐p 则┐q逆命题若q 则p逆否命题若┐q 则┐p互为逆否互逆否互为逆否互互逆否互①、原命题为真,它的逆命题不一定为真。
②、原命题为真,它的否命题不一定为真。
③、原命题为真,它的逆否命题一定为真。
7、如果已知p ⇒q 那么我们说,p 是q 的充分条件,q 是p 的必要条件。
若p ⇒q 且q ⇒p,则称p 是q 的充要条件,记为p ⇔q.【课前预习】1. 下列语句是否命题?如果是,判断真假:(1)上课! ; (2)22x + ; (4)对顶角难道不相等吗? ;(42. 有下列命题:①2004年10月1日是国庆节,又是中秋节;②10的倍数一定是5的倍数;③梯形不是矩形;④方程21x =的解1x =±。
命题量词与逻辑联结词
(2)p或q:方程x +x-1=0的两实根符号相同或绝对值相等.假命 题. 2 p且q:方程x +x-1=0的两实根符号相同且绝对值相等.假命题. ������ p:方程x +x-1=0的两实根符号不相同.真命题. 【点评】由两个简单命题构成复合命题时,要注意语言文字 的简化与综合.判断复合命题的真假时,要记准判断法则.
2
2
变式训练1 (1)命题p:所有有理数都是实数,命题q:正数的对 数都是负数,则下列命题中为真命题的是 ( (A)(������ p)或q. (C)(������ p)且(������ q). (B)p且q. (D)(������ p)或(������ q).
2
)
(2)已知命题p:存在x∈R,使tan x=1;命题q:x -3x+2<0的解集是
垂直,即不垂直平面内所有直线,即不垂直平面,④正确.
【答案】D
3.命题“有些负数满足不等式(1+x)(1-9x )>0”的否定是 . 【答案】任意负数满足不等式(1+x)(1-9x )≤0
2
2
题型1 对“或”“且”“非”的理解
例1 写出下列各组命题构成的“p或q”“p且q”
“������ p”形式的复合命题,并判断这些复合命题的真假. (1)p:平行四边形的对角线相等;q:平行四边形的对角线互相
个平面相互平行;
②若一个平面经过另一个平面的垂线,那么这两个平面相互
垂直;
③垂直于同一直线的两条直线相互平行; ④若两个平面垂直,那么一个平面内与它们的交线不垂直的
直线与另一个平面也不垂直.
其中为真命题的是 ( (A)①和②. (C)③和④. )
(B)②和③. (D)②和④.
命题逻辑~
推出结论:路上有水。
例2: (大前提):所有金属都导电。 (小前提):铜是金属。 推出结论:铜能导电。
(个别结论)
(一般规律) (个别事实) (个别结论)
数理逻辑
数理逻辑是用数学的方法研究形式逻辑。
2019年1月21日星期一
所谓数学方法,主要是指引进一套符号体系的方法,因此数 理逻辑又称为符号逻辑 现代数理逻辑有四大分支: 证明论、模型论、递归论、公理化集合论 它们共同的基础——
2019年1月21日星期一
所谓命题(Proposition):是指具有非真必假的陈述句。
疑问句、感叹句、祈使句都不能判断其真假,故而都不是命题。 命题仅有两种可能的真值(truth value): 真(true)(用T或1表示) 假(false)(用F或0表示) 因此,命题逻辑也称为 二值逻辑 陈述句 二值逻辑
P∧Q为真,当且仅当 P和Q同时为真。
P∧Q的真值表为: 合取是对称的,即给P和Q 指派真值, P∧Q和 Q∧P 的真值相同 P 0 0 1 1 Q 0 1 0 1 P∧Q 0 0 0 1
命题联结词
合取词∧ 例1.3:
常把合取‚与‛用于具有某种关系的两个命题
之间;但是,在逻辑学中,则不然,完全允 许用两个相互无关系的原子命题,生成新的
命题
例1.1: 判断下面的语句是否为命题? 如果是命题,是真命题还是假命题? 今天下雪。 假命题 不是命题
2019年1月21日星期一
明天会刮风吗? x+y > 4
不是命题 真命题
2是偶数,而3是奇数。
陈胜起义那天,杭州下雨了。 是命题,未知真假 这真是太好了! 不是命题
命题
你去哪里? 不是命题
2019年1月21日星期一
1.3命题与简单逻辑联结词
第二讲简单逻辑联结词、全称量词与存在量词基本知识:一、命题及其关系⏹命题的概念:用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.⏹四种命题的相互关系,如右图所示.(1)四种命题间的相互关系:(2)四种命题的真假关系:①两个命题互为逆否命题,它们有相同的真假性;②两个命题互为逆命题或互为否命题,它们的真假性没有关系.二、充分条件与必要条件⏹“若p则q”是真命题,即p q⇒;⇒/.“若p则q”是假命题,则p q⏹在判断命题真假的问题中,一方面可以直接写出命题进行判断,也可以通过命题的等价性进行判断,即原命题与逆否命题等价,否命题与逆命题等价.否命题与命题的否定不同。
重点:充分条件与必要条件的判别步骤一:理清题干中的条件和结论如:A是B成立的××条件;其中A是条件,B是结论A成立的××条件是B;其中B是条件,A是结论步骤二:是的充要条件(1)充分性:把p当作已知条件,结合命题的前提条件,推出q;(2)必要性:把q当作已知条件,结合命题的前提条件,推出p.学前练习:1.已知a ,b ,c ∈R ,命题“若a b c ++=3,则222a b c ++≥3”的否命题是 (A )若a+b+c ≠3,则222a b c ++<3 (B )若a+b+c=3,则222a b c ++<3 (C )若a+b+c ≠3,则222a b c ++≥3 (D )若222a b c ++≥3,则a+b+c=3 2命题P :a ∈A ,则b ∈B ,那么命题┐P 是( )A 若 a ∈A 则b ∉B B 若a ∉A 则b ∉ BC 若 a ∉A 则b ∈BD 若b ∉ B 则a ∈A3设{1,2}M =,2{}N a =,则“1a =”是“N M ⊆”则( )A 充分不必要条件B .必要不充分条件C .充分必要条件D .既不充分又不必要条件4. 已知集合A ={x ∈R|12<2x <8},B ={x ∈R|-1<x <m +1},若x ∈B 成立的一个充分不必要的条件是x ∈A ,则实数m 的取值范围是 (C )A .m ≥2 B.m ≤2 C .m >2 D.-2<m <25.若命题甲是命题乙的充分非必要条件,命题丙是命题乙的必要非充分条件,命题丁是命题丙的充要条件,则命题丁是命题甲的( )A.充分不必要条件B.必要不充分条件C.充要条件D.既不充分也不必要条件例题讲解3、逻辑联结词与量词一.简单的逻辑联结词(1)用联结词“且”联结命题p 和命题q ,记作p ∧q ,读作“p 且q ”. (2)用联结词“或”联结命题p 和命题q ,记作p ∨q ,读作“p 或q ”. (3)对一个命题p 全盘否定记作綈p ,读作“非p ”或“p 的否定”. (4)命题p ∧q ,p ∨q ,綈p 的真假判断p ∧q 中p 、q 有一假为假,p ∨q 有一真为真,p 与非p 必定是一真一假.二、全称量词与存在量词:命题中的“对所有”、“任意一个”等短语叫做全称量词,用符号“∀”表示,“存在”、“至少有一个”等短语叫做存在量词,用符号“∃”表示.含有全称量词的命题叫做全称命题,全称命题:“对M 中任意一个x ,有()p x 成立”可用符号简记为,()x M p x ∀∈.含有存在量词的命题叫做特称命题,特称命题:“存在M 中任意一个x ,使()p x 成立”可用符号简记为,()x M p x ∃∈.练习: 1已知命题P :n ∈N ,2 A ∀n ∈N ,2n ≤1000 B .∀n ∈N ,2n >1000C .∃n ∈N ,2n ≤1000D .∃n ∈N ,2n <10002下列特称命题中,假命题是 ( )A .∃x ∈R ,x 2-2x -3=0 B.至少有一个x ∈Z ,x 能被2和3整除 C.存在两个相交平面垂直于同一直线 D.∃x ∈{x |x 是无理数},使x 2是有理数例题讲解例1.命题p :实数x 满足x 2-4ax +3a 2<0,其中a <0,命题q :实数x 满足x 2-x -6≤0或x 2+2x -8>0,且P ⌝是q ⌝的必要不充分条件,求a 的取值范围.例2.设P :关于x 的不等式1xa >的解集是{}0x x <,Q :函数()2lg y ax x a =-+的定义域为R,若“P或Q”为真,“P且Q”为假,求a的取值范围.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
知识点:
1 " 若 p , 则 q " 为 真 命 题
充分条件和必要条件:
如果已知p
q,则p 是q 的充分条件,
q 是p 的必要条件
知识点:
2、充要条件:
如果已知p q,且q p,即:p q. 则p 是q 的充要条件.
显 然 q 也 是 p的 充 要 条 件
知识点:
P是q的什么条件的判断:
全 称 命 题 p : x M , p ( x ).
它 的 否 定 P为 : x M ,
全称命题的否定是特称命题
特 称 命 题 p : x M , p ( x ).
p ( x )。
它 的 否 定 P为 : x M ,
特称命题的否定是全称命题
p ( x )。
5练习:写出下列命题的否定,并判断真假。
2 2 2
( a a b b )( a b 1) 0
2 2
a b 2 a b , a b a b a b 0
2 2 2 2
只 能 a b 1 0, 即 a b 1 .
必 要 性 : a b 1 a b 1 0 a b ab a b
有假则假
3、“非p”
p 真 假 非 p 假 真
真假分明
判断复合命题真假的步骤: 1、分清构成形式;
2、判断简单命题的真假;
3、利用真值表。
堂上练习
1 .判 断 下 列 命 题 的 真 假 , 并 说 明 理 由 :
1 2
p q , 这 里 p : 2 3, q : 8 7 1 5 p q , 这 里 p : 2 3, q : 8 7 1 5 2且 7 3 4或 3 4 2
有些语句中含有变 判断一个语句是不是 量,在不给定变 命题,关键看这语句 量的值之前,我 是否符合“是陈述句” 们无法确定这语 和“可以判断真假” 这 句的真假,这样 两个条件。 的语句叫开语句。
4并 非 所 有 的 人 都 喜 欢 苹 果 5一 个 正 整 数 不 是 质 数 就 是 合 数
用 符 号 记 为 : x M , p ( x )成 立
4 .判 断 下 列 命 题 的 真 假 :
1 x R , x
2
1 1; , x 也是无理数.
2
2对 每 一 个 无 理 数 x
3 存 在 两 个 相 交 平 面 垂 直 于 同 一 条 直 线 ; 4有 些 整 数 只 有 两 个 正 因 数.
2 2
3、 若 x 0 或 y 0 , 则 x y 0 .
2 2
二、量词
全称量词:“对所有的”“对任意的一个”在 逻辑中通常叫做全称量词,含有全称量词的命 题,叫做全称命题。
" "表 示 “ 对 任 意 的 ”
用 符 号 记 为 : x M , p ( x )成 立
特称量词:“存在一个” “至少有一个”在 逻辑中通常叫做存在量词,含有存在量词的 命题,叫做特称命题 表 示 “ 存 在 ” ""
考点指示: 1、了解命题、真命题、假命题的概念,能够指出
一个命题的条件和结论,并判断命题的真假性。
2、分析和转化四种命题之间的关系,并能判断
四种的真假性。
命题:一般地,把用语言、符号或式子表达的, 可以判断真假的陈述句叫做命题。 其中,判断为真的语句叫做真命题; 判断为假的语句叫做假命题。
条件:是陈述句;可以判断真假。
否命题:当c>0时,若a≤b, 则ac≤bc.
逆否命题:当c>0时,若ac≤bc, 则a≤b.
小结:在判断四种命题的真假时,只需判断两种命题的 真假。因为逆命题与否命题真假等价,逆否命题与原命 题真假等价。
常用的 正面叙述词语及其否定:
正面 词语 否定 等于 大于 (>) 小于 (<) 是 都是
小于或 不等于 等于 (≤) 正面 至多 至少有 词语 有一 一个 个 否定 至少有 一个也 两个 没有
5, 则 x 1 0;
3 若 a 5是 无 理 数 , 则 a 是 无 理 数 ; 4若 x a x b
(1)充分不必要条件
(2)必要不充分条件 (3)充要条件 (4)必要不充分条件
0, 则 x a.
2.若A是B的充要条件,B是C和D的必要条 件,E是D的充分条件,E是A的充要条件, 充要条件 则E是B的_______条件, E 充分不必要 C是A的________条件, C 充要条件 A是D的________条件, A 必要不充分 D是C的_________条件. C C A B E D B A D D
一、由简单命题与逻辑联结词(或、且、非)
构成的命题叫复合命题。
“p或q” “p且q” “非p”
pq pq
p
判断复合命题的真假 (真值表)
1、“p或q” p 真 真 假 假 p 真 真 假 假 q 真 假 真 假 q 真 假 真 假 p或q 真 真 真 假 P且q 真 假 假 假
有真则真
2、“p且q”
例题4讲解
结论
已 知 a b 0 , 求 证 : a b 1的 充 要 条 件 是 a b ab a b 0.
3
a b ab a b
3 3 2 2
2
( a b )( a a b b ) ( a a b b )
大于或 不是 等于(≥)
不都是
任意的 所有的 至多有 任意 n个 两个
某个
某些
至少有n 某两个 +1个
例 3 命 题 " a b 0 , 则 a , b中 至 少 有 一 个 为 零 " 的逆否命题为
a , b均 不 为 零 , 则 a b 0
13年考纲要求 理解必要条件、充分条件与充要条件的意义,
13年考纲要求 常用逻辑用语 (1)命题及其关系 ①了解命题及其逆命题、否命题与逆否命题。 ②理解必要条件、充分条件与充要条件的意义, 会分析四种命题的相互关系。 (2)简单的逻辑联结词 了解逻辑联结词“或”、“且”、“非”的含义。 (3)全称量词与存在量词 ①理解全称量词与存在量词的意义。 ②能正确地对含有一个量词的命题进行否定。
3 3 2 2 2 2
( a a b b )( a b 1) 0
综合上述可得:
a b 1的 充 要 条 件 是 a b a b a b 0 .
3 3 2 2
13年考纲要求:
1、了解逻辑联结词 “或” “且” “非”的含义 2、理解全称量词与存在量词的意义 3、能正确地对含有一个量词的命题进行否定
(1) 不 论 m 取 什 么 实 数 , x 必有实根。
2
2
x m 0
存 在 一 个 实 数 m , 使 得 x x m 0没 实 数 根 。
真命题
(2)存 在 一 个 实 数 x, 使 得 x x 1 0
2
x R, x x 1 0
2
真命题
表达形式:语言;符号;式子。
命题形式化为:若 P ,则 q 。
把p叫做命题的条件,q叫做命题的结论。
例题选讲
例 1判 断 下 列 语 句 哪 些 是 命 题 , 是 真 命 题 还 是 假 命 题
1 求 证 2 x
2
3是 无 理 数
4x 4 0
3 你 是 高 三 的 学 生 吗 ?
p q 但 q p p q 但q p p q
p是q的充分不必要条件 p是q的必要不充分条件
p是q的充要条件
p q 且 q p p是q的既不充分又不必要条件
练 习1、 下 列 p 是 q 的 什 么 条 件 ?
1 若 两 个 三 角 全 等 , 则 这 两 个 三 角 形 相 似 ; 2若 x
( 6 )若 x y 和 x y都 是 有 理 数 , 则 x与 y都 是 有 理 数 (7 )6 0 x 9 4 (8 ) 若 x R , 则 x 4 x 7 0
2
四种命题与四种命题的相互关系是:
原命题 若p则q 互否 否命题 互逆 逆命题 若q则p
互为
互逆
逆否
互否
逆否命题
3 5 43 5 2
" p 或 q "的 否 命 题 : " p 且 q "的 否 命 题 :
p且 q p或 q
写出下列命题的否命题,并判断真假性 1、 若 x 2 ( y 1) 0 , 则 x 2 且 y 1 .
2
写出下列命题的逆否命题,并判断真假性 2、 若 x y 0 , 则 x 0 且 y 0 .
若 p则
q
若 q则
p
强调:原命题与逆否命题的真假是等价的。
逆命题与否命题的真假是等价的。
两个命题为互逆命题或互否命题, 它们的真假性没有关系
例2:设原命题是:当c>0时,若a>b,则ac>bc. 写出它的逆命题、否命题、逆否命题。并分别 判断它们的真假。
分析:“当c>0时”是大前提,写其它命题时应该保留。 原命题的条件是“a>b”, 结论是“ac>bc”。 解:逆命题:当c>0时,若ac>bc, 则a>b. (真) (真) (真)