常用逻辑用语.知识框架普通高中数学复习讲义Word版.docxVIP

常用逻辑用语 模块框架 高考要求 要求层次 重难点 常用逻辑用语：命题 “若 p ，则 q ”形式的命题及其逆 A 理解四种命题的 命题、否命题与逆否命题 及其关系 相互关系；掌握 四种命题的相互关系 B 充要条件的判定 充要条件 C 简单的逻辑联结词 简单的逻辑联结词 B 全称命题和存在 性命题的否定 全称量词与存在量词 全称量词与存在量词 B 知识内容 一、命题的四种形式 1．对于 “如果  p ，则  q ”形式的命题，  p 称为命题的条件，  q 称为命题的结论． 定理：经过证明为真的命题． 当命题 “如果 p ，则 q ”经过推理证明断定是真命题时，我们就说则  p 可以推出 q ，记作  p  q ，读作 “p 推出  q ”． 2．命题的四种形式： 命题 “如果 p ，则 q ”是由条件 p 和结论 q 组成的，对 p ，q 进行 “换位 ”和 “换质（否 定） ”后，可以构成四种不同形式的命题． ⑴原命题：如果 p ，则 q ； ⑵原命题的逆命题：如果 q，则 p ； ⑶原命题的否命题：如果非 p ，则非 q ； ⑷原命题的逆否命题：如果非 q ，则非 p ． 如果 p,则 q 互逆 如果 q,则 p 互 否 为 逆 互 互 否 为 逆 否 互 否 如果非 p,则非 q 互逆 如果非 q,则非 p 3．命题 “如果 p ，则 q ”的四