在个体域R中, 记H(x,y): x+y=10 ，则谓词公式∃y∀xH(x,y)的真值为 。
举一反三
- 令个体域为{1，2}；则谓词公式∀x∃y(x＋y＝4)的真值= 。
- 设个体域为整数集，下列公式中其真值为0的是哪几个公式？ A: ∀x∃y(x+y=0) B: ∃y∀x(x+y=0) C: ∀x∀y(x+y=0) D: ﹁∃y∃x(x+y=0)
- 取个体域为整数集，则谓词公式"x"y(x ´ y = y ) 是假命题。
- 设解释R如下:个体域是实数集R,函数f(x,y)=x-y,谓词F(x,y)为x>y,则在解释R下公式的真值为()(请填写0或1)
- 设P(x,y)为x整除y,Q______ 为x<2,个体域为{1,2},则公式yx(P(x,y)Q______ )的真值为______ ______ 。