当前位置:文档之家› 1.1命题逻辑

1.1命题逻辑

1.1命题逻辑
1.1命题逻辑

(8) {0}是{0,1,2}的子集. ( )

新授问题命题可分为简单命题和复合命题.

如下面的命题:

(1) 中国是亚洲最大的国家而且4>3.

(2) 地球是方的或者1是自然数.

(3) 青菜不是水果.

(4) 如果张三找到工作,那么李四也找到

工作.

(5)张三找到工作当且仅当李四也找到

工作.

它们都是由简单命题通过加了诸如“而

且”、“或者”、“不是”、“如果…,那么…”、

“当且仅当”等这样的连词或否定词得到

的,这些词叫做联结词.用一些联结词把

一些简单命题连接起来组成的新命题叫

做复合命题.

引导

讲解

倾听

了解

新授观察

先看用联结词“而且”、“并且”连接

简单命题的例子.

(1) 4>3且4是整数.

命题由两个简单命题p:4>3,

q:4是整数

用联结词“且”连接而成.由于命题p

为真,命题q也为真,因此命题为真.

(2) 4<3且4是整数.

命题由两个简单命题p:4<3,

q:4是整数

用联结词“且”连接而成.由于命题p

为假,因此命题为假.

(3) 4>3且4是负数.

引导

讲解

总结

归纳

倾听

思考

熟记

知识

离散数学第一章命题逻辑知识点总结

数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题,陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题):简单陈述句构成的命题 复合命题:由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1)表示 简单命题 用“1”表示真,用“0”表示假 例如,令p:是有理数,则p 的真值为 0 q:2 + 5 = 7,则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题,复合命题“非p”(或“p的否定”)称 为p的否定式,记作p. 符号称作否定联结词,并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式,记作p∧q. ∧称作合取联结词,并规定 p∧q为真当且仅当p 与q同时为真 注意:描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明,而且用功. (3) 王晓虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p:王晓用功,q:王晓聪明,则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生,s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学,t 是简单命题 . 说明:

(完整)高考文科数学命题与逻辑(答案详解)

命题 1.(2012浙江卷)设a ∈R ,则“a =1”是“直线l 1:ax+2y=0与直线l 2 :x+(a+1)y+4=0平行的() A.充分不必要条件 B.必要不充分条件 C.充分必要条件 D.既不充分也不必要条件 2. (湖北卷)命题“存在一个无理数,它的平方是有理数”的否定是 A .任意一个有理数,它的平方是有理数 B .任意一个无理数,它的平方不是有理数 C .存在一个有理数,它的平方是有理数 D .存在一个无理数,它的平方不是有理数 3. (2012湖北卷)设,,a b c +∈R ,则“1abc =”是a b c ≤++”的 A .充分条件但不是必要条件 B .必要条件但不是充分条件 C .充分必要条件 D .既不充分也不必要的条件 4.(2012安徽)命题“存在实数x ,,使>1x ”的否定是() A.对任意实数x , 都有1x > B.不存在实数x ,使1x ≤ C.对任意实数x , 都有1x ≤ D.存在实数x ,使1x ≤ 5.(2012湖南)命题“若 4 πα= ,则tan 1α=”的逆否命题是( ) A .若 4 πα≠,则tan 1α≠ B .若= 4 πα,则tan 1α≠ C .若tan 1α≠,则4πα≠ D .若tan 1α≠,则= 4 πα 6.(2012辽宁)已知命题()()()()122121:,,--0 p x x R f x f x x x ?∈≥,则p ?是 A .()()()()122121,,--0x x R f x f x x x ?∈≤ B . ()()()()122121,,--0 x x R f x f x x x ?∈≤ C . ()()()()122121,,--<0 x x R f x f x x x ?∈ D . ()()()()122121,,--<0 x x R f x f x x x ?∈ 7.(2012上海)对于常数m 、n ,“>0mn ”是“方程22+=1mx ny 的曲线是椭圆”的() A .充分不必要条件 B.必要不充分条件 C.充分必要条件 D.既不充分也不必要条件 8.(2012四川)下列命题正确的是() A 、若两条直线和同一个平面所成的角相等,则这两条直线平行 B 、若一个平面内有三个点到另一个平面的距离相等,则这两个平面平行

命题逻辑练习题及答案14

命题逻辑练习题 一、从五个备选答案中选择一个正确的答案,并做出简要的分析: 1、古代一位国王率领张、王、李、赵、钱五位将军一起打猎,各人的箭上均刻有自己的姓氏。围猎中,一只鹿中箭倒下,但却不知是何人所射。国王令众将军猜测。 张说:“或者是我射中的,或者是李将军射中的。” 王说:“不是钱将军射中的。” 李说:“如果不是赵将军射中的,那么一定是王将军射中的。” 赵说:“既不是我射中的,也不是王将军射中的。” 钱说:“既不是李将军射中的,也不是张将军射中的。” 国王令人把射中鹿的箭拿来,看了看,说:“你们五位将军的猜测,只有两个人的话是真的。” 根据国王的话,可以判定以下哪项是真的? A、张将军射中此鹿。 B、王将军射中此鹿。 C、李将军射中此鹿。 D、赵将军射中此鹿。 E、钱将军射中此鹿。 1、某大学进行演讲比赛,得第一名的只有一人。在对六个参赛者进行名次预测时,四人作了如下 预测: 甲:取得第一名的要么是我,要么是乙。 乙:取得第一名的要么是甲,要么是丙。 丙:如果不是戊取得第一名,就一定是己。 丁:第一名决不会是甲。 比赛结果发现,只有一个人的预测正确。请问谁得第一名?谁的预测正确? A、甲得第一名,乙的预测正确。 B、乙得第一名,甲的预测正确。 C、丙得第一名,乙的预测正确。 D、丁得第一名,丁的预测正确。 E、戊得第一名,丙的邓测正确。 2、销售经理的人选,对于一个公司的生存和发展十分重要。哈维珍珠有限责任公司对于销售经理 的任用,就非常填重。由于前任销售经理因故离任,关于公司新销售经理的人选,甲、乙、丙 三位董事经过充分考虑,提出了他们的意见: 甲:要么聘用李先生,要么聘用王先生。 乙:如果不聘用李先生,那么也不聘用王先生。 丙:如果不聘用王先生,那么就聘用李先生。

