• walter_wiggles@lemmy.nz
    link
    fedilink
    English
    arrow-up
    30
    ·
    9 days ago

    You got it bro. Should do something about those unicorns though, a civilized unicorn would drink tea.

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

    • Ediacarium@feddit.org
      link
      fedilink
      English
      arrow-up
      3
      ·
      9 days ago

      Agreed, that’s why it’s also true that every unicorn currently living in his house enjoys tea.