第二章 逻辑演算.doc

PAGE 40 第二章 逻辑演算 PAGE 19 第一节 集合论 PAGE 17 第二章 逻辑演算 本章介绍与逻辑演算有关的一些概念和运算。先介绍与集合论(set theory)和函数(function)有关的概念，接着讨论命题逻辑(propositional logic)，真值表(truth table)与谓词逻辑(predicate logic)，最后讨论逻辑证明(logic proof)。 第一节 集合论 一、集合的基本概念 集合(set)是一个抽象的概念，可由性质完全不同的元素(member)组成。例如，集合{a, b, c, d}由a, b, c, d四个元素组成。这四个元素中，a可以代表“一张桌子”，b可以表示“一个人”，c “一个事件”，d “一台电脑”。若一个集合中一个元素都没有，就叫做空集(null set)，记为?。只有一个元素的集合叫做独元集(singleton)，如：{a}。一个集合也可以是另一个集合的元素，所以可以有集合：X = {a, {b, c, d}, e, f}，其中集合Y = {b, c, d}是集合X的一个元素，记为Y ? X。空集也能是另一个集合的一员，如{a, b, ?, d}。需要注意的是，只含有空集作为其元素的独元集{?}不等于空集，因为空集是“{ }”，里面没有一个元素。 有一种特殊的集合，其所有的元素本身也是集合，如：{{1, 2, 3}, {a, b, c, d}, {C, D, E}, {x, y, z}}，该集合的元素{1, 2, 3}, {a, b, c, d}, {C, D, E},和{x, y, z}本身都是集合。我们把这种集合叫做集合的集合(set of sets)。在本书以后讨论自然语言的语义时，这种集合很有用。 如果一个集合A的所有元素都包含在另一集合B之中，我们称A是B的一个子集(subset)，记为A ? B。假如同时B中元素的个数又多于A中元素的个数，则A是B的一个真子集(proper subset)，记为A ? B。空集是所有集合的子集。 还有一种集合是幂集(power set)。一个集合A的幂集由其所有的子集组成，记为?(A)。例如，集合A = {x, y, z}的幂集?(A) = {?, {x}, {y}, {z}, {x, y}, {x, z}, {y, z}, {x, y, z}}。集合A的子集包括它本身和空集。若用#(A)表示集合A中元素的个数，A的幂集中元素的个数则为2#(A)。例如，若#(A) = 3，#(?(A)) = 2#(A) = 23 = 8。 二、集合的表达方法 可以用三种不同的方法定义一个集合：穷举法，谓词定义法及递归定义法。穷举法是指列出集合中所有的元素。谓词定义法则是用一个或几个谓词来定义一个集合。例如，{x | x是偶数}，此集合包括自然数中所有的偶数。我们也可以有：{x | x是大于5小于10的整数}，此集合由6, 7, 8, 9组成。递归定义法是用递归规则来定义集合。下面的例子就是用此法定义集合E = {4, 6, 8, ...}的。 (1) a. 4 ? E。 b. 如果x ? E，那么x + 2 ? E。 c. 其它的任何数都不属于E。 (1a)定义数字“4”为E中的元素，(1b)规定任何一个在集合E中的元素加上“2”，仍然是该集合的元素。(1c)进一步规定，其它的东西或者数字都不是E中的元素，(1c)是一个排它条件。 三、对集合的运算 对集合可求其交集(intersection)和并集(union)，分别用?和?表示，其定义如下： (2) a. A ? B =def {x | x ? A且x ? B} (“=def”表示“定义为”) b. A ? B =def {x | x ? A 或 x ? B} 集合A和B的并集(?)包括A和B中所有的元素，但其交集(?)则只包含它们两者所共有的元素，如图1所示。在图1中，C是A和B的交集，它们的并集则包括两个圆所覆盖的区域，即：在两个圆内的所有空间或个体。 A C B 图1 假设集合A = {a, b, c, d}中的人都喜欢蓝色的衣服，集合B = {e, f, g}中的人都喜欢绿色的衣服，且集合C = {a, e, g}中的人都喜欢红色的衣服，我们可以有下面的运算： (3) a. A ? B = {a, b, c, d, e, f, g} = B ? A b. A ? C = {a, b, c, d, e, g} c. A ? B ? C =