命题逻辑习题及其参考答案

1.某地发生一起刑事案件,经过公安人员的努力侦破,作案嫌疑人锁定在A、B、C三人中,并且摸清了以下情况: ①只有01号案件成功告破,才能确认A、B、C三人都是作案人。 ②目前,01号案件还是一起悬案。 ③如果A不是作案人,那么A的供词是真的,但A说自己与B都不是作案人。 ④如果B不是作案人,那么B的供词也是真的,但B说自己与C是好朋友。 ⑤现已查明C根本不认识B。 根据上述线索,问:A、B、C三人中谁是作案人? 解:令p:01号案件成功告破;q、r、s分别表示A、B、C作案;t:B与C是 好朋友。据题意有: 1. {1} ┐p→┐(q∧r∧s)P 2. {2} ┐p P 3. {3} ┐q→(┐q∧┐r)P 4. {4} ┐r→t P 5. {5} ┐t P 6. {4.5} r T4.5否定后件 7. {1.2} ┐(q∧r∧s)T1.2肯定前件 8. {1.2} ┐q∨┐r∨┐s T7德摩根 9. {1.2.3} q T3.6否定后件 10. {1.2.3.4.5} q∧r P6.9组合式 答:AB作案,至于C尚待侦查。 2.综合分析题(要求写出推导过程):某班有学生61人,下面有三句话: ①该班有些学生会使用计算机。 ②该班有些学生不会使用计算机。 ③该班班长不会使用计算机。 已知上述三句话中,只有一句话是真的,试问:哪一句话是真话?该班有多少学生会使用计算机? 解:①②分别为I命题和O命题,二者是下反对关系,必有一真,或许都真;但据题设只有一句真话,可知③为假,真实情况是班长会使用计算机。既然这样第一句话“该班有些学生会使用计算机”就是真的,而第二句话就是假的。O命题假,根据矛盾关系可知,A命题即“该班所有学生都会使用计算机”就真,所以,全班61个学生都会计算机。 3.下面有三句话: ①如果甲是篮球队员,则乙就是足球队员。 ②如果乙是足球队员,则甲就是篮球队员。 ③甲不是篮球队员。 已知上述三句话中只有一句话是真话,问:甲是不是篮球队员?乙是不是足球队员?哪一句话是真话? (要求写出推导过程) 解:令p表示“甲是篮球队员”,q表示“乙是足球队员”,再令③即“┐p”真,据题设有: ①{1} ┐(p→q)P ②{2} ┐(q→p)P ③{3} ┐p P ④{1} p∧┐q T①等值关系 ⑤{1} p T④合取分解

逻辑学 命题逻辑

第五章命题逻辑 上一章我们学习了词项逻辑,词项逻辑是以词项的研究为基础的,讨论的是简单命题和简单命题的推理。在这一章中,我们来学习在简单命题的基础上构成的复合命题以及复合命题推理。由于对复合命题和复合命题推理的研究是以命题为基本单位的,不再分析简单命题的内部结构,因此被称为命题逻辑。命题逻辑也叫联结词的逻辑,因为它是以命题联结词的研究为基础的。 第一节复合命题 复合命题是由一定的联结词(常称为命题联结词或逻辑联结词)将一个、两个或两个以上命题联结起来构成的命题。与简单命题不同,复合命题中包含着其他命题。作为复合命题组成部分的命题称为支命题。 复合命题按照其不同的逻辑含义,可分为负命题、联言命题、选言命题和假言命题。 一、负命题 (一)什么是负命题 负命题是否定某种事物情况的命题。 负命题由表示否定的联结词联结一个支命题构成。负命题只有一个支命题,这显然与其他复合命题不同。 在日常语言中,表达负命题的联结词的语词有“并非”、“并不是”等,我们在表示负命题的形式时,以“并非”作为代表,即将负命题的形式表示为: 并非p 这里的p是表示任一命题(常表示任一简单命题)的符号,称为命题变项。负命题的联结词也可以用符号“?”表示。这样,上述形式就可表示为: ?p 这里的“?”称为否定词,?p称为否定式,可读作“非p”。 负命题是否定某种事物情况,而不是否定事物具有某种性质,因而它不同于直言命题中的否定命题。直言命题中的否定命题的否定联项处于命题当中,而负命题的否定词

