内容发布更新时间 : 2024/12/27 5:57:52星期一 下面是文章的全部内容请认真阅读。

第一章 常用逻辑用语

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、短语“对所有的”、“对任意一个”在逻辑中通常称为全称量词，用“?”表示． 含有全称量词的命题称为全称命题．

全称命题“对?中任意一个x，有p?x?成立”，记作“?x??，p?x?”． 短语“存在一个”、“至少有一个”在逻辑中通常称为存在量词，用“?”表示． 含有存在量词的命题称为特称命题．

特称命题“存在?中的一个x，使p?x?成立”，记作“?x??，p?x?”．

10、全称命题p：?x??，p?x?，它的否定?p：?x??，?p?x?．全称命题的否定是特称命题．

第1页 共6页

第一章常用逻辑用语测试题

一、 选择题（每道题只有一个答案，每道题5分，共60分）

1、一个命题与他们的逆命题、否命题、逆否命题这4个命题中（ ） A、真命题与假命题的个数相同 B真命题的个数一定是奇数

C真命题的个数一定是偶数 D真命题的个数可能是奇数，也可能是偶数 2、下列命题中正确的是（ ）

①“若x2?y2?0，则x,y不全为零”的否命题 ②“正多边形都相似”的逆命题 ③“若m?0，则x2?x?m?0有实根”的逆否命题 ④“若x?3是有理数，则x是无理数”的逆否命题

A、①②③④ B、①③④ C、②③④ D、①④

3、“用反证法证明命题“如果x?y，那么x?y”时，假设的内容应该是（） A、x?y1515

1515B、x?y1515

C、x?y且x?y15151515

D、x?y或x?y

151515154、“a?1或b?2”是“a?b?3”的（ ）

A、充分不必要条件 B、必要不充分条件 C、充要条件 D、既不充分也不必要 5、设甲是乙的充分不必要条件，乙是丙的充要条件，丁是丙的必要非充分条件，则甲是丁的 A、充分不必要条件 B、必要不充分条件 C、充要条件 D、既不充分也不必要 6、函数f(x)?x|x?a|?b是奇函数的充要条件是（ ）

A、ab?0 B、a?b?0 C、a?b D、a2?b2?0 7、“若x?a且x?b，则x2?(a?b)x?ab?0”的否命题（） A、若x?a且x?b，则x2?(a?b)x?ab?0 B、若x?a或x?b，则x2?(a?b)x?ab?0 C、若x?a且x?b，则x2?(a?b)x?ab?0 D、若x?a或x?b，则x2?(a?b)x?ab?0

1”是“直线(m?2)x?3my?1?0与直线(m?2)x?(m?2)y?3?0相互垂直”的（ ） 2A、充分不必要条件 B、必要不充分条件 C、充要条件 D、既不充分也不必要

8、“m?9、命题p：存在实数m，使方程x2?mx?1?0有实数根，则“非p”形式的命题是（ ） A、存在实数m，使得方程x2?mx?1?0无实根 B、不存在实数m，使得方程x2?mx?1?0有实根 C、对任意的实数m，使得方程x2?mx?1?0有实根

第2页 共6页

D、至多有一个实数m，使得方程x2?mx?1?0有实根

10.若\a?b?c?d\和\a?b?e?f\都是真命题,其逆命题都是假命题，则\c?d\是\e?f\的( )

A.必要非充分条件 B.充分非必要条件 C.充分必要条件 D.既非充分也非必要条件 11.在下列结论中，正确的是（ ）

①\p?q\为真是\p?q\为真的充分不必要条件 ②\p?q\为假是\p?q\为真的充分不必要条件 ③\p?q\为真是\?p\为假的必要不充分条件 ④\?p\为真是\p?q\为假的必要不充分条件 A. ①② B. ①③ C. ②④ D. ③④

12.设集合u???x,y?x?R,y?R?,A???x,y?2x?y?m?0?,B???x,y?x?y?n?0?，那么点

P(2,3)?A??CuB?的充要条件是（ ）

A．m??1,n?5 B．m??1,n?5 C．m??1,n?5 D．m??1,n?5 二、填空题（每道题4分，共16分）

13、判断下列命题的真假性: ①、若m?0，则方程x2?x?m?0有实根 ②、若x?1,y?1,则x?y?2的逆命题

③、对任意的x?{x|?2?x?4},|x?2|?3的否定形式

④、??0是一元二次方程ax2?bx?c?0有一正根和一负根的充要条件 14、“末位数字是0或5的整数能被5整除”的

否定形式是 否命题是

15、若把命题“A?B”看成一个复合命题，那么这个复合命题的形式是__________，构成它的两个简单命题分别是_____________________________________。 16、用符号“?”与“?”表示含有量词的命题:

（1）实数的平方大于等于0___________________________________________ （2）存在一对实数，使2x?3y?3?0成立________________________________. 二、 解答题

17、写出下列命题的否定： （1）所有自然数的平方是正数

（2）任何实数x都是方程5x?12?0的根 （3）对于任意实数x，存在实数y，使x?y?0 （4）有些质数是奇数

第3页 共6页