(寒假总动员)2015年高二数学寒假作业专题01常用逻辑用语(背).docxVIP

(寒假总动员)2015年高二数学寒假作业专题01常用逻辑用语(背) (寒假总动员)2015年高二数学寒假作业专题01常用逻辑用语(背) (寒假总动员)2015年高二数学寒假作业专题01常用逻辑用语(背) 专题 1 常用逻辑用语 【背一背】 一、命题和四种命题 1．一般地，我们把用语言、符号或式子 表达的，能够判断真假的陈说句叫做命题．此中判 断为正确的语句叫做真命题，判断为错误的语句叫做假命题． 2．在数学中， “若 p，则 q”是命题的常有形式， 此中 p 叫做命题的条件， q 叫做命题的结论． 3．四种命题的命题构造： 用 p 和 q 分别表示原命题的条件和结论， 用 p, q 分别表示 p 和 q 的否认，四种形式就是： 原命题： “若 p，则 q”． 抗命题： “若 q，则 p”． 否命题： “若 p ，则 q ”． 逆否命题： “若 q ，则 p ”． 二、四种命题的互相关系 1.四种命题间的互相关系： ２．四种命题之间的真假关 系： 原命题为真，它的抗命题不必定为真． 原命题为真，它的否命题不必定为真． 原命题为真，它的逆 否命题必定为真． 四个命题中真 命题只好是偶数个，即 0个，2个或 4个． 互为逆否的两个命题是等价的，拥有同样的真假性，所以在直接证明原命题有困难时能够 经过证明与它等价的逆否命题来证明原命题建立. 三、复合命题（ p q、 p q 、 p ） 1．用逻辑联络词组成新命题 (1) 用联络词 “且 ”把命题 p 和命题 q 联络起来，就获得一个新命题， 记作 p q ，读作 p 且 q ． (2) 用联络词 “或 ”把命题 p 和命题 q 联络起来， 就获得一个新命题， 记作 p q，读作 p 或 q ． (3) 对一个命题 p 通盘否认，就获得一个新命题，记作 p ，读作非 p 或 p 的否认． 2． p 、 q 形式的复合命题的真值表 p q p 且 q p 或 q 真 真 真 真 真 假 假 真 假 真 假 真 四、充足条件与 假 假 假 假 必需条件 p 是 q 的 充 分条件，即 p ? q ，相当于分别知足 条件 p 和 q 的两个会合 P 与 Q 之间有包括关系： P Q，即 P Q或 Q ，必需条件正好相反 .而充要条件 p ? q 就相当于 P Q . 以下四种说法表达的意义是同样的：①命题“若 p ，则 q ”为 真；② p ? q ；③ p 是 q 的 充足条件；④ q 是 p 的必需条件 . 五、全称量词与存在量词 1．全称量词 :短语“对全部的” 、“对随意一个” 、“对全部”、“对每一个” 、“任给”在逻辑中 往常叫做全称量词，并用符号 “ ”表示. 全称命题：含有全称量词的命题 . .存在量词 :短语“存在一个” 、“起码有一个” 、“对某个”、“有些”、“有的”在 逻辑 中 往常叫做存在量词，并用符号“”表示 . 特称命题：含有存在量词的命题 . ３．全称命题 p : x M , p( x) ，它的否认是 p : x0 M , p( x0 ) ，全称命题的否认是特 称命题；特称命题 p : x0M , p( x0 ) ，它的否认是 p : x M , p( x) ，特称命题的否认 是全称命题