• threelonmusketeers@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    9
    ·
    28 days 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?

    • yetAnotherUser
      link
      fedilink
      English
      arrow-up
      7
      ·
      edit-2
      28 days 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.