第2章谓词逻辑.ppt

设：M(x)：x是高山俱乐部成员。H(x)：x是滑雪者。D(x)：x是登山者。L(x,y)：x喜欢y。 a：小杨；b：小刘；c：小林；d：雨；e：雪。 小杨、小刘和小林为高山俱乐部成员。 M(a), M(b), M(c), M(a), M(b), M(c), ?x(M(x)→( H(x)∨D(x))), ??x(D(x)∧L(x,d)), ?x(H(x)→L(x,e)), ?x(L(a,x)→?L(b,x)), L(a,d)∧L(a,e) 该俱乐部的每个成员都是滑雪者或登山者。 ?x(M(x)→( H(x)∨D(x))) 没有一个登山者喜欢雨。 ??x(D(x)∧L(x,d)) 所有的滑雪者都喜欢雪。 ?x(H(x)→L(x,e)) 凡是小杨喜欢的，小刘都不喜欢。 ?x(L(a,x)→?L(b,x)) 小杨喜欢雨和雪。 L(a,d)∧L(a,e) 问：该俱乐部是否有个成员是登山者而不是滑雪者。如果有，他是谁？ ?x(M(x)∧D(x)∧?H(x)) 凡是小杨喜欢的，小刘都不喜欢。 小杨喜欢雨和雪。 a：小杨；b：小刘； M(a), M(b), M(c), ?x(M(x)→( H(x)∨D(x))), ??x(D(x)∧L(x,d)), ?x(H(x)→L(x,e)), ?x(L(a,x)→?L(b,x)), L(a,d)∧L(a,e) ⑴ L(a,d)∧L(a,e) P ⑵ L(a,e) T⑴I ⑶ ?x(L(a,x)→?L(b,x)) P ⑷ L(a,e)→?L(b,e)) US⑶ ⑸ ?L(b,e)) T⑵⑷I ⑹ ?x(H(x)→L(x,e) P ⑺ H(b)→L(b,e)) US⑹ ⑻ ?H(b) T⑸⑺I ⑼ ?x(M(x)→(H(x)∨D(x))) P ⑽ M(b)→(H(b)∨D(b)) US⑼ ⑾ M(b) P ⑿ H(b)∨D(b) T⑽⑾I ⒀ D(b) T⑻⑿I ⒁ D(b)∧?H(b) T⑻⒀I 谓词逻辑 习题课 一. 命题符号化 60页(2) a) ?x(J(x)→L(x)) b) ?x(L(x)∧S(x)) c) ?x(J(x)∧O(x)∧V(x)) d) J(j)∧?O(j)∧?V(j) e) ??x(L(x)→J(x)) 或者 ?x(L(x)∧?J(x)) f) ?x(S(x)∧L(x)∧C(x)) g) ??x(C(x)∧?V(x)) 或者 ?x(C(x)→V(x)) h) ?x((C(x)∧O(x))→L(x)) i) ??x(W(x)∧C(x)∧H(x)) j) ?x(W(x)∧J(x)∧C(x)) k) ?x(L(x)→?y(J(y)∧A(x,y))) l) ?x(S(x)∧?y(L(y)→?A(x,y))) 62页(2) 令：P(x): x是一个点，L(x): x是一条直线， R(x,y,z): z通过x和y，E(x,y): x=y 符号化下面命题： 对每两个点都有且仅有一条直线通过该两点。 ?x?y((P(x)∧P(y)∧?E(x,y)) →?z(L(z)∧R(x,y,z)∧?t((L(t)∧R(x,y,t))→ E(t,z)))) P→R∧S?(P→R)∧(P→S) P→(R→S)?(P∧R)→S 62页(3) b) 对于每一个实数x，存在一个更大的实数y。 设：R(x):x是实数，G(x,y):x＞y ?x(R(x)→?y(R(y)∧G(y,x))) (3) c) 存在实数x,y和z，使得x与y之和大于x与y之积。 设R(x):x是实数，G(x,y):x＞y f(x,y)=x+y g(x,y)=xy ?x?y?z(R(x)∧R(y)∧R(z)∧G(f(x,y),g(x,z))) 或者 ?x?y?z(R(x)∧R(y)∧R(z)∧G