设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 $x(P(x)ÚQ(x))在哪个个体域中为真?( )
A. 自然数
B. 实数
C. 复数
D. (A)--(C)均成立
1、公式"x((A(x)®B(y,x))Ù $z C(y,z))®D(x)中,自由变元是( ),约束变元是( )。
2、设个体域为整数集,则下列公式的意义是( )。(1) "x$y(x+y=0) (2) $y"x(x+y=0)
设全体域D是正整数集合,确定下列命题的真值:(1) "x$y (xy=y)()(2) $x"y(x+y=y)()(3) $x"y(x+y=x) ()(4) "x$y(y=2x) ()