令p:今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了”可符号化为( )
A. p∧q→r
B. p∨q→r
C. p∧q∧r
D. p∨q↔r
令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可以符号化为( )
A. p∧¬q
B. p∧q
C. p∨¬q
D. p→¬q
设P(x):x是鸟,Q(x):x会飞,命题“有的鸟不会飞”可符号化为( )
A. ¬(∀x) ( p(x) →Q(x) )
B. ¬(∀x) ( p(x) ∧ Q(x) )
C. ¬(∃x) ( p(x) →Q(x) )
D. ¬(∃x) ( p(x) ∧ Q(x) )
设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) )