题目内容

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

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

A. (p→q)→p
B. p→(q→p)
C. ¬p∨(q→p)
D. (p→q)∨p