you are viewing a single comment's thread
view the rest of the comments
[–] 37 points 2 years ago (2 children)

Joke's on you! Humans will be extinct by 2531. Maybe by 2031 if Trump becomes president again.

  • source
  • hideshow 4 child comments
  • [+] -17 points 2 years ago (2 children)

    That doesn't contradict the original statement

  • source
  • parent
  • hideshow 4 child comments
  • [–] 4 points 2 years ago (1 child)
  • [–] -4 points 2 years ago* (1 child)

    "Every person in Japan will be called Sato."

    In formal logic, this is equivalent to
    "There is no person in Japan not called Sato."

    Since there are no people, no one is not called Sato, and therefore every person is called Sato. Every person is also called Steve. Or Klaus.

    Edit: once you take the second part of the headline about the marriage law into account you're right, my bad ^-^

  • source
  • parent
  • hideshow 2 child comments
  • [–] 6 points 2 years ago (1 child)

    Since there are no people, no one is not called Sato, and therefore every person is called Sato.

    Uh... No? 🤨

  • source
  • parent
  • hideshow 2 child comments
  • [–] -2 points 2 years ago (1 child)

    ∀P∈{X | X lives in Japan} : P is named Sato

    using De Morgan's negation rule this is equivalent to

    ⇔ ∄ P ∈{X | X lives in Japan} : P is not named Sato

    Since {X | X lives in Japan} = ∅ is the empty set, such a person P can by definition not exist. Which means, the first statement is true. If no person lives in Japan, that means every person living in Japan is named Sato.

  • source
  • parent
  • hideshow 2 child comments