逻辑问题：命题∀xP(x)在论域为空时的真值是什么呢?从∀xP(x)是∃x P(x)的否定.既然后者的意思是一定存在x使P(x)为真的话,那么前者应该就是论域中所有的x使P(x)为真或者论域为空了.

逻辑问题：命题∀xP(x)在论域为空时的真值是什么呢?从∀xP(x)是∃x P(x)的否定.既然后者的意思是一定存在x使P(x)为真的话,那么前者应该就是论域中所有的x使P(x)为真或者论域为空了.
逻辑问题：命题∀xP(x)在论域为空时的真值是什么呢?
从∀xP(x)是∃x P(x)的否定.既然后者的意思是一定存在x使P(x)为真的话,那么前者应该就是论域中所有的x使P(x)为真或者论域为空了.也就是说命题∀xP(x)在论域为空时为真.
但如果P(x)恒为假呢?我们还能说命题∀xP(x)在论域为空时为真吗.

逻辑问题：命题∀xP(x)在论域为空时的真值是什么呢?从∀xP(x)是∃x P(x)的否定.既然后者的意思是一定存在x使P(x)为真的话,那么前者应该就是论域中所有的x使P(x)为真或者论域为空了.
前面可能有笔误 ∀xP(x)是∃x 非P(x)的否定,而不是 “∀xP(x)是∃x P(x)的否定”
论域为空时,整个命题真.P(x)为假时,也为真.
简单的,你可以理解这句话 " 如果太阳从西边出来,就有."
太阳从西边出来就是一个空的论域,后面怎么说,这句话都是可以的.