设个体域为整数集,则公式∀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))
微信支付 
支付宝支付