离散数学(谓词逻辑)课后总结编纂.docVIP

谓词逻辑 2—1基本概念 例题1 . 所有的自然数都是整数? 设 N(x):x是自然数?I(x):x是整数?此命题可以写成 (x(N(x)→I(x)) 例题2. 有些自然数是偶数? 设 E(x):x是偶数?此命题可以写成 (x(N(x)∧E(x)) 例题3. 每个人都有一个生母? 设 P(x):x是个人?M(x,y):y是x的生母?此命题可以写成: (x(P(x)→(y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数? 其中客体x与客体2x之间就有函数关系,可以设客体函数 g(x)=2x, 谓词 O(x):x是奇数, E(x):x是偶数, 则此命题可以表示为: (x(O(x)→E(g(x))) 例题2 小王的父亲是个医生? 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))? 例题3 如果x和y都是奇数,则x+y是偶数? 设 h(x,y)=x+y ,此命题可以表示为:(x(y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). (xA(x)(A(a1)∧A(a2)∧......∧A(an)