设论域D={a,b},与公式∃xA(x)等价的命题公式是()?(5.0)
A(a)∧A(
B. A(a)∨A(b)
C. A(a)→A(b)
D. A(b)→A(a)
查看答案
下列公式中等值的是().(5.0)
A. ∀x(A(x)→
B. (x))与∀xA(x)→∀xB(x) ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x)
C. ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x)
D. ∃x(A(x)∧B(x))与∃xA(x)∧∀xB(x)
在谓词演算中,P(a)是∀xP(x)是的有效结论,其理论依据是().(5.0)
A. 全称量词消去规则(UI)
B. 全称量词推广规则(UG)
C. 存在量词消去规则(EI)
D. 存在量词推广规则(EG)
下列可称为集合的是:(5.0)
A. 某本书中第a页上汉字的全体
B. 很大数的全体
C. 全体高个子的人
D. 全部接近于0的数
S={∅,{1},{1,2}},则有()既是S的元素,又是S的子集?(5.0)
A. ∅
B. 1
C. {1}
D. 2
微信支付 
支付宝支付