个体域为{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(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,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: 其它选项皆不正确
- 【单选题】公式(∀x)[P(x)∧Q(x, A) →(∃y)[R(x, y)∨S(y)]]中，∀x的辖域为 , ∃y的辖域为 。 A. P(x); R(x, y) B. P(x)∧Q(x, A); R(x, y) C. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y) D. P(x)∧Q(x, A)→(∃y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
- 设R,S集合X上的等价关系,则R=S当且仅当X/R=X/S