大连理工大学软件学院离散数学第二章谓词逻辑-st-公开课件.pptVIP

31/44 量词分配律 全称量词对∨，存在量词对Λ 不满足分配律。 例：个体域是人的集合。 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)为真。 仅满足： 为正确理解上面第二式。设 A(x) :x会用左手拿筷子吃饭 B(x): x会用右手拿筷子吃饭 32/44 重要等价式和永真蕴含式 33/44 重要等价式和永真蕴含式 34/44 重要等价式和永真蕴含式 35/44 量词交换式