这句话是真的吗？
∀x∈R，∃y∈R，（x≥y）⇒（x> y）
我认为不是因为例如，如果x是5且y是5，则它满足“（x≥y）”，但这并不意味着它也是“（x> y）”。
我说错了吗？非常感谢您的意见。
答案 0 :(得分：2)
是的，声明是真的。
鉴于x中的R（我认为它代表实数），请y = x - 1。然后，我们需要检查(x >= y) => (x > y)是否为真。暗示的左侧和右侧都是正确的（虽然只需要正确的一侧），因此我们有true => true，其评估结果为true。
所以，对于你给我的任何x，我只是给了你一个y来保持理想的含义。
虽然陈述的内容是正确的，但它并不代表你可能认为的那样。
修改：有趣的是，如果我说x，请y = x + 1，那么暗示语句也评估为true。这是因为x >= y失败了，x > y也失败了，所以我们有false => false，也评估为true。
有关详细信息，请参阅：