高中数学第一章常用逻辑用语阶段复习课学案新人教A版选修1.doc.pdfVIP

最新中小学教案、试题、试卷 第一课 常用逻辑用语 [核心速填] 1．命题及其关系 (1)判断一个语句是否为命题，关键是： ①为陈述句； ②能判断真假． (2)互为逆否关系的两个命题的真假性相同． (3)四种命题之间的关系如图所示． 2．充分条件、必要条件和充要条件 (1)定义 p q p q p 一般地，若 ，则 为真命题，是指由 通过推理可以得出 .这时，我们就说，由 q p q p q q p 可推出 ，记作 ⇒ ，并且说 是 的充分条件， 是 的必要条件． p q q p p q p q 一般地，如果既有 ⇒ ，又有 ⇒ ，就记作 ⇔ .此时，我们说， 是 的充分必要条 件，简称充要条件． (2)特征 充分条件与必要条件具有以下两个特征： p q q p ①对称性：若 是 的充分条件，则 是 的必要条件； p q q r p r p q ②传递性：若 是 的充分条件， 是 的充分条件，则 是 的充分条件．即若 ⇒ ， q r p r p q q r ⇒ ，则 ⇒ .必要条件和充分条件一样具有传递性，但若 是 的充分条件， 是 的必 p r 要条件，则 与 的关系不能确定． 3．含逻辑联结词的命题的真假判断 p q (1) ∧ ：全真才真，一假则假； p q (2) ∨ ：全假才假，一真则真； p p p (3) ： 与 真假性相反． 4．全称量词与全称命题，存在量词与特殊命题 (1)全称量词与全称命题：短语“所有的”“任意一个”“每一个”“任给”在逻辑中 M x p x 通常叫做全称量词，并用符号“∀ ”表示．全称命题“对 中任意一个 ，有 ()成立”， x M p x 可用符号简记为∀ ∈ ， ()． 最新中小学教案、试题、试卷 (2)存在量词与特称命题：短语“存在一个”“至少有一个”“有些”在逻辑学中通常 M x p x 叫做存在量词，并用符号“∃ ”表示；特称命题“存在 中的元素 ，使 ( )成立”，可 0 0 x M p x 用符号简记为∃ ∈ ， ( )． 0 0 5．含有一个量词的命题的否定 p x M p x p x M p x (1)全称命题 ：∀ ∈ ， ()， ：∃ ∈ ， ( )． 0 0 p x M p x p x M p x (2)特称命题 ：∃ ∈ ， ()， ：∀ ∈ ， ()． 0