如果结果不匹配，请 
更多“设个体域是整数集合，命题∃y∀x(x+y=0)的真值为()。”相关的问题
设个体域={1，2，3，4}，F(x)：x是2的倍数。G(x)：x是奇数，将命题
(F(x)→ㄱG(x))中的量词消去，并讨论命题的真值。
设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式
在个体域()中是可满足的.
A.自然数
B.整数
C.实数
D.以上均不成立
对个体域
判定下列公式的真值,E(x)表示“x是偶数”
再将它们的量词消去,表示成合取或析取命题公式;鉴別你所确定的真值是否正确.
设Z为整数集合，在Z上定义二元运算°，
x，y∈Z有x°y=x+y-2，那么Z与运算°能否构成群？为什么？
