设个体域为整数集，P（x，y)：x＋y=1；Q（x，y)：x·y＞0，说明下列命题中，哪些命题的真值为真？

设个体域为整数集z, L(x,y): x+y=x-y,求下列各式的真值.

设个体域为整数集Z，确定下列各公式的真值． （1)（x2＞0)． （2)（x2=0)． （3)（x2≥x)． （4)（x2＜y)． （5)（x＜y2)．

设个体域为整数集Z，将下列问题符号化。（1)对于任意的x和y，存在z，使得x+y=z。（2)“存在x，对于任意的y和z，均有y-z=x”是不成立的。

设个体域为整数集,试确定两个谓词P（x,y),分别使得下列两个蕴涵式假.

设个体域是整数集合，命题∃y∀x(x+y=0)的真值为()。

取个体域为整数集，求下列公式的真值： （1)."x$y（x·y=0) （2)."x$y（x·y=1) （3)$x$y（x·y=2) （4)"x"y$z（x-y=z) （5).x-y=-y+x （5)."x"y（x·y=y) （7)"x（x·y=x) （8).$x"y（x+y=2y)

取个体域为整数集，求下列公式的真值： （1)."x$y（x·y=0) （2)."x$y（x·y=1) （3)$x$y（x·y=2) （4)"x"y$z（x-y=z) （5).x-y=-y+x （5)."x"y（x·y=y) （7)"x（x·y=x) （8).$x"y（x+y=2y)

设个体域为实数集,则命题“如果三个数的乘积为0,那么至少有一个数为0"可形式为（).命题“对每个实数x,存在实数y,使对于任意实数x.若z＞0则x+y＜z”可形式化为（).

令S(x,y,z)表示x+y=z, P(x,y,z)表示x,y=z, L(x,y)表示x小于y，个体领域为非负整数集，用以上所设的原子谓词公式及量词表示下列命题并判断各命题的真值。(1) 没有x小于0；(2) 对于所有的x，有x+0=x；(3)存在着x，使得x,y=y对所有的y成立；(4)存在着唯一的x， 使得x+y=y对所有的y都成立。

1. 谓词公式"x（P（x)Ú$yR（y))®Q（x)中量词"x的作用域是A. "x（P（x)Ú$yR（y)) B.P（x) C. （P（x)Ú$yR（y)) D.P（x)，Q（x) 2. 谓词公式"x（P（x)Ú$yR（y))®Q（x)中变元x是A.自由变量 B.约束变量 C.既不是自由变量也不是约束变量 D.既是自由变量也是约束变量 3. 设谓词P（x)：x是奇数，Q（x)：x是偶数，谓词公式$x（P（x)ÙQ（x))在下面哪个论域中是可满足的？A.自然数集 B.整数集 C.实数集 D.以上均不成立 4. 设个体域A={a,b}，公式"xP（x)Ù$xS（x)在A中消去量词后应为A.P（x)ÙS（x) B.P（a)ÙP（b)Ù（S（a)ÚS（b)) C.P（a)ÙS（b) D.P（a)ÙP（b)ÙS（a)ÙS（b)