• threelonmusketeers
    link
    fedilink
    English
    91 month ago

    By that logic, wouldn’t “every unicorn is my house enjoys tea” also be *true*, because the negated “at least one unicorn in my house dislikes tea” can’t be proven?

    • @[email protected]
      link
      fedilink
      English
      7
      edit-2
      1 month ago

      Yes, that’s also true. The empty set is the only set for which every element has property A and doesn’t have property A simultaneously.

      For example:

      If the Eiffel Tower is on the Moon, then 1=2 and 1≠2.