• @itslilith
    link
    English
    32 months ago

    That doesn’t contradict the original statement

      • @itslilith
        link
        English
        10
        edit-2
        2 months ago

        “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 -

          • @itslilith
            link
            English
            52 months ago

            ∀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.

    • SharkAttak
      link
      fedilink
      12 months ago

      I volunteer to marry there, and help avert this catastrophe, even a little bit.

      • tiredofsametab
        link
        fedilink
        32 months ago

        For one, there is no legal requirement that a Japanese partner take the name of their foreign spouse (in fact, it’s basically the exception to the rule that all married couples must have the same surname).