- 首页
- 教师继续教育
答案:
-
1.m,R-j y=R(x y
-
2.x y r (4)y x y xx y x y
-
3.设R⊆X×X, (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧∈R∧∈R→∈R),则称R在X上是传递的。
-
4.设R⊆X×X, (∀x)(∀y)(∀z)(x∈X∧y∈X∧z∈X∧∈R∧∈R→∈R),则称R在X上是传递的。
-
5.x)P(x,y)∧(?x)(Q(x,z)?(?x)(?y)R(x,y,z))中量词?x的辖域是( )A、(Q(x,z)?(?x)(?
-
6.P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为A.P(x,f(A))∨R(z)B.P(x,f(A))∨Q(x)∨R(z), σ = {f(y)/x}C.P(f(y),f(A))∨
-
7.公式$x(Ø$yP(x,y)®($zQ(z)®R(x)))的前束范式为$x$y$z(P(x,y)ÚØQ(z)ÚR(x))
-
8.9.数据逻辑关系:D(x,y,z)←-R(x,y Z)ANDS(x y,z) AND NOT T(x,y z)表达的是A、R-(S-TB、S—R—T
-
9.公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中,∀x的辖域为 , ∃y的辖域为 。
-
10.【单选题】P(x, f(A))∨Q(x)和 ¬Q(f(y))∨R(z)的消解式为A. P(x,f(A))∨R(z) B. P(x,f(A))∨Q(x)∨R(z), σ = {f(y)/x} C.