• palordrolap@fedia.io
    link
    fedilink
    arrow-up
    7
    arrow-down
    2
    ·
    7 days ago

    Isn’t that implication arrow backwards?

    “P follows from Q” is P ⇐ Q

    Maybe that’s the joke, though.

    EDIT: The text says “P follows Q”, which my brain apparently corrected to “P follows from Q”. These are not the same, and I’d argue that “P follows Q” is problematic as a phrase as a result. Grumble grumble.

      • palordrolap@fedia.io
        link
        fedilink
        arrow-up
        2
        arrow-down
        1
        ·
        7 days ago

        So I reread it and it says “P follows Q”, which I (mis)read/(mis?)interpreted as “P follows from Q”.

        I don’t remember if “follows” was ever used for forward implication in this way when I actually did a logic course, but it was a few decades ago now. Maybe it was.

        There’s also that the usual joke in this category is that in basic logic, false implies true, which seems to be the punchline of the joke in the comic, just with the arrow backwards.