设个体域为整数集,则公式∀x∃y(x+y=0)的意义是( ）
A任意整数y对任一整数x满足x+y=0
B. 存在整数y对任一整数x满足x+y=0
C. 对任意整数x存在整数y满足x+y=0
D. 以上都不对
查看答案
下面哪一个命题是假命题()
A. 如果2是偶数,那么一个公式的主析取范式唯一
B. 如果2是偶数,那么一个公式的主析取范式不唯一
C. 如果2是奇数,那么一个公式的主析取范式唯一
D. 如果2是奇数,那么一个公式的主析取范式不唯一
公式¬(P→Q)的析取范式是()
A. P∧¬Q
B. ¬P∧Q
C. ¬P∨Q
D. P∨¬Q
设C():x是国家级运动员,G();x是健壮的,则命题"没有一个国家级运动员不是健壮的"可符号化为()
A. ¬∀x(C(x)∧¬G(x))
B. ¬∀x(C(x)→¬G(x))
C. ¬∃x(C(x)→¬G(x))
D. ¬∃x(C(x)∧¬G(x))
表达式∀x(P(x,y)∨Q())∧∃y(R(x,y)→∀Zq())中∀x的辖域是()
A. P(x,y)
B. P(x,y)∨Q(z)
C. R(x,y)
D. P(x,y)∧R(x,y)
微信支付 
支付宝支付