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.
True. I think of it more as a semantic shift. In the old days, processes would actually quit and some other process would resurrect it as necessary, but then someone had the idea of having some processes catch the HUP and do all that itself without actually bothering any other processes.
And the implementation might actually involve an
exec
of the process’ own executable, meaning that it actually does self-terminate, but it leaves a child in its place.