则处于命题的最前端。 不过,直言命题中的单称否定命题形式“s不是P”逻辑等值于“并非s是P”,而后者可表示为“并非p”的形式,因此,直言命题中的单称否定命题常被作为负命题处理。特别是在单称肯定命题与相应的单称否定命题同时出现,而又将单称肯定命题用某个命题变项符号(如p)代替时,为反映出它们之间的逻辑联系,更需要将相应的单称否定命题直接表示为负命题的形式(如?p)。这种处理方法在复合命题推理中是常用的。 必须注意的是,直言命题中的否定命题能直接作为负命题对待的只有单称否定命题,全称否定命题和特称否定命题则不能直接作为负命题处理。显而易见,“所有S不是P”并不逻辑等值于“并非所有S是P”,“有S不是P”也并不逻辑等值于“并非有S是P”。 (二)负命题的真假值 负命题是对其支命题所断定的事物情况的否定,它的真假与其支命题的真假相反:如果一个负命题的支命题为真,那么这个负命题就是假的;如果一个负命题的支命题为假,那么这个负命题就是真的。 负命题与其支命题之间的真假值关系可概括为:?p真,当且仅当p假。 二、联言命题 (一)什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题。 联言命题由两个或两个以上支命题经一定的联结词联结而成。构成联言命题的支命题称为联言支。 在日常语言中,表达联言命题的语句是多种多样的,有并列复句、连续复句、递进复句、转折复句等。这些复句的关联词更是多种多样的,如“并且”、“而且”、“也”、“既……又……”、“可是”、“不但……而且……”、“虽然……但是……”等。这些语词中,最符合联言命题的逻辑含义的是“并且”。其他一些语词则还带有更多的含义,如表示递进、转折等,这些含义不是逻辑上的。因此,我们选择“并且”作为联言命题的联结词的逻辑表达。这样,具有两个联言支的联言命题的形式可表示为:p并且q 具有三个联言支的联言命题的形式可表示为:

命题逻辑复习题和答案

. 命题逻辑 一、选择题(每题3分) 1、下列句子中哪个是命题?(C) A、你的离散数学考试通过了 吗? B 、请系好安全带! C、是有理数 D 、本命题是假的 2、下列句子中哪个不是命 题?(C) A、你通过了离散数学考试 B 、我俩五百年前是一家 C、我说的是真话 D 、淮海工学院是一座工厂 3、下列联接词运算不可交换的 是(C) A、B、 C 、 D 、 4、命题公 式P Q不能表述为(B) A、P或Q B 、非P每当QC、非P仅当Q D、除非P,否则Q 5、永真式的否定是(B) A、永真式 B 、永假 式 C 、可满足式 D 、以上答案均有可能 6、下列哪组赋值使命题公 式P(P Q)的真值为假(D) A、P假Q真 B、P假Q假C 、P真Q真D、P真Q假 7、下列为命题公式P (Q R)成假指派的是(B) A、100 B 、101 C 、110 D 、111 8、下列公式中为永真式的是(C) A、P(PQ) B、P (PQ) C、(PQ) Q D、(PQ)Q 9、下列公式中为非永真式的是(B) A、(P P) Q B、(P P) Q C、P(P Q) D、P(PQ) 10、下列表达式错误的是(D) A、P(PQ) P B 、P(PQ) P C、P(PQ)PQ D 、P(PQ)PQ 11、下列表达式正确的是(D) A、PPQ B、PQP C、Q (P Q) D、(PQ)Q 12、下列四个命题中真值为真的命题为(B) (1)2 2 4当且仅当3是奇数(2)2 2 4 当且仅当3不是奇数; (3)2 2 4当且仅 当3是奇数(4)2 24当且仅当3不是奇数 A、(1)与(2) B 、(1)与(4)C、(2)与(4) D 、(3)与(4) 13、设P:龙凤呈祥是成语,Q:雪是黑的,R:太阳从东方升起,则下列假命题为(A) A、P Q R B 、Q P S C、P Q R D 、Q P S 14、设P:我累,Q:我去打球,则命题:“除非我累,否则我去打球”的符号化为( B ) A、PQ B 、P Q C、PQ D、P Q 15、设P:我听课,Q:我睡觉,则命题“我不能一边听课,一边睡觉”的符号化 为(B) A、PQ B 、P QC、PQ D、P Q 提示:(P Q) P Q 16、设P:停机;Q:语法错误;R:程序错误, 则命题“停机的原因在于语法错误或程序错误”的符号化为( D) A、PQR B、P QR C、QRP D、QRP 17、设P:你来了;Q:他唱歌;R:你伴奏 则命题“如果你来了,那末他唱不唱歌将看你是否伴奏而的符号化为(D )

命题与简单逻辑连接词

12月1日(命题与简单逻辑连接词) 一、选择题: 1. "0"≤a 是函数()()"1"x ax x f -=在区间()+∞,1内单调递增的( ) A.充分不必要条件 B.必要不充分条件 C.充要条件 D.既不充分也不必要条件 2. 给定命题:p 函数()()[]x x y +-=11ln 为偶函数;命题:q 函数1 1+-=x x e e y 偶函数,下列说法正确的是( ) A. q p ∨为假命题 B.()q p ∧?为假命题 C.q p ∧为真命题 D.()q p ∨?为真命题 3. 已知命题:p 若()2,1=与()λ,2-=共线,则4-=λ;命题:q R k ∈?,直线1+=kx y 与圆0222=-+y y x 相交。则下列结论正确的是( ) B. q p ∨为假命题 B.()q p ∧?为真命题 C.q p ∧为假命题 D.()q p ∨?为真命题 4.命题:p 若,0,0>>b a 则1=ab 是2≥+b a 的必要不充分条件,命题:q 函数2 3log 2+-=x x y 的定义域是()()+∞-∞-,32, ,则( ) A.q p ∨为假命题 B.p 真q 假 C.q p ∧为真命题 D.p 假q 真 5.""π?=是“曲线()?+=x y 2sin 过坐标原点”的( ) A. 充分不必要条件 B.必要不充分条件 C.充要条件 D.既不充分也不必要条件 6.设{}n a 是等比数列,则“321a a a <<”是“数列{}n a 是递增数列”的( )

A.充分不必要条件 B.必要不充分条件 C.充要条件 D.既不充分也不必要条件 7.一元二次方程()00122≠=++a x ax 有一个正根和一个负根的充分不必要条件是( ) A. 0a C.1-x ”是“02>x ”的必要不充分条件,命题:q ABC ?中,“B A >”是“B A sin sin >”的充要条件,则_______. A.q p ∨为假命题 B.p 真q 假 C.q p ∧为真命题 D.p 假q 真 二、填空题: 9.关于x 的不等式a x >-32的解集为R 的充要条件是____________. 10.已知命题:p 函数x x y --=22在R 上为增函数;命题:q 函数x x y -+=22在R 上为奇函数.则在命题(1)q p ∨;(2)q p ∧;(3)q p ∨?)(;(4))(q p ?∧中为真命题的是_________. 11.若命题:p 不等式0>+b ax 的解集为???? ??->a b x x |,命题:q 关于x 的不等式()()0<--b x a x 的解集为{}b x a x <<|,则“q p ∨”,“q p ∧”,“p ?”中真命题的是______________. 三、应用题: 12.求证:方程()01222=+-+k x k x 的两个根均大于1的充要条件是.2-

命题及逻辑关系

命题与逻辑关系 四种命题及其关系 1.有下列四个命题: ①“若xy =1,则x 、y 互为倒数”的逆命题; ②“相似三角形的周长相等”的否命题; ③若“A ∪B =B ,则A ?B ”的逆否命题.其中的真命题有( )个。 A .0 B .1 C .2 D .3 2.命题“若a >b ,则ac 2>bc 2 (a ,b ,c ∈R)”与它的逆命题、否命题、逆否命题中,真命题的个数为( ). A .0 B .2 C .3 D .4 3.下列命题为真命题的是( ) A .若ac bc >,则a b > B .若22a b >,则a b > C .若11a b >,则a b < D .若a b <,则a b < 4.设b a ,是向量,命题“若b a -=,则b a =”的逆命题是( ) .A 若b a =,则b a -= .B 若b a -≠,则b a ≠ .C 若b a ≠,则b a -≠ .D 若b a -=,则b a ≠ 5.“若x ≠a 且x ≠b ,则x 2-(a +b )x +ab ≠0”的否命题是( ) A 、若x =a 且x =b ,则x 2-(a +b )x +ab =0 B 、若x =a 或x =b ,则x 2-(a +b )x +ab ≠0 C 、若x =a 且x =b ,则x 2-(a +b )x +ab ≠0 D 、若x =a 或x =b ,则x 2-(a +b )x +ab =0 6.命题“若12<->若或则 D.211,1x x x ≥≤-≥若或则 7.给出以下四个命题: ① 若错误!未找到引用源。,则; ②“若a+b ≥2,则a ,b 中至少有一个不小于1” 的逆命题; ③“若x2+y2=0,则x ,y 都为0”的否命题; ④若3x y +≠,则12x y ≠≠或. 其中真命题是__________。 充分条件必要条件 8.下列命题中,正确的个数为( ) ①圆心到直线的距离等于半径是这条直线为圆的切线的充要条件; ②sin sin αβ=是αβ=的充分不必要条件;

命题逻辑复习题

命题逻辑 一、选择题(每题3分) 1、下列句子中哪个是命题? ( ) A 、你的离散数学考试通过了吗? B 、请系好安全带! C 、 π是有理数 D 、 本命题是假的 2、下列句子中哪个不是命题? ( ) A 、你通过了离散数学考试 B 、我俩五百年前是一家 C 、 我说的是真话 D 、 淮海工学院是一座工厂 3、下列联接词运算不可交换的是( ) A 、∧ B 、∨ C 、 → D 、 ? 4、命题公式P Q ?→不能表述为( ) A 、P 或Q B 、非P 每当Q C 、非P 仅当Q D 、除非P ,否则Q 5、永真式的否定是 ( ) A 、 永真式 B 、永假式 C 、可满足式 D 、 以上答案均有可能 6、下列哪组赋值使命题公式()P P Q →∧的真值为假( ) A 、P 假Q 真 B 、P 假Q 假 C 、P 真Q 真 D 、P 真Q 假 7、下列为命题公式()P Q R ∧∨?成假指派的是( ) A 、100 B 、101 C 、110 D 、111 8、 下列公式中为永真式的是 ( ) A 、()P P Q →∧ B 、()P P Q ?→∧ C 、()P Q Q ∧→ D 、()P Q Q ∨→ 9、 下列公式中为非永真式的是( ) A 、 ()P P Q ∧?→ B 、()P P Q ∨?→ C 、()P P Q ∧?→ D 、()P P Q ∨?→ 10、下列表达式错误的是( ) A 、()P P Q P ∨∧? B 、()P P Q P ∧∨? C 、()P P Q P Q ∨?∧?∨ D 、()P P Q P Q ∧?∨?∨ 11、下列表达式正确的是( ) A 、P P Q ?∧ B 、P Q P ?∨ C 、()Q P Q ???→ D 、Q Q P ??→?)( 12、下列四个命题中真值为真的命题为( ) (1)224+=当且仅当3是奇数 (2)224+=当且仅当3不是奇数; (3)224+≠当且仅当3是奇数 (4)224+≠当且仅当3不是奇数 A 、(1)与(2) B 、(1)与(4) C 、(2)与(4) D 、(3)与(4) 13、设P :龙凤呈祥是成语,Q :雪是黑的,R :太阳从东方升起,则下列假命题为( ) A 、R Q P ∧→ B 、Q P S →∧ C 、P Q R →∨ D 、 Q P S →∨ 14、设P :我累,Q :我去打球,则命题:“除非我累,否则我去打球”的符号化为( ) A 、P Q → B 、Q P ?→ C 、 Q P →? D 、P Q ?→? 15、设P :我听课,Q :我睡觉,则命题 “我不能一边听课,一边睡觉”的符号化为( ) A 、P Q → B 、Q P ?→ C 、 Q P →? D 、P Q ?→? 提示:()P Q P Q ?∧?→? 16、设P :停机;Q :语法错误;R :程序错误, 则命题 “停机的原因在于语法错误或程序错误” 的符号化为( ) A 、R Q P ∧→ B 、P Q R →∨ C 、Q R P ∧→ D 、Q R P ∨→ 17、设P :你来了;Q :他唱歌;R :你伴奏 则命题 “如果你来了,那末他唱不唱歌将看你是否伴奏而定” 的符号化为( ) A 、()P Q R →∧ B 、()P Q R →→ C 、()P R Q →→ D 、()P Q R →? 18、在命运题逻辑中,任何非永真命题公式的主合取范式都是( ) A 、 存在并且唯一 B 、存在但不唯一 C 、 不存在 D 、 不能够确定

命题逻辑小结与例题

命题逻辑 小结与例题
一、命题与联结词 1、基本概念 命题与真值;简单命题和复合命题; 命题常项和变项;五个联结词?, ∧, ∨, →, ? , 真值表。 2、应用。 (1) 选择适当的联结词将命题符号化。 (2) 判断命题(简单或复合)的真假。
二、命题公式及分类 1、基本概念 命题公式的定义;公式的赋值; 重言式,矛盾式,可满足式。 2、应用 (1) 求给定公式的真值表,及成真赋值, 成假赋值。 (2) 用真值表判断给定公式的类型。
三、等值演算 1、基本概念 两个公式等值的含义;等值演算。 2、应用 (1) 灵活运用24个重要等值式。 (2) 用等值演算判断公式的类型及两个公式 是否等值(也可用真值表)。
五、范式 1、基本概念 简单析取式,简单合取式; 析取范式,合取范式;极小项,极大项; 主析取范式,主合取范式。
、应用 求给定公式的主析取范式和主合取范式。 (2) 用主析取范式或主合取范式判断两公式 是否等值。 (3) 用主析取范式或主合取范式求公式的成真 或成假赋值。 (4) 用主析取范式或主合取范式判断公式的类型。
2 (1)
1

六、推理理论 1、基本概念 推理,推理规则,推理定律;构造证明法。 2、应用 真值表法 (1) 判断推理 是否正确: 等值演算法 主析取范式法(主合取范式法)。 (2) 用8条推理定律构造推理的证明。
例1、判断下列各语句中,命题,简单命题, 复合命题,真命题,假命题,真值待定的 命题各有哪些? (1) 2 x + 3 > 0 。 (2) 2是素数或是合数。 (3) 若 2 + 2 = 4,则5是偶数。 (4) 只有4是奇数,5才能被3整除。 (5) 明年5月1日是晴天。
例1、判断下列各语句中,命题,简单命题, 复合命题,真命题,假命题,真值待定的 命题各有哪些? 解:命题有(2)-(5), 其中(5)是简单命题,(2),(3),(4)是复合命题, (2),(4)为真命题,(3)为假命题,(5)真值待定。
例2、 设 p、q 的真值为0, r 、s 的真值为1, 试求下列命题的真值。 解: p ∨ ( q ∨ r )
? 0 ∨ (0 ∨ 1)
(1) p ∨ (q ∨ r )
?1
例2、 设 p、q 的真值为0, r 、s 的真值为1, 试求下列命题的真值。 解:( p ? q) ∧ (?r ∨ s)
? (0 ? 0) ∧ (?1 ∨ 1) ? 1 ∧ (0 ∨ 1) ? 1∧1 ?1
(2) ( p ? q ) ∧ (?r ∨ s )
例2、 设 p、q 的真值为0, r 、s 的真值为1, 试求下列命题的真值。 解:( p ∧ (r ∨ s)) → (( p ∨ q) ∧ (r ∧ s))
? (0 ∧ (1 ∨ 1)) → ((0 ∨ 0) ∧ (1 ∧ 1)) ?0→0
?1
(3) ( p ∧ ( r ∨ s )) → (( p ∨ q ) ∧ ( r ∧ s ))
2

命题与逻辑联结词知识点

命题与逻辑联结词 一、命题与逻辑联结词 1、命题定义 可以判断真假的语句叫“命题” 2、分类 简单命题 复合命题(由简单命题与逻辑联结词构成) p 或q :q p ∨ p 且q :q p ∧ 非p :p ?(命题p 的否定) 3、判断复杂命题的真假 一真或真,一假且假. 4、四种命题 (1)原命题. 若p ,则q . (2)逆命题 若q ,则p . (3)否命题 若p ?,则q ?. (4)逆否命题 若q ?,则p ?. 5、四种命题关系 (1)原命题与逆否命题同真同假. (2)逆命题与否命题同真同假. 6、命题的否定与否命题. (1)命题的否定:(只否定结论). p 表示命题,非p 叫做命题的否定; 若p 则q ,则命题的否定为:若p 则q ? (2)否命题(既否定条件,又否定结论) 若p 则q 的否命题为: 若p ?则q ?. 二、充分条件与必要条件. 1、充分条件 若q p ?,则p 是q 的充分条件(q 的充分条件p ) 2、必要条件 若q p ?,则q 是p 的充分条件(p 的充分条件q ) 3、充要条件 若q p ?且p q ?(或q p ?)则p 是q 的充要条件。 4、充分条件与必要条件判定 (1)数轴法 (2)集合法

(3)等价法 三:全称量词与存在量词 1、 全称量词:“所有的”.“任意一个”.“每个”,用“?”表示。 存在量词:“存在一个”.“至少有一个”.“有些”,用“?”表示. 2、 全称命题(含有全称量词的命题):();,x p M x ∈? 特称命题(含有存在量词的命题):().,00x p M x ∈? 3、含有一个量词的命题的否定. 命题 命题的否定 ()X P M x ,∈? ()00,x p M x ?∈? ()00,x p M x ∈? ()x p M x ?∈?, 4、一些常用正面描述的词语的否定形式: 正面词语 = > < 是 都是 一定 否定词语 ≠ ≤ ≥ 不是 不都是 不一定 正面词语 至多有一个 至少有一个 至多有n 个 至少有n 个 P 或q P 且q 否定词语 至少有两个 一个也没有 至少有n +1个 至多有n -1个 非p 且非q 非p 或非q

命题与逻辑联结词

课题:命题及逻辑连接词 考纲要求: ①理解命题的概念. ②了解“若p,则q”形式的命题的逆命题、否命题与逆否命题,会分析四种命题的相互关系.③了解逻辑联结词“或”、“且”、“非”的含义. ④理解全称量词与存在量词的意义. ⑤能正确地对含有一个量词的命题进行否定 教材复习 1.原命题:若p则q;逆命题为:;否命题为:;逆否命题为: 2.四种命题的真假关系:两个命题互为逆否命题,它们有的真假性; 四种命题中真命题或假命题的个数必为个. 3.常见词语的否定:如:“等于、大于、小于、是、都是、至多一个、至少一个、任意的、所有的、至多n个、任意两个、或、且”的否定分别是: 4. 5.命题的否定与否命题的区别,全称性命题的否定为存在性命题,存在性命题的否定为全称性命题. 基本知识方法 1.四种命题之间的关系 2.存在,任意的符号表示法 3.含有一个量词的命题的否定

典例分析: 问题1.把写列命题写成若p 则q 的形式,写出它们的逆命题、否命题与逆否否命题, 并判断真假.()1 当2x =时,2 320x x -+=;()2 对顶角相等。 问题2.分别写出由写列命题构成的“p 且q ”、“p 或q ”、“非p ”形式的复合命题 并判断真假。 ()1:p 3是9的约数;:q 3是18的约数; ()2:p 菱形的对角线相等;:q 菱形的对角线互相垂直; ()3 :{,,}p a a b c ∈;:{}{1,,}q a b c ü; ()4 :p 不等式2221x x ++>的解集是R ;:q 不等式2221x x ++≤的解集为?. 问题3.试判断下列命题的真假 ()12,20x R x ?∈+>; ()24,1x N x ?∈≥; ()33,1x Z x ?∈<; ()42 ,2x R x ?∈=.

华南理工《离散数学》命题逻辑练习题(含答案)(最新整理)

第一章命题逻辑 1.1 命题与联结词 一、单项选择题 1、 A.明年“五一”是晴天。 B.这朵花多好看呀!。 C.这个男孩真勇敢啊! D.明天下午有会吗? 在上面句子中,是命题的是( ) 2. A.1+101=110 B.中国人民是伟大的。 C.这朵花多好看呀! D.计算机机房有空位吗? 在上面句子中,是命题的是( ) 3. A.如果天气好,那么我去散步。 B.天气多好呀! C.x=3。 D.明天下午有会吗? 在上面句子中( )是命题 4.下面的命题不是简单命题的是( ) A.3是素数或4是素数 B.2018年元旦下大雪 C.刘宏与魏新是同学 D.圆的面积等于半径的平方与π之积 5.下面的表述与众不一致的一个是( ) A.P:广州是一个大城市 B.?P:广州是一个不大的城市 C.?P:广州是一个很不小的城市 D.?P:广州不是一个大城市 6.设,P:他聪明;Q:他用功。在命题逻辑中,命题: “他既聪明又用功。” 可符号化为:( ) 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:他用功。则命题“他虽聪明但不用功。” 在命题逻辑中可符号化为( ) A.P ∧Q B.P→Q C.P∨?Q D.P∧?Q 9.设:P:我们划船。Q:我们跑步。在命题逻辑中,命题: “我们不能既划船又跑步。” 可符号化为:( ) A.P→Q B.?(P ∧Q) C.P∨Q D.P∧?Q 10.设:P:王强身体很好;Q:王强成绩很好。命题“王强身体很好,成绩也很好。”在命题逻辑中可符号化为( ) A.P ∨Q B.P→Q C.P∧?Q D.P∧Q 11.设:P:你努力;Q:你失败。则命题“除非你努力,否则你将失败。”

命题逻辑的自然演绎系统-1

计算机科学M O O C课程群 离散数学基础 命题逻辑的自然演绎系统 (一) 形式语言和变形规则 ? 定义:形式语言 L ?形式语言 L 包括初始符号集和形成规则。 ?初始符号 (1)命题变量符号 p1, p2, p3, … ; (2)命题联结词 ?, ∧, ∨, →, ?; (3)辅助性符号 (, ),用于描述联接词的辖域或运算优先次序。 ?形成规则 (1)单独的命题变量符号是合式公式 (wff,简称公式); (2)若 A 是 wff,则 ?A 也是 wff; (3)若 A, B 是 wff,则 (A∧B), (A∨B), (A→B), (A?B) 也是 wff; (4)当且仅当有限次使用上述规则得到的才是 wff。 ?规定 ?公式最外层括号可以省略;省略括号情况下,联接词的结合按 ?, ∧, ∨, →, ? 的次序进行。 ?一般地定义:(A?B) = (A→B)∧(B→A) ?说明 ?生成合式公式的过程中,每一步所生成的公式,称为该合式公式的子式。 ?生成合式公式最后一步使用的联结词称为该公式的主联结词。 ?比如 (A∧B)→(A∨B) 中的 →;又如 A∨(A∧B) 中的 ∨。 ? 定义:变形规则 ?变形规则 (或推演规则) ?° Γ├ B?± 描述合式公式之间的语法推演关系,它只涉及公式的形式结构,与其真值含义无关。 ?“Γ├ B”表示在演绎系统 N 中“由 Γ 形式推出 B”的语法推演关系 (或语法变形), 也称为 N 的定理。其中 Γ 是元语言符号,描述 N 中的一个有限公式集合,称为规则的 前提,B 是 N 的公式,称为结论公式。

?规定 ?等价规则: (1) 若 Γ├ A∧B 则 Γ├ B∧A; (2) 若 Γ├ A∨B 则 Γ├ B∨A。 ?Γ = {p1, p2, …, p n} 时, Γ├ B 也可以写成 p1, p2, …, p n├ B ?定义:基本变形规则集 R ?每一条变形规则都指出一种语法推演关系的模式。 ?设 Γ 是 L 中的一个有限公式集,A, B, C 是 L 的公式。 (1)包含规则:若 A∈Γ 则 Γ├ A 。特别地 A├ A。 –包含规则也称为前提引入规则。 (2)前提附加:若 Γ├ A 则 Γ, B├ A 。 –前提附加规则也称为弱化规则。 –Γ, B├ A 是 Γ∪{B}├ A 的简写。 (3)否定引入:若 Γ├ A 则 Γ├ ??A。 (4)否定消去:若 Γ, ?A├ B 且 Γ, ?A├ ?B 则 Γ├ A。 –否定消去也称为反证法 (5)合取引入:若 Γ├ A 且 Γ├ B 则 Γ├ A∧B。 (6)合取消去:若 Γ├ A∧B 则 Γ├ A 且 Γ├ B。 (7)析取引入:若 Γ├ A 或 Γ├ B 则 Γ├ A∨B。 (8)析取消去:若 Γ, A├ C 且 Γ, B├ C 则 Γ, A∨B├ C –析取消去的另外描述形式:若 Γ├ A∨B,Γ, A├ C 且 Γ, B├ C 则 Γ ├C。 (9)蕴涵引入:若 Γ, A├ B 则 Γ├ A→B 。(CP 规则) (10)蕴涵消去:若 Γ├ A→B 且 Γ├ A 则 Γ├ B 。 (11)等价引入:若 Γ, A├ B 且 Γ, B├ A 则 Γ├ A?B。 –或:若 Γ├ A→B 且 Γ├ B→ A 则 Γ├ A?B。 (12)等价消去:若 Γ├ A?B 且 Γ├ A 则 Γ├ B 。 –或:若 Γ├ A?B 则 Γ├ A→B 且 Γ├B→ A。 (13)等值替换:若 A├ B, B├ A 且 Γ├ Φ(A),则 Γ├ Φ(B);Φ(A) 描述 N 的 一个含子式 A 的公式。 ?定义:基本变形规则集 R ?每一条变形规则都指出一种语法推演关系的模式,其中可以包含无数实际实现的形式,称为规则的代入实例。 ?变形规则是由形式演绎系统约定为合法的推演规则。大部分变形规则具有直观的语义意义。 ?命题逻辑自然演绎系统 N 由形式语言 L 和一组变形规则集 R 构成 ?说明:

逻辑命题公式计算

题号:第一题 题目:电梯模拟 1,需求分析: 计算命题演算公式的真值 所谓命题演算公式是指由逻辑变量(其值为TRUE或FALSE )和逻辑运算符人(AND )、 V( OR)和「( NOT )按一定规则所组成的公式(蕴含之类的运算可以用A、V和「来表示)。公式运算的先后顺序为「、人、V,而括号()可以改变优先次序。已知一个命题演算公式及各变量的值,要求设计一个程序来计算公式的真值。 要求: ( 1)利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式;然后根据后缀形式, 从 叶结点开始构造相应的二叉树;最后按后序遍历该树, 求各子树之值, 即每到达一个结点, 其子树之值已经计算出来, 当到达根结点时, 求得的值就是公式之真值。 ( 2)逻辑变元的标识符不限于单字母,而可以是任意长的字母数字串。 ( 3)根据用户的要求显示表达式的真值表。 2,设计: 2.1 设计思想: <1> ,数据结构设计: (1) 线性堆栈1 的数据结构定义 typedef struct { DataType stack [MaxStackSize]; int top; /* 当前栈的表长*/ } SeqStack; 用线性堆栈主要是用来存储输入的字符, 它的作用就是将中缀表达式变成后缀表达式。 (2) 线性堆栈2 的数据结构定义 typedef struct { BiTreeNode *stack [MaxStackSize]; int top; /* 当前栈的表长*/ } TreeStack; 这个堆栈和上面的堆栈的唯一不同就是它们存储的数据的类型不同, 此堆栈存储的是树节点,它的作用是将后缀表达式构成一棵二叉树。 (3)树节点数据结构定义typedef struct Node { DataType data; struct Node *leftChild; struct Node *rightChild; }BiTreeNode; <2>算法设计详细思路如下:首先实现将中缀表达式变成后缀表达式:在将中缀表达式变成后缀表达式的

离散数学答案命题逻辑

第二章 命题逻辑 习题2.11.解 ⑴不是陈述句,所以不是命题。 ⑵x 取值不确定,所以不是命题。 ⑶问句,不是陈述句,所以不是命题。 ⑷惊叹句,不是陈述句,所以不是命题。 ⑸是命题,真值由具体情况确定。 ⑹是命题,真值由具体情况确定。 ⑺是真命题。 ⑻是悖论,所以不是命题。 ⑼是假命题。 2.解 ⑴是复合命题。设p :他们明天去百货公司;q :他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句,所以不是命题。 ⑶是悖论,所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p :王海在学习;q :李春在学习。命题符号化为p ∧q 。 ⑹是复合命题。设p :你努力学习;q :你一定能取得优异成绩。p →q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p :王海是女孩子。命题符号化为:?p 。 3.解 ⑴如果李春迟到了,那么他错过考试。 ⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试,那么他没有通过考试。 4.解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题2.2 1.解 ⑴是1层公式。 ⑵不是公式。 ⑶一层: p ∨q ,?p 二层:?p ?q 所以,)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p →q )∧?(?q ?( q →?r ))是5层公式,这是因为 一层:p →q ,?q ,?r 二层:q →?r 三层:?q ?( q →?r ) 四层:?(?q ?( q →?r )) 2.解 ⑴A =(p ∨q )∧q 是2层公式。真值表如表2-1所示: 表2-1 ⑵p q p q A →→∧= )(是3层公式。真值表如表2-2所示:

命题逻辑命题自然推理

11.自然推理·命题自然推理的基本规则·归谬规则 什么是自然推理 自然推理是判定推理形式有效性的又一种方法。自然推理的基本思想是确定一些推理规则,这些规则具有保真性,也就是说,依据这些规则,从真前提只会推出真结论。因此,从所要判定的推理的前提出发,依据这些规则,如果能形式地推出预期的结论,这就说明该推理如果前提真,结论就一定真,因而是有效的。当然,如果不能如此地推出预期的结论,尚不能就此断定推理是无效的,要判定推理的无效,还要用其他的方法。因此,自然推理不是一种能行方法。 自然推理区别于一般公理化推理之处在于,作为推理依据的只有推理规则,没有公理。这似乎更符合人们日常思维的自然习惯,因此,称之为自然推理。 本章只讨论用自然推理判定命题推理,因此,称之为命题自然推理。 命题自然推理的基本规则 命题白然推理包括三条基本规则: 规则P 在一个推导的任意—步,都可以引人任意一个真值形式作为前提。 规则T 在一个推导中.如果有一些先行出现的真值形式的合取重言地蕴涵A ,则可以在该推导中引人A 。 规则D 在一个推导中,,如果从一前提集和A 能推出B ,则从该前提集能推出A →B 。 所谓A 重言地蕴涵B ,就是指A →B 是重言式;自然,所谓n A A ,,1 的合取重言地蕴涵B ,就是指→∧∧n A A 1B 是重言式。在求合取范式时,前面列出的常用重言式是被确认的基础;规则T 的运用,同样以这些常用重言式为基础。 不难证明,基于这三条基本规则的命题自然推理具有保真性,即从真前提不会推出假结论。 下面通过实例来说明如何构造命题自然推理。 [例1] 如果工资提高(p),或者物价提高(q),则将有通贷膨胀(r)。如果通货膨胀,则或者国家将采取紧缩政策(s),或者人民将遭受损失(t)。如果人民遭受损失,改革就会失去人心

公务员考试命题逻辑

命题逻辑 把单个的命题作为不再分析的整体,用命题联结词把这些命题连接起来,组成更复杂的命题,简称“复合命题”,然后去研究这些复合命题的逻辑性质以及相互之间的推理关系,由此得到的逻辑理论叫做“命题逻辑”。 第一节命题联结词和复合命题 一、日常语言中的简单命题和复合命题 在逻辑中,根据一个命题是否还包含其他命题的标准,可以将命题分为两类:简单命题和复合命题。 顾名思义,简单命题应该是“最简单的”,它自身不再包含别的命题。例如: (1)天下乌鸦一般黑。 (2)桂林山水甲天下。 都是典型的简单命题,我们不能从其中找到其他的命题,尽管可以将其分析为不同的语法成分或逻辑组分,如“乌鸦”、“黑”、“桂林山水”等,但这些成分都不足以称之为“命题”。正是因为不可以分解为其他的命题,简单命题又称“原子命题”。 复合命题,则是包含其他命题的命题。例如: (3)林岗既不喜欢踢足球,也不喜欢打篮球。 (4)只有心胸宽广,才能做出一番大事业。 (5)如果学习认真并且方法得当,那么一定能取得好成绩。 就是复合命题,其中包含了更为简单的命题,(3)包含了“林岗不喜欢踢足球”和“林岗不喜欢打篮球”两个更为简单的命题,(4)含有“心胸宽广”和“能做出一番大事业”两个命题,(5)则包含有“学习认真并且方法得当”和“一定能取得好成绩”两个更简单的命题。在复合命题包含有原子命题的意义上,它又被称作“分子命题”。作为复合命题基本组成部分的较简单的命题,被称为支命题。复合命题的支命题既可以是简单命题,如(4)中的“心胸宽广”和“能做出一番大事业”,也可以自身是复合命题,如(5)中的“学习认真并且方法得当”,它就可以进一步分析为由“学习认真”和“方法得当”两个简单命题所组成。 由上述的复合命题结构可以看出,复合命题是用一定的联结词联结支命题而形成的。如(3)就是由联结词“既……也……”联结相应的两个支命题所构成,(4)则是用联结词“只有……才……”联结两个支命题所构成。因此,复合命题是由支命题和联结词两个部分组成。联结词既体现了支命题相互之间的关系,又表现了各支命题与复合命题之间的关系,它决定了复合命题的类型。一般地,根据联结词的不同,可以将复合命题分为四类:联言命题、选言命题、假言命题和负命题。 如果一个复合命题断言两种事物情况都成立,那么就称这样的命题为联言命题。上述的复合命题(3)就是一个联言命题。在日常语言中,可以用来构成联言命题的联结词很多,除了“既……也……”之外,还有“……并且……”、“虽然……但是……”、“尽管……还是……”、“不但……而且……”和“不仅……还……”等多个。 若复合命题在两种事物情况中做出选择性断言,即不确定两种事物情况中哪一个成立,但肯定其中至少有一个(或者有且仅有一个)成立,则称这样的命题是选言命题。例如: (6)要么改革开放,要么闭关锁国。 (7)或者刮风,或者下雨。 除了上述的“要么……要么……”和“或者……或者……”外,日常语言用以构成选言命题的联结词还有“……否则……”和“……和……,二者必取其一”。 复合命题若是断言事物情况之间的条件联系,则称它是假言命题,又称条件命题。例如:

相关主题
文本预览
相关文档 最新文档