题目内容

令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) )

下列命题公式不是永真式的是

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) )