submitted 2 years ago by [email protected] to c/[email protected]

34 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] [email protected] 1 points 2 years ago* (last edited 2 years ago)

My statement refers to the construction of ==> from truth tables as a logical gate:

Both (False ==> True) and (False ==> False) are True; everything can follow from false premises
(True ==> True) is True; A true premise always implies a true conclusion
(True ==> False) is False; you cannot infer a falsehood from a truth.

By counting the entries of the table, we see that if Y is True, then (X ==> Y) must always be True no matter what we substitute for X. The joke is that this means we assume foreknowledge of the reader being gay

[-] [email protected] 1 points 2 years ago

Ah I see what you mean; you're right. Though an argument being valid and an implication being true are different things, so I think we misunderstood each other's meaning.

this post was submitted on 13 Jul 2023

90 points (88.8% liked)

shitposting

1619 readers

37 users here now

For the dankest of all memes

founded 2 years ago

MODERATORS

[email protected]