(完整word版)常用逻辑用语知识点归纳,推荐文档

合集下载

常用逻辑用语-知识点+习题+答案

常用逻辑用语-知识点+习题+答案

常用逻辑用语知识点1、命题:用语言、符号或式子表达的,可以判断真假的陈述句. 真命题:判断为真的语句. 假命题:判断为假的语句.2、“若p ,则q ”形式的命题中的p 称为命题的条件,q 称为命题的结论.3、对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,则这两个命题称为互逆命题.其中一个命题称为原命题,另一个称为原命题的逆命题. 若原命题为“若p ,则q ”,它的逆命题为“若q ,则p ”.4、对于两个命题,如果一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,则这两个命题称为互否命题.中一个命题称为原命题,另一个称为原命题的否命题. 若原命题为“若p ,则q ”,则它的否命题为“若p ⌝,则q ⌝”.5、对于两个命题,如果一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定,则这两个命题称为互为逆否命题.其中一个命题称为原命题,另一个称为原命题的逆否命题.若原命题为“若p ,则q ”,则它的否命题为“若q ⌝,则p ⌝”. 6、四种命题的真假性:四种命题的真假性之间的关系:()1两个命题互为逆否命题,它们有相同的真假性;()2两个命题为互逆命题或互否命题,它们的真假性没有关系.7、若p q ⇒,则p 是q 的充分条件,q 是p 的必要条件. 若p q ⇔,则p 是q 的充要条件(充分必要条件).8、用联结词“且”把命题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 ⌝必是真命题.9、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词,用“∀”表示. 含有全称量词的命题称为全称命题.全称命题“对M 中任意一个x ,有()p x 成立”,记作“x ∀∈M ,()p x ”. 短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词,用“∃”表示. 含有存在量词的命题称为特称命题.特称命题“存在M 中的一个x ,使()p x 成立”,记作“x ∃∈M ,()p x ”.10、全称命题p :x ∀∈M ,()p x ,它的否定p ⌝:x ∃∈M ,()p x ⌝.全称命题的否定是特称命题. 练习题1、一个命题与他们的逆命题、否命题、逆否命题这4个命题中( )A 、真命题与假命题的个数相同B 、真命题的个数一定是奇数C 、真命题的个数一定是偶数D 、真命题的个数可能是奇数,也可能是偶数 2、下列说法中正确的是( )A 、一个命题的逆命题为真,则它的逆否命题一定为真B 、“a b >”与“ a c b c +>+”不等价C 、“220a b +=,则,a b 全为0”的逆否命题是“若,a b 全不为0, 则220a b +≠”D 、一个命题的否命题为真,则它的逆命题一定为真3、“用反证法证明命题“如果x<y ,那么51x <51y ”时,假设的内容应该是( ) A 、51x =51yB 、51x <51yC 、51x =51y 且51x <51yD 、51x =51y 或51x >51y4、“a ≠1或b ≠2”是“a +b ≠3”的( )A 、充分不必要条件B 、必要不充分条件C 、充要条件D 、既不充分也不必要 5、函数f (x )=x|x+a|+b 是奇函数的充要条件是( ) A 、ab =0 B 、a +b=0 C 、a =b D 、a 2+b 2=0 6、“若x ≠a 且x ≠b ,则x 2-(a +b )x +ab ≠0”的否命题( ) A 、 若x =a 且x =b ,则x 2-(a +b )x +ab =0 B 、 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 、D 、若x =a 或x =b ,则x 2-(a +b )x +ab =07、“12m =”是“直线(m+2)x+3my+1=0与直线(m+2)x+(m-2)y-3=0相互垂直”的( ) A 、充分不必要条件 B 、必要不充分条件 C 、充要条件 D 、既不充分也不必要8、命题p :存在实数m ,使方程x 2+mx +1=0有实数根,则“非p ”形式的命题是( ) A 、存在实数m ,使得方程x 2+mx +1=0无实根B 、不存在实数m ,使得方程x 2+mx +1=0有实根C 、对任意的实数m ,使得方程x 2+mx +1=0有实根D 、至多有一个实数m ,使得方程x 2+mx +1=0有实根9、不等式2230x x --<成立的一个必要不充分条件是( C )A 、-1<x<3B 、0<x<3C 、-2<x<3D 、-2<x<110.设集合(){}(){}(){}0,,02,,,,≤-+=>+-=∈∈=n y x y x B m y x y x A R y R x y x u ,那么点P (2,3)()B C A u ⋂∈的充要条件是( )A .m>-1,n<5B .m<-1,n<5C .m>-1,n>5D .m<-1,n>511、命题:“若0>a ,则02>a ”的否命题是12、:23A x -<, 2:2150B x x --<, 则A 是B 的_____ _条件。

(完整版)常用逻辑用语知识点,推荐文档

(完整版)常用逻辑用语知识点,推荐文档

目标认知:考试大纲要求:重点:难点::知识点一:命题:定义:“”“”能帮助判断。

如:一定推出.“”“不一定等于逻辑联结词:)复合命题的真假判断(利用真值表):非“或”.“p 且q”“p 或q”.123(4知识点二:四种命题四种命题的形式:分别表示原命题的条件和结论,用p 和q 否命题:若p 则q 逆否命题:若q 则p.建议收藏下载本文,以便随时学习!我去人也就有人!为UR扼腕入站内信不存在向你偶同意调剖沙2. 四种命题的关系: ①原命题逆否命题.它们具有相同的真假性,是命题转化的依据和途径之一. ②逆命题否命题,它们之间互为逆否关系,具有相同的真假性,是命题转化的另一依据和途径. 除①、②之外,四种命题中其它两个命题的真伪无必然联系.四种命题及其关系:关于逆命题、否命题、逆否命题,也可以有如下表述:第一:交换原命题的条件和结论,所得的命题为逆命题;第二:同时否定原命题的条件和结论,所得的命题为否命题;第三:交换原命题的条件和结论,并且同时否定,所得的命题为逆否命题;5.写出“若或,则”的逆命题、否命题、逆否命题及2=x 3=x 0652=+-x x 命题的否定,并判其真假。

解: 逆命题:若,则或,是真命题;0652=+-x x 2=x 3=x 否命题:若且,则,是真命题;2≠x 3≠x 0652≠+-x x 逆否命题:若,则且,是真命题。

0652≠+-x x 2≠x 3≠x 命题的否定:若或,则,是假命题。

2=x 3=x 0652≠+-x x 知识点三:充分条件与必要条件:1. 定义: 对于“若p 则q”形式的命题: ①若p q ,则p 是q 的充分条件,q 是p 的必要条件; ②若pq ,但qp ,则p 是q 的充分不必要条件,q 是p 的必要不充分条件; ③若既有p q ,又有qp ,记作pq ,则p 是q 的充分必要条件(充要条件).2. 理解认知:(1)在判断充分条件与必要条件时,首先要分清哪是条件,哪是结论;然后用条件推结论,再用结论 推条件,最后进行判断.(2)充要条件即等价条件,也是完成命题转化的理论依据.“当且仅当”.“有且仅有”.判断命题充要条件的三种方法建议收藏下载本文,以便随时学习!与;与;与的等价关系,对于A B A B A BB A A B.“”“,且”是的充分不必要条件“”“”是的充分必要条件678C.充要条件9知识点四:全称量词与存在量词:全称量词与存在量词:“”建议收藏下载本文,以便随时学习!“”“”“”对含有一个量词的命题进行否定::,他的否定::,他的否定:规律方法指导: ②判断其中简单命题p 和q 的真假; ③根据规定(或真假表)判断复合命题的真假. 2. 条件“或”是“或”的关系,否定时要注意.类型二:四种命题及其关系: 10. 写出命题“已知是实数,若ab=0,则a=0或b=0”的逆命题,否命题,逆否命题,并判断其真假。

(完整word版)高中数学选修11《常用逻辑用语》知识点讲义

(完整word版)高中数学选修11《常用逻辑用语》知识点讲义

第一章常用逻辑用语一、命题1、定义:能够判断真假的陈说语句,分为真命题和假命题.2、一般形式:“ 若p则q” .二、四种命题原命题:若 p则 q p q抗命题:若 q则 p q p否命题:若p则 q p q逆否命题:若q则 p q p例:原:若一个数是负数,则它的平方是正数.(真)逆:若一个数的平方是正数,则这个数是负数.(假 )否:若一个数不是负数,则它的平方不是正数.(假 )逆否:若一个数的平方不是正数,则这个数不是负数.(真 )结论 :①互为逆否的命题同真,同假.②原命题与抗命题、原命题与否命题的真假没关.三、充足条件与必需条件1、若 p q , 称 p是 q的充足条件, q是 p的必需条件 .2、若 p q, 称 p不是 q的充足条件, q不是 p的必需条件 .3、若 p q并且 q p, 记作“ p q” , 称 p是q的充足必需条件,简称p是 q的充要条件 .注:能够借助会合关系来判断:p q p是 q的充足条件 .p q p是 q的充足不用要条件 .例:“ 福州人” “ 福建人” 会合“ 福州人”“ 福建人” 命题“福州人”是“福建人”的充足条件 .“福建人”是“福州人”的必需条件 .四、复合命题真假的表格.1、2、3、五、全称量词、存在量词1、全称命题 p :x M , P x2、特称命题 p : x0M , P x0它的否认 p :x M , P x0它的否认 p : x M , P x例:“ 四边形都有外接圆”P :四边形ABCD ,都有A、B、C、D共圆.全称命题P : 四边形 A1 B1C1D1此中A1 + C1 =200,此中 A、 B、 C、D不共圆 . 特称命题“存在 x0R,使 x02 +2x020 "P : x0R,使 x02 +2x020P : x R, x2 +2x 20。

常用逻辑用语(命题及其关系)

常用逻辑用语(命题及其关系)

常用逻辑用语(命题及其关系)知识点一、命题定义:一般地,我们用语言、符号或式子表达的,可以判断真假的陈述句,叫做命题;其中判断为正确的命题,为真命题;判断为不正确的命题,为假命题。

辨析:能够分辨哪一个是命题及其真假①判断一个语句是否是命题,关键在于能否判断其真假。

语句可分为疑问句、祈使句、感叹句与陈述句。

一般的,只有陈述句能分辨真假,其他类型的句子无所谓真假,我们把每个能分辨真假的陈述句作为一个命题。

②对于一个句子,有时我们可能无法判断其真假,但对这个句子却是有真假的,如:“太阳系外存在外星人”,对于这个句子所描述的情形,目前确定其真假,但从事物的本质而言,句子本身是可以判断其真假的。

这类语句也称为命题。

语句是不是命题,关键在于能不能判断其真假,也就是判断其是否成立。

③不判断真假的语句,就不能叫命题。

“ X<2”。

知识点二、四种命题1.原命题与逆命题即在两个命题中,如果第一个命题的条件(或题设)是第二个命题的结论,且第一个命题的结论是第二个命题的条件,那么这两个命题叫做互逆命题;如果把其中一个命题叫做原命题,那么另一个叫做原命题的逆命题.例如,如果原命题是:⑴同位角相等,两直线平行;它的逆命题就是:⑵两直线平行,同位角相等2.否命题与逆否命题即在两个命题中,一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定,这样的两个命题就叫做互否命题,若把其中一个命题叫做原命题,则另一个就叫做原命题的否命题.例如,⑶同位角不相等,两直线不平行;⑷两直线不平行,同位角不相等3.原命题与逆否命题即在两个命题中,一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定,这样的两个命题就叫做互为逆否命题,若把其中一个命题叫做原命题,则另一个就叫做原命题的否命题.4.四种命题的形式一般到,我们用p和q分别表示原命题的条件和结论,用「种命题的形式就是:原命题:若p则q; 逆命题:若q则p ;否命题:若「p则「q;逆否命题:若「q贝归p.【例1】判断下列命题的真假。

高三一轮复习:常用逻辑用语

高三一轮复习:常用逻辑用语

常用逻辑用语一、【知识梳理】(一)四种命题及其关系:1、一般地,用p 和q 分别表示原命题的条件和结论,用p ⌝和q ⌝分别表示p 和q 的否定,于是四种命题的形式就是:原命题:若p ,则q ;逆命题: ; 否命题: ; 逆否命题: 。

2、一个命题的真假与其他三个命题的真假有如下关系: (1)原命题为真,它的逆命题不一定为真;(2)原命题为真,它的否命题不一定为真; (3)原命题为真,它的逆否命题一定为真;(4)逆命题为真,它的否命题一定为真。

(二)充分条件和必要条件:1、“若p 则q ”是真命题,即q p ⇒;“若p 则q ”为假命题,即q p ⇒。

2、 (1)若q p ⇒,但q p ⇐,则p 叫q 的 ;(2)若q p ⇒,但q p ⇐,则p 叫q 的 ;(3)若q p ⇒,且q p ⇐,则p 叫q 的 ;(4)若q p ⇒,且q p ⇐,则p 叫q 的 ; 3、证明p 是q 的充要条件分两步:(1)充分性,把p 当作已知条件,结合命题的前提条件,推理论证得出q ; (2)必要性:把q 当作已知条件,结合命题的前提条件,推理论证得出p ;(三)逻辑联结词:1、或、且、非这些词叫做逻辑联结词。

或:两个命题中至少一个成立; 且:两个命题都成立; 非:对一个命题的否定;2、了解真值表:(四)含有一个量词的命题:1、短语“对所有的”“对任意一个”在逻辑中通常叫做全称量词,用符号“∀”表示,含有全称量词的命题,叫做全称命题。

2、将含有变量x 的语句用p(x)、q(x)、r(x )……表示,变量x 的范围用M 表示,那么全称命题“对M 中任意一个x ,有p(x)成立”可用符号简记为 。

3、短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,用符号“∃”表示,含有存在量词的命题,叫做存在性命题。

4、存在性命题“存在M 中的一个x ,使p(x)成立”可用符号简记为 。

5、全称命题M x ∈∀,p(x),它的否定: ,全称命题的否定是存在性命题。

(完整版)常用逻辑用语知识点总结

(完整版)常用逻辑用语知识点总结

常用逻辑用语—、命题1、命题的概念在数学中用语言、符号或式子表达的,可以判断真假的陈述句叫做命题•其中判断为真的语句叫做真命题,判断为假的语句叫做假命题.2、四种命题及其关系(1) 、四种命题(2) 、四种命题间的逆否关系(3) 、四种命题的真假关系**两个命题互为逆否命题,它们有相同的真假性;*两个命题为互逆命题或互否命题,它们的真假性没有关系.、充分条件与必要条件1、定义1 .如果p? q,则p是q的充分条件,q是p的必要条件.2•如果p? q, q? p,则p是q的充要条件.2、四种条件的判断1.如果若p则q ”为真,记为p q,如果若p则q ”为假,记为p q .2.若p q,则p是q的充分条件,q是p的必要条件3.判断充要条件方法:p q p q(1 )定义法:①p是q的充分不必要条件p q ②p是q的必要不充分条件p qp q p q③p是q的充要条件q p ④p是q的既不充分也不必要条件p q(2)集合法:设P={p}, Q={q},①若P Q,则p是q的充分不必要条件,q是p的必要不充分条件②若P=Q,则p是q的充要条件(q也是p的充要条件).③若P g.Q且Q ^ P,则p是q的既不充分也不必要条件.(3)逆否命题法:①q是p的充分不必要条件p是q的充分不必要条件②q是p的必要不充分条件p是q的充分不必要条件③q是p的充分要条件p是q的充要条件④q是p的既不充分又不必要条件p是q的既不充分又不必要条件三、简单的逻辑联结词⑴命题中的且”或”非”叫做逻辑联结词.①用联结词且”联结命题p和命题q,记作p A q,读作p且q”.②用联结词或”联结命题p和命题q,记作p V q,读作p或q”.③对一个命题p全盘否定,就得到一个新命题,记作?p,读作非p”或p的否定(2)简单复合命题的真值表:*p A q:p、q有一假为假, *p V q:一真为真, .四、量词1、全称量词与存在量词(1)常见的全称量词有:任意一个” 一切”每一个”任给”所有的”等.(2)常见的存在量词有:存在一个”至少有一个”有些”有一个”某个”有的”等.(3)全称量词用符号?”表示;存在量词用符号? ”表示.2全称命题与特称命题(1) 含有全称量词的命题叫全称命题:对M中任意一个x,有p(x)成立”可用符号简记为?x€ M, p(x),读作对任意x属于M,有p(x)成立”.(2) 含有存在量词的命题叫特称命题:存在M中的一个x o,使p(x o)成立"可用符号简记为?x o€ M , P(x o),读作存在M中的兀素x o,使p(x o)成立”3 命题的否定(1) 含有量词命题的否定全称命题p:x M , p(x) 的否定p:x M, p x ;全称命题的否定为存在命题存在命题p:x M, p x 的否定p:x M , p x ;存在命题的否定为全称命题其中p x p (x)是一个关于x的命题.(2) 含有逻辑连接词命题的否定“p 或q ”的否定:“ p 且q” ;p且q ”的否定:“ p或q”(3) “若p则q “命题的否定:只否定结论特别提醒:命题的“否定”与“否命题”是不同的概念,命题的否定:只否定结论;否命题:全否对命题p的否定(即非p)是否定命题p所作的判断,而否命题”是若p则q ”。

(完整word版)逻辑学基础复习要点

(完整word版)逻辑学基础复习要点

逻辑学基础期末复习要点第一章引论1、普通逻辑是研究思维的思维形式及其基本规律以及简单逻辑方法的科学。

2、任何一种逻辑形式都是由逻辑常项和逻辑变项两部分构成的。

逻辑形式之间的区别,主要看他们的逻辑常项。

第二章概念1、概念:概念是反映思维对象本质属性的思维形式,或者说概念是思维对象本质属性的反映。

2、概念与语词的联系与区别:(1)联系:语词是概念的语言形式,概念是语词的思维形式。

(2)区别:第一,概念是思维形式,语词是语言形式;第二,概念借助语词表达,但不是所有的语词都表达概念;第三,同一概念可用不同的语词表达;第四,同一语词在不同的语境中可以表达不同概念。

3、内涵和外延是概念的基本特征。

内涵就是反映在概念中的对象的本质属性;外延是对思维对象范围的反映。

4、单独概念和普遍概念:单独概念是反映一个单独对象的概念,外延数量只有一个;普遍概念是反映两个以上对象的概念,外延数量是两个以上。

5、集合概念和非集合概念:集合概念是反映集合体的概念,集合体所具有的属性,个体不必然具有;非集合体是反映非集合体的概念,类不是集合体,所以,反映类的概念是非集合概念。

6、正概念与负概念:正概念又称肯定概念,是反映具有某种属性事物的概念;负概念又称否定概念,是反映不具有某种属性事物的概念,负概念都有否定词,但是具有否定词的概念不都是负概念。

7、概念间的关系(1)同一关系(全同关系):若所有的a都是b,所有的b都是a,则a、b之间为同一关系(全同关系);(2)真包关系(属种关系):若所有的b都是a,但有的a不是b,则a、b之间为真包关系(属种关系);(3)真包含于关系(种属关系):若所有的a都是b,但有的b不是a,则a、b之间为真包含于关系(种属关系);(4)交叉关系:若有的a 是b ,有的a 不是b ,有的b 是a ,有的b 不是a ,则a 、b 之间为交叉关系;(5)全异关系(不相容关系):若所有的a 都不是b ,所有的b 都不是a ,则a 、b 之间为全异关系,包含矛盾关系和反对关系;矛盾关系: 反对关系:8、概念的限制和概括的依据——具有属种关系的概念内涵与外延之间的反变关系9、概念的限制:是通过增加概念的内涵来缩小概念的外延,即由属概念过渡到它的种概念的方法。

常用逻辑用语知识总结

常用逻辑用语知识总结

常用逻辑用语知识总结1.复合命题真假的判断。

“或命题”的真假特点是“一真即真,要假全假”;“且命题”的真假特点是“一假即假,要真全真”;“非命题”的真假特点是“真假相反”。

如在下列说法中:⑴“p 且q ”为真是“p 或q ”为真的充分不必要条件;⑵“p 且q ”为假是“p 或q ”为真的充分不必要条件;⑶“p 或q ”为真是“非p ”为假的必要不充分条件;⑷“非p ”为真是“p 且q ”为假的必要不充分条件。

其中正确的是__________(答:⑴⑶)2.四种命题及其相互关系。

若原命题是“若p 则q ”,则逆命题为“若q 则p ”;否命题为“若﹁p 则﹁q ” ;逆否命题为“若﹁q 则﹁p ”。

提醒:(1)互为逆否关系的命题是等价命题,即原命题与逆否命题同真、同假;逆命题与否命题同真同假。

但原命题与逆命题、否命题都不等价;(2)在写出一个含有“或”、“且”命题的否命题时,要注意“非或即且,非且即或”;(3)要注意区别“否命题”与“命题的否定”:否命题要对命题的条件和结论都否定,而命题的否定仅对命题的结论否定;(4)对于条件或结论是不等关系或否定式的命题,一般利用等价关系“A B B A ⇒⇔⇒”判断其真假,这也是反证法的理论依据。

(5)哪些命题宜用反证法?如(1)“在△ABC 中,若∠C=900,则∠A 、∠B 都是锐角”的否命题为(答:在ABC ∆中,若90C ∠≠,则,A B ∠∠不都是锐角);(2)已知函数2(),11x x f x a a x -=+>+,证明方程0)(=x f 没有负数根。

3.充要条件。

关键是分清条件和结论(划主谓宾),由条件可推出结论,条件是结论成立的充分条件;由结论可推出条件,则条件是结论成立的必要条件。

从集合角度解释,若B A ⊆,则A 是B 的充分条件;若B A ⊆,则A 是B 的必要条件;若A=B ,则A 是B 的充要条件。

如(1)给出下列命题:①实数0=a 是直线12=-y ax 与322=-y ax 平行的充要条件;②若0,,=∈ab R b a 是b a b a +=+成立的充要条件;③已知R y x ∈,,“若0=xy ,则0=x 或0=y ”的逆否命题是“若0≠x 或0≠y 则0≠xy ”;④“若a 和b 都是偶数,则b a +是偶数”的否命题是假命题 。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

常用逻辑用语知识点归纳
1. 四种命题,(原命题、否命题、逆命题、逆否命题)
(1)四种命题的关系,
(2)等价关系(互为逆否命题的等价性)
(a)原命题与其逆否命题同真、同假。

(b)否命题与逆命题同真、同假。

2. 充分条件、必要条件、充要条件
(1)定义:若p成立,则q成立,即p q时,p是q的充分条件。

同时q是p的必要条件。

若p成立,则q成立,且q成立,则p成立,即p q且q p,则p与q互为充要条件。

(2)判断方法:
(i)定义法,
(ii)集合法:设使p成立的条件组成的集合是A,使q成立的条件组成的集合为B,若A B则p 是q的充分条件。

同时q是p的必要条件。

若A=B,则p与q互为充要条件。

(iii)命题法:假设命题:"若p则q”当原命题为真时,p是q的充分条件。

当其逆命题也为真时,p与q互为充要条件。

注意:充分条件与充分非必要条件的区别:
用集合法判断看,前者:集合A是集合B的子集;后者:集合A是集合B的真子集。

3. 全称命题、特称命题(含有全称量词的命题叫全称命题,含有存在量词的命题叫特称命题)
(1)关系:全称命题的否定是特称命题,特称命题的否定是全称命题。

(2)全称量词与存在量词的否定。

4.逻辑连结词“或”,“且”,“非”。

(1)构造复合命题的方式:简单命题+逻辑连结词(或、且、非)+简单命题。

(2)复合命题的真假判断:
注意:“命题的否定”与“否命题”是两个不同的概念:前者只否定结论,后者结论与条件共同否定。

相关文档
最新文档