如果论域是集合{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(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.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: 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,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: 其它选项皆不正确
- 设R,S集合X上的等价关系,则R=S当且仅当X/R=X/S
- A: R,R B: R,S C: S,R D: S,S