逻辑公式资料.pdfVIP

逻辑公式 p 是 q 的充分条件： 并非（ A 且 B）≠ 非 A 且非 B 如果 p，则 q 并非（ A 且 B）= 非 A 或非 B 只要 p，就 q 非 A 或非 B= A 则非 B , B 型题 = 强（知识）相关 p 是 q 的必要条件： 只有 p 才 q ★ 哪些是“强相关”知识点 （如要）q，必须 p 联结词： “非 ”、 “且 ”、 “或 ”、 “则 ” 除非 p ，否则不 q 条件关系（充分 / 必要） … 4 个重要等值公式 ☆ 用 “ ”准确表达（充分 /必要）条件关系 命题推理基本规则（主要是 “则 ”和 “或 ”的规则） p q 表示 （1） p 是 q 的充分条件 对当关系 （2）q 是 p 的必要条件 算子、量词的对偶与否定 如果 p ，那么 q ＝ p q ★ 联结词：非、且、或、则 只有 p ，才 q ＝ q p 不要拒绝这四个符号： ☆ p q = q p = 非 = 或 以上等式的两边互称“逆否式” 。 = 且 = 则 一个公式和它的逆否式在逻辑上等值。 命题：有真假的句子。 以 p 、q 、…表示。 ☆ 准确刻画 “除非 … ，否则 ” 非 p “（除非） , ，否则 …”的意思是： “如果否 = （记为） p 定, ，则, ” = p 假 “…，否则 …” p 且 q ＝ … … = （记为）p ∧q 除非 p ，否则 q = p q = p 和 q 都真 除非 p ，否则不 q = p q p 或 q 除非不 p ，否则 q = p q = （记为）p ∨q 除非 不 p，否则不 q = p q = p 和 q 至少有一真 p ，否则 q = 除非 p ，否则 q p ，除非 q = 除非 q ，否则 p 要么 p，要么 q ★ 4 个重要的等值公式