• itslilith@lemmy.blahaj.zone
    link
    fedilink
    English
    arrow-up
    5
    arrow-down
    7
    ·
    7 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.