常用逻辑用语文件.docVIP

常用逻辑用语 一．知识点回顾： 1、命题：可以判断真假的语句叫命题； 逻辑联结词： “或”“且”“非”这些词就叫做逻辑联结词； 简单命题：不含逻辑联结词的命题 ; 复合命题：由简单命题与逻辑联结词构成的命题 . 常用小写的拉丁字母 p ， q ， r ， s，,, 表示命题 . 2、四种命题及其相互关系 四种命题的真假性之间的关系： ⑴ 两个命题 互为逆否命题 ，它们 有相同的真假性 ； ⑵两个命题为 互逆命题或互否命题 ，它们的 真假性 没有关系． 3、复合命题 ⑴复合命题有三种形式： p 或 q（ p q ）； p 且 q （ p q ）；非 p （ p ）. ⑵复合命题的真假判断 “ p 或 q”形式复合命题的真假判断方法： 全假为假 ； “ p 且 q”形式复合命题的真假判断方法： 全真为真 ； “非 p ”形式复合命题的真假判断方法： 真假相对 . 4、全称量词与存在量词 ⑴全称量词与全称命题 短语“所有的” “任意一个”在逻辑中通常叫做 全称量词 ，并用符号“ ”表示 .含有全称量词 的命题，叫做全称命题 . ⑵存在量词与特称命题 短语“存在一个” “至少有一个”在逻辑中通常叫做 存在量词 ，并用符号“ ”表示 .含有存在 量词的命题，叫做特称命题 . ⑶全称命题与特称命题的符号表示及否定 ①全称命题 p ： x , p( x) ，它的否定 p ： x0 , p( x0 ). 全称命题的否定是特称命题． ②特称命题 p ： x0 , p(x0),，它的否定 p ： x , p( x). 特称命题的否定是全称命题 . 5、充分条件、必要条件与充要条件 ⑴、一般地，如果已知 p q ，那么就说： p 是 q 的充分条件， q 是 p 的必要条件； 若 p q ，则 p 是q 的充分必要条件，简称充要条件． ⑵、充分条件，必要条件与充要条件主要用来区分命题的条件 p 与结论 q 之间的关系： Ⅰ、从逻辑推理关系上看： ①若 p q ，则 p 是 q 充分条件， q 是 p 的必要条件； ②若 p q ，但 q p ，则 p 是 q充分而不必要条件 ; ③若 p q ，但 q p ，则 p 是 q必要而不充分条件 ; ④若 p q 且q p ，则 p 是q 的充要条件； ⑤若 p q 且 q p ，则 p 是q 的既不充分也不必要条件 . Ⅱ、从集合与集合之间的关系上看：已知 A x x满足条件 p ， B x x满足条件 q ： ① A B ,则 p 是 q充分条件； ②若 B A ,则 p 是 q 必要条件； ③若 A B，则 p 是 q 充分而不必要条件 ; ④若 B A ，则 p 是 q 必要而不充分条件 ; ⑤若 A B ，则 p 是 q的充要条件； ⑥若 A B 且 B A ，则 p 是 q 的既不充分也不必要条件 . 二．典题训练： 1、下列语句中，是命题的有 （填序号） ①这棵树好大啊！②地球是太阳系中的一颗行星；③ 4＞5；④等边三角形是等腰三角形吗？ 2、命题“若 a＞ b ，则a 1 ＞b ”的逆否命题是 ； 3、用数学符号表示命题“至少存在一个实数 x0 ，使得 log2 x0 0”的否定为； 4、已知命题p ：等腰梯形的对角线相等， q：等腰梯形的对角线互相平分，构成“ p 或 q ”形 式的新命题为 ，是 （真、假）命题；构成“ p 且 q ”形式的新命题为 ，是 （真、假）命题。 x 5、给定下列命题：① x R, x ＞ 0 ；② x 0, ,2 ＞1；③ ④ x R,sin x cos x 1；其中真 命题的 个数为； x 0, ,log x 1； 1 2 6、给出下列说法：① a ＞b ＞ 0 是 2 a ＞ 2 b 的充要条件； ② a ＞b ＞ 0 是 3 a ＞ 3 b 的充要条件； 1 1 ③ a ＞b ＞ 0是 a b ＞ 的充要 条件； 其中正确的说法的个数是 ； 2bc2. ”的逆命题为 7、命题“当实数 c≠0时, 若 ab,则ac 否命题为 逆否命题为 ． 8、写出下列命题的否定 , 并判断其真假 . (1)有一个实数 a , a 不能取对数 ; ； (2) 凸 n边形的外角和等于 2π. ； 3 2 (3)对任意实数 x , 都有 x x ; ． 9、“ m 1”是“ 直线l1 :x my 5 0与 l2 : (m 2)x 3y 2m 0 互相平行” 的 条 件．（填：“充分不必要” “必要不充分” “充要”“既不充分又不必要” ） 10、设甲是乙的必要条件，乙是丙的充要条件，丙是丁的必要不充分条件，那么甲是丁的 条件．（填：“充分不必要” “必要不充分” “充要”“既不充分又不必要” ） 2＋(2 k－1)x＋k2＝0，则方程有两个大于 1 的实数根的充要条