设谓词的定义域为{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: 其它选项皆不正确
B
举一反三
- 个体域为{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)
内容
- 0
设R和S为两个关系， ( )中的符号分别代表并、交、投影的关系代数运算。 A: R∪s、R∩S、σF( B: R∪S、R∩S、πA( C: R∩S、R∪S、πA( D: R∩S、R∪S、σF(
- 1
设关系R(A,B,C)和关系S(B,C,D),那么与R⋈S等价的关系代数表达式是 A: σ2=4（R⋈S） B: σ2=4（R×S） C: σ2=1（R⋈S） D: σ2=1（R×S）
- 2
A: R,R B: R,S C: S,R D: S,S
- 3
设R和S为二个关系，______中的符号分别代表选择、投影、笛卡儿积的关系代数运算。 A: σF(R)，πA(R)、R×S B: EA(R)、VA(S)、R*S C: R∩S、R∪S、R×S D: πA(R)，σF(R)、R×S
- 4
设有关系 R(A,B,C)和关系 S(B,C,D)，那么与 R⋈S 等价的关系代数表达式[] A．σ1=5（R⋈S） B．σ1=5（R×S） C．σ1=2（R⋈S） D．σ1=2（R×S） 4．与域表达式 { ab | ($c) (R(ac) ∧ R(cb))}