设谓词的定义域为{a,b},将表达式 "xR(x) →$xS(x) 中量词消除，写成与之对应的命题公式是
A: (S(a)∨S(b)) →(R(a) ∧R(b))
B: (R(a)∧R(b)) →(S(a) ∨S(b))
C: (R(a)∨R(b)) →(S(a) ∧S(b))
D: 其它选项皆不正确
A: (S(a)∨S(b)) →(R(a) ∧R(b))
B: (R(a)∧R(b)) →(S(a) ∨S(b))
C: (R(a)∨R(b)) →(S(a) ∧S(b))
D: 其它选项皆不正确
举一反三
- 个体域为{a.b}，消去公式(∀x)R(x)∧(∃x)S(x)中的量词（） A: R(a)∧R(b) ∧（S(a) ∨S(b)） B: R(a)∧R(b) ∧S(a) ∧S(b) C: R(a) ∧S(b) D: R(x)∧S(x)
- 如果论域是集合{a,b,c}，公式(∀x)R(x)∨(∃x)S(x))消去量词后表示为 A: R(x)∨S(x) B: (R(a)∨S(a))∧(R(b)∨S(b))∧(R(c)∨S(c)) C: (R(a)∧R(b)∧R(c))∨(S(a)∨S(b)∨S(c)) D: (R(a)∧R(b)∧R(c))∨(S(a)∧S(b)∧S(c))
- 在关系代数的基本运算中，交、连接、除这三种运算可用其它五种运算来表达，以下描述正确的是（）。 A: RÇS=R–(R–S) B: R¥XqYS=σXqY(R´S) C: R(X,Y)¸S(Y,Z)=ПX(R)–ПX(ПX(R)´ПY(S)-R) D: R(X,Y)¸S(Y,Z)=ПX(R)–ПX(ПX(R)´ПY(S))
- 利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式改写成______． A: (x)(P(y)→Q(x，y))∧R(z，s) B: (z)(P(z)→Q(z，s))∧R(x，s) C: (x)(P(s)→Q(x，s))∧R(x，s) D: (z)(P(s)→Q(z，s))∧R(z，s)
- 设R和S为二个关系，代表并、交、选择的关系代数运算的符号分别是（）。 A: R∪S、R∩S、σF(R) B: R∪S、R∩S、πA(R) C: R∩S、R∪S、πA(R) D: R∩S、R∪S、σF(R)