A. 2是常数 B. 这朵花多好看啊! C. 请把们关上! D. 下午有会吗?
A. p∧q→r B. p∨q→r C. p∧q∧r D. p∨q↔r
A. p∧¬q B. p∧q C. p∨¬q D. p→¬q
A. ¬(∀x) ( p(x) →Q(x) ) B. ¬(∀x) ( p(x) ∧ Q(x) ) C. ¬(∃x) ( p(x) →Q(x) ) D. ¬(∃x) ( p(x) ∧ Q(x) )
A. ∀x( F(x) ∧ G(x) ) B. ¬∃x( F(x) →¬G(x) ) C. ¬∃x( F(x) ∧ G(x) ) D. ¬∃x( F(x) ∧ ¬G(x) )
A. (p→q)→p B. p→(q→p) C. ¬p∨(q→p) D. (p→q)∨p
A. (彐x) ( (R(x)∧Q(x) ) B. (∀x)( (R(x)∧Q(x) ) C. (∀x)( (R(x)→Q(x) ) D. 彐x( R(x)→Q(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
A. a∈X B. {a,Ø}⊆X C. {Ø,{a,Ø}}⊆X D. {Ø}∈X