• @agamemnonymous
    link
    4
    edit-2
    8 months 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