前面可能有笔误 ∀xP(x)是∃x 非P(x)的否定,而不是 “∀xP(x)是∃x P(x)的否定”
论域为空时,整个命题真.P(x)为假时,也为真.
简单的,你可以理解这句话 " 如果太阳从西边出来,就有."
太阳从西边出来就是一个空的论域,后面怎么说,这句话都是可以的.
前面可能有笔误 ∀xP(x)是∃x 非P(x)的否定,而不是 “∀xP(x)是∃x P(x)的否定”
论域为空时,整个命题真.P(x)为假时,也为真.
简单的,你可以理解这句话 " 如果太阳从西边出来,就有."
太阳从西边出来就是一个空的论域,后面怎么说,这句话都是可以的.