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

1.1命题逻辑

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

数理逻辑部分 第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 、若一个平面内有三个点到另一个平面的距离相等,则这两个平面平行

命题逻辑练习题附答案

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

逻辑学基本内容

逻辑学 第二章性质命题 一性质命题的四种形式 1 全称肯定判断 形式:所有S是P,写作SAP,简称A判断 2 全称否定判断 形式:所有S不是P,写作SEP 简称E判断 3 特称肯定判断 形式:有些S是P,写作SIP,简称I判断。 4 特称否定判断 形式:有些S不是P,写作SOP ,简称O判断 三词项的周延性:主谓项概念外延数量的断定情况 1、周延性是对主谓项外延情况的形式断定,而非实际存在情况的断定。单称命题的 周延性与全称命题同。 2 、“是”P 则P不周延,“不是P”,则P周延 主词相同和谓词相同称同素材性质命题。 同素材性质命题的全称肯定命题、全称否定命题、特称肯定命题和特称否定命题之间存在着某种真假关系,这种关系亦称对当关系。 二同素材性质命题的逻辑方阵 刻画“对当关系”的图示,俗称“逻辑方阵”,逻辑方阵假词主词对象是存在的。 四性质命题的变形推理 1 换质法:换质不换位,谓项正负反 换位法:换位不换质,主谓莫扩展 是通过调换主谓词项的位置得到一新命题。换位不改变命题的质。 根据源命题和换位命题的量项是否相同可把换位法区分为单纯换位和限量换位两种。 1 单纯换位:换位命题和原命题的量项相同的换位法,为单纯换位 (1)所有S不是P 换位所有P不是S SEP PES (2)有的S是P, 换位:有的P是S SIP PIS 2 限量换位:改变原命题的量的换位法 (1)所有S是P,换位:有的P是S SAP PIS (2)SAP PAS (3)SOP命题不能换位 SOP POS 3 换质位法:先换质后换位,也可先换位后换质 有的S是P,换质为有的S不是非P ,这SOP 不能换位 换位法是演绎推理,演绎推理的特点是若前提是真的,推出的结论也应该是真的。

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

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

哲学的逻辑表达与逻辑的哲学分析从概念定义与命题理论看莱精

哲学的逻辑表达与逻辑的哲学分析一一从概念、定 义与命题理论看莱布尼兹的逻辑哲学观 [摘要]本文重点阐述了莱布 尼兹 的逻辑思想,了他的逻辑学对 他的 形而上学的意义,指出了泛逻 辑主 义解释的局限,探讨了他的概 念、 定义理论和命题理论的基本 及其对 逻辑哲学的贡献。 莱布尼兹是近代普遍语言计划的真正实施者 辑的三大,而且提出了逻辑演算的七条公理 S .205]他继亚里斯多德之后对逻辑与形而上学的关系进行了全面的考察 了二者在根本上一致的思想。他对概念、定义、命题的论述 对分析命题与综合命题的区分成了康德哲学和胡塞 尔现象学的重要思想资源。下面 将从三个方面来论述莱布尼兹的逻辑哲学观。 逻辑学对形而上学的意义 自亚里斯多德以来,逻辑学便与形而上学、认识论有着密切的关系。形而上学一直被视 为“关于存在之为存在”的学问,被视为追求世界的第一原理和最终根据的学问 ,而逻 辑学一向被看作思维形式和规律的学问。近代哲学所实现的认识论转折不仅为逻辑学 与形而上学的内在联系的重构提供了新的机会 ,而且扩大了两者的论域和视野。在十七 世纪哲学家中,莱布尼兹最为明确,最为完整地表述了逻辑哲学的基本思想。在他那里 , 逻辑既是理智的伟大工具,又是表达哲学真理 的根本,也是哲学研究的基本原则,因为在 他看来,“通过理智创造的一切可以通过完善 的逻辑规则创造出来”。 布尼兹试图通过确立逻辑理性的价值把传统意 义上的哲学建立在牢固的基础上 发现哲学缺乏一种明晰性和确实性。因此 念、命题和推理具有确实性。在《人类理智新论》中他赞同这样一种观点 用,就是造成一些语词 理。” [3 — p 375] 按莱布尼兹的分类观念 重,各有其价值和意义 [关键词]主谓项逻辑学 泛逻辑主义 定义理论命题理论 ,他不但用符号化的方式重新表述了形式逻 ,从而开始了逻辑数学化的工作。[1 — ,并首次提出 ,对逻辑的有激励作用,他 ,我 [2 — S .523]莱 ,因为他 ,他希望对哲学进行逻辑化改造从而使哲学概 :“哲学的功 ,以求给人确切的概念,并求其在一般命题中表达确定的真 ,对所有学说的真理有两种主要处理方法 ,每种处理方法各有所 ,但最好的方法是把它们结合起来,因为它们相互补充,相得益

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

第一章命题逻辑 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,需求分析: 计算命题演算公式的真值 所谓命题演算公式是指由逻辑变量(其值为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所示:

(完整word版)命题与逻辑联结词(基础+复习+习题+练习)

课题:命题及逻辑连接词 考纲要求: ①理解命题的概念. ②了解“若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、概念:反映事物特有属性的思维形式。 单独概念:是指仅反映一个特定对象的概念,它的外延是一个独一无二的事物。 普遍概念:是指由若干个分子所组成的类的概念。它的外延包括许多的对象。 集合概念:把一类对象作为一个集合体来反映的概念。 非集合概念:不把一类对象作为一个集合体来放映的概念。 正概念:反映对象具有某种属性的概念。 负概念:反映对象不具有某种属性的概念。只有带否定词并使用其含义的,才是负概念。论域:指一个正概念与其相对的负概念所反映的对象组成的类。 定义:就是揭示概念内涵的逻辑方法。揭示概念所反映的事物的特有属性的方法。 划分:揭示概念外延的逻辑方法。就是将外延较大的属概念根据一定的标准,划分出若干个外延较小的概念,从而明确概念全部外延的逻辑方法。 概念的限制:通过增加概念的内涵,以减少概念的外延的逻辑方法。 即概念的限制就是从属概念过渡到种概念的逻辑方法。 不研究具体命题内容上真假,只研究命题形式真假性质和命题形式之间的真假关系。模态命题:就是包含“必然”等模态词的命题。 复合命题:就是包含其他命题的命题,包括联言命题、选言命题、假言命题和负命题。 简单命题:就是没有包含其他命题的命题,主要包括直言命题和关系命题。 推理:就是由一或若干个命题推出另一个命题的思维形态。 直言命题:就是陈述事物具有或不具有某种性质的命题。(性质命题) 肯定命题:就是陈述事物具有某种性质的命题。联项一般用“是”表示。 单称命题:就是陈述一个特定事物具有或不具有某种性质的命题。主项专有名词,不需量词。全称命题:陈述一类事物的全部分子都具有或不具有某种性质的命题。主项普遍概念,量省。特称命题:就是陈述一类事物中至少存在着一事物具有或不具有某种性质的命题。 主项普遍概念,量项不可省为“有的、有些” (其逻辑含义就是“有”即至少有一个,不排斥全部) 周延性:是直言命题主项与谓项在量的方面的逻辑特征,是直言命题形式中对主项或谓项的全部外延的陈述情况。在一个直言命题形式中,如果陈述了它的主项或谓项的全部 外延,那么其主项或谓项就是周延的。 直言直接推理:就是前提只有一个命题的直言推理。 A:全称肯定 E:全称否定 I:特称坑定 O:特称否定 反对关系:A与E之间的关系是:不能同真,得以同假。即,当一个真时,另一个必假; 当一个假时,另一个真假不定。 矛盾关系:AO、EI之间的关系是:既不能同真也不能同假。即,一个为真时,另一个必假; 当一个为假时,另一个必真。 等差关系:AI/EO之间的真假关系:全称真,特称必真;全称假,特称真假不定;特称假,全称必假;特称真,全称真假不定。 下反对关系:IO之间的真假关系:不能同假,可以同真。即当一个假时,另一个必真;当

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