• threelonmusketeers@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    8
    ·
    12 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@discuss.tchncs.de
      link
      fedilink
      English
      arrow-up
      7
      ·
      edit-2
      12 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.