this post was submitted on 18 Apr 2025
85 points (89.7% liked)
Comic Strips
18591 readers
2652 users here now
Comic Strips is a community for those who love comic stories.
The rules are simple:
- The post can be a single image, an image gallery, or a link to a specific comic hosted on another site (the author's website, for instance).
- The comic must be a complete story.
- If it is an external link, it must be to a specific story, not to the root of the site.
- You may post comics from others or your own.
- If you are posting a comic of your own, a maximum of one per week is allowed (I know, your comics are great, but this rule helps avoid spam).
- The comic can be in any language, but if it's not in English, OP must include an English translation in the post's 'body' field (note: you don't need to select a specific language when posting a comic).
- Politeness.
- AI-generated comics aren't allowed.
- Adult content is not allowed. This community aims to be fun for people of all ages.
Web of links
- !linuxmemes@lemmy.world: "I use Arch btw"
- !memes@lemmy.world: memes (you don't say!)
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.
It says Q follows fron P tho
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.
You're missing the first word, it says "from P, follows Q". I initially just quoted it as the easier way to read.