设F(x):x是人,G(x):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
设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