第一章 常用逻辑用语章末复习学习目标 1
理解命题及四种命题的概念,掌握四种命题间的相互关系
理解充分条件、必要条件的概念,掌握充分条件、必要条件的判定方法
理解逻辑联结词的含义,会判断含有逻辑联结词的命题的真假
理解全称量词、存在量词的含义,会判断全称命题、特称命题的真假,会求含有一个量词的命题的否定.1.四种命题及其关系(1)四种命题:命题表述形式原命题若 p,则 q逆命题若 q ,则 p 否命题若綈 p ,则綈 q 逆否命题若綈 q ,则綈 p (2)四种命题间的逆否关系:(3)四种命题的真假关系:两个命题互为逆否命题,它们有相同的真假性;两个命题为互逆命题或互否命题,它们的真假性没有关系.2.充分条件与必要条件(1)如果 p⇒q,那么称 p 是 q 的充分条件,q 是 p 的必要条件.(2)分类:① 充要条件:p ⇒ q 且 q ⇒ p ,记作 p⇔q;② 充分不必要条件:p ⇒ q 且 q ⇏ p
③ 必要不充分条件:p ⇏ q 且 q ⇒ p
④ 既不充分也不必要条件:p ⇏ q 且 q ⇏ p
3.简单的逻辑联结词(1)用联结词“且”“或”“非”联结命题 p 和命题 q,可得 p ∧ q ,p ∨ q ,綈 p
(2)命题 p∧q,p∨q,綈 p 的真假判断:p∧q 中 p,q 有一假即为假,p∨q 有一真即为真,p 与綈 p 必定是一真一假.4.全称量词与存在量词(1)全称量词与全称命题:全称量词用符号“∀”表示.全称命题用符号简记为∀ x ∈ M , p ( x ) . (2)存在量词与特称命题:存在量词用符号“∃”表示.特称命题用符号简记为∃ x 0∈ M , p ( x 0) . 5.含有一个量词的命题的否定命题命题的否定∀x∈M,p(x)∃ x 0∈ M , 綈 p ( x 0)∃x0∈M,p(x0)∀ x ∈ M , 綈 p (