设R(x):x为有理数;Q(x):x为实数。命题“任何有理数都是实数”的符号化为
A. (彐x) ( (R(x)∧Q(x) )
B. (∀x)( (R(x)∧Q(x) )
C. (∀x)( (R(x)→Q(x) )
D. 彐x( R(x)→Q(x) )
查看答案
设个体域D={a,b},与公式∀xA(x)等价的命题公式是
A(a)∧A(b)
B. A(a)→A(b)
C. A(a) ∨ A(b)
D. A(b)→A(a)
下列等价式不正确的是
A. ∀x( (P(x) ∨ Q(x) ) ⇔ ∀xP(x) ∨ ∀xQ(x)
B. ∀x(P(x) ∧ Q(x)) ⇔ ∀xP(x) ∧ ∀xQ(x)
C. ∃x(P(x) ∨ Q(x) ) ⇔ ∃xP(x) ∨ ∃xQ(x)
D. ∀x(P(x)∧Q) ⇔ ∀xP(x)∧Q
设X={Ø,{a}{a,Ø}},则下列陈述正确的是
A. a∈X
B. {a,Ø}⊆X
C. {Ø,{a,Ø}}⊆X
D. {Ø}∈X
有向图D是连通图,当且仅当
A. 图D中至少有一条通路
B. 图D中有通过每个顶点至少一次的通路
C. 图D的连通分支数为一
D. 图D中有通过每个顶点至少一次的回路