题目内容

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

设个体域D={a,b},与公式∀xA(x)等价的命题公式是

A(a)∧A(b)
B. A(a)→A(b)
C. A(a) ∨ A(b)
D. A(b)→A(a)