公式("x)(P(x)→R(x))∧($y)Q(x,y)中"x的辖域是(P(x)→R(x))∧($y)Q(x,y) 。
设个体域为整数集,则“$y"x(x-y=0)”公式的意义是( )。
A. 对任一整数x存在整数 y满足x-y=0
B. 存在整数y对任一整数x满足x-y=0
设M(x):x是人。C(x):x喜欢玩游戏。则“尽管有人喜欢玩游戏,但未必一切人都喜欢玩游戏” 可以完整地符号化为: ($x)(M(x)∧C(x)) ∧ ┐("x)(M(x)→C(x)) 。
令F(x):x是负数, G(x):x是实数, L(x,y):x