Logic 形式逻辑的否定
什么域是U，什么域是Px，这句话才是假的Logic 形式逻辑的否定,logic,negation,Logic,Negation,什么域是U，什么域是Px，这句话才是假的 ∀x∈U, P(x) ⇒ ∃x∈U, P(x) 我认为这是不可能的，但我希望有人能找出如何使这句话是假的。我会想象，如果U是空集，那句话是假的；U中不存在任何元素，至少不存在满足Px的元素。先行词是a，但是仍然是真的。但是如果该语句是空的真的，那么它仍然是真的，而不是空的false@Brian当前位置前因是空洞的真理，因此是真实的，但后因是虚假的。因为有一种情况，先行词是真的，结果是假的，这意味着蕴涵是假的。嗯，这是真的，因为先行词只有在默认情况下是
∀x∈U, P(x) ⇒ ∃x∈U, P(x)
我认为这是不可能的，但我希望有人能找出如何使这句话是假的。我会想象，如果U是空集，那句话是假的；U中不存在任何元素，至少不存在满足Px的元素。先行词是a，但是仍然是真的。但是如果该语句是空的真的，那么它仍然是真的，而不是空的false@Brian当前位置前因是空洞的真理，因此是真实的，但后因是虚假的。因为有一种情况，先行词是真的，结果是假的，这意味着蕴涵是假的。嗯，这是真的，因为先行词只有在默认情况下是空的，而不是通过证明。谢谢是的，一个空集所有元素都会满足所有属性，但没有一个元素会满足。供未来参考：