747
Paradox
(lemmy.nz)
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
I think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite
But we're also working with inductive logic here, so maybe truth tables aren't the right tool to use anyway