离散数学第2章 谓词逻辑PPT.ppt

* §5 谓词演算的等价式与蕴含式 第2组 (?x) A(x) → B? (?x) (A(x) → B) (?x) A(x) → B? (?x ) (A(x) → B) A →(?x) B(x)? (?x) (A → B (x)) A → (?x) B(x)? (?x) (A → B (x)) * §5 谓词演算的等价式与蕴含式 证明 (?x) A(x) → B? (?x) (A(x) → B) A →(?x) B(x)? (?x) (A → B (x)) A →(?x) B(x) ??A ?(?x) B(x) ? (?x) (?A ∨ B(x)) ? (?x) (A → B(x)) 证明： (?x) A(x) → B ? ? (?x) A(x) ∨ B ? (?x) ? A(x) ∨ B ? (?x) (? A(x) ∨ B) ? (?x) (A(x) → B) * §5 谓词演算的等价式与蕴含式 4. 量词与命题联结词之间的一些等价式 例： “所有的人既上学又工作。” A(x)：x上学； B(x)：x工作。 (?x) (A(x) ∧ B(x) ) ? “所有的人都上学并且所有的人都工作。” ? (?x) A(x) ∧ (?x) B(x) * 证明(?x) (A(x) ∧ B(x)) ? (?x)A(x) ∧ (?x)B(x) 证明：设个体域为 S={a1,a2,…an} (?x) (A(x) ∧ B(x)) ?(A(a1) ∧ B(a1)) ∧ …. ∧ (A(an) ∧ B(an)) ?(A(a1) ∧ … ∧ A(an)) ∧ (B(a1) ∧ … ∧ B(an)) ? (?x)A(x) ∧ (?x)B(x) §5 谓词演算的等价式与蕴含式 * §5 谓词演算的等价式与蕴含式 例：“有一些人或到科室或到车间工作。” A(x)：x到车间工作； B(x)：x到科室工作。 (?x) (A(x) ∨ B(x) ) ?“或者一些人到科室或者一些人到车间工作。” ? (?x) A(x) ∨ (?x) B(x) * §5 谓词演算的等价式与蕴含式 5. 量词与命题联结词之间的一些蕴含式 例：“这些学生都聪明或这些学生都努力。” A(x)：x聪明。 B(x)：x努力。 (?x)A(x) ∨ (?x)B(x) ? “这些学生都聪明或努力。” ? (?x) (A(x) ∨ B(x)) * §5 谓词演算的等价式与蕴含式 ∵ (?x)A(x) ∨ (?x)B(x) ? (?x) (A(x) ∨ B(x)) ∴ (?x)?A(x) ∨ (?x)?B(x) ? (?x) (?A(x) ∨ ?B(x)) ?(?x)A(x) ∨ ?(?x)B(x) ? (?x) ?(A(x) ∧ B(x)) ?( (?x)A(x) ∧ (?x)B(x) ) ? ?(?x)(A(x) ∧ B(x)) (?x)( A(x) ∧ B(x) ) ? (?x)A(x) ∧ (?x)B(x) 类似的： (?x) (A(x) → B(x)) ? (?x) A(x) → (?x) B(x) (?x) (A(x) ? B(x)) ? (?x) A(x) ? (?x) B(x) * §5 谓词演算的等价式与蕴含式 证明(?x)A(x) → (?x)B(x) ? (?x) (A(x) →B(x)) I19 (?x)A(x) → (?x)B(x) ??(?x)A(x) ∨ (?x)B(x) ? (?x) ?A(x) ∨ (?x)B(x) ? (?x) (?A(x) ∨ B(x) ) ? (?x) (A(x) → B(x)) * 要记住的等价式和蕴含式 (?x) (A(x)∧B(x) ) ? (?x) A(x)∧(?x) B(x) (?x) (A(x)∨B(x) ) ? (?x) A(x)∨(?x) B(x) (?x)A(x)∨(?x)B(x) ? (?x) (A(x) ∨ B(x)) (?x)( A(x)∧B(x) ) ? (?x)A(x) ∧ (?x)B(x) * 6 .多个量词的使用 （a）量词出现的次序直接关系到命题的含义 “?x?y”表示：“无论选定一个什么样的x值总能找