注意x中的x只是虚设的,vxR2(x,0)并 不依赖于x,事实上也可用wyR2y,0)表示 上述命题。 对于命题“对所有的x,使得有p(x)就必有 q(x)”,可表示为x(p(x)→q(x) 设A={-2,-1,0,1,2}对于命题“在A中必存在 大于0的数”, 令c表示数字i,R2)表示二元关系“大 于”,则命题可形式化地表示为 R2(c20)R2(c1,0NR2(c00) R2(c1,0)R21(c20) 注意:x中的x只是虚设的，xR2 i (x,0)并 不依赖于x，事实上也可用yR2 i (y,0)表示 上述命题。  对于命题“对所有的x，使得有p(x)就必有 q(x)”，可表示为x (p(x)→q(x))。  设A={-2,-1,0,1,2},对于命题“在A中必存在 大于0的数”，  令ci表示数字i，R2 (1)表示二元关系“大 于”，则命题可形式化地表示为：  R2 (1)(c-2 ,0)R2 (1)(c-1 ,0)R2 (1)(c0 ,0) R2 (1)(c1 ,0)R2 (1)(c2 ,0)