• agamemnonymous@sh.itjust.works
    link
    fedilink
    arrow-up
    4
    ·
    edit-2
    1 year ago

    You’re doing all A are in C, all B are in C =⟩ A is in B, which makes no sense and isn’t what they said.

    They said all A are in B, all B are in C =⟩ A are in C, which is true by the transitive property.

    All humans are animals

    All animals are Pokemon

    Therefore all humans are Pokemon