离散数学第二章谓词逻辑习题课.pptVIP

一. 命题符号化 60页(2) (?x)(J(x)→L(x)) (?x)(L(x)∧S(x)) (?x)(J(x)∧O(x)∧V(x)) J(j)∧?O(j)∧?V(j) ?(?x)(L(x)→J(x)) 或者 (?x)(L(x)∧?J(x) (?x)(S(x)∧L(x)∧C(x)) ?(?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) (?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)))) (3)b)设R(x):x是实数，G(x,y):x＞y (?x)(R(x)→?y(R(y)∧G(y,x))) c)设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)∧