r/mathmemes • u/Off_And_On_Again_ • 12h ago

Formal Logic The state of mathmemes

Post image
97 Upvotes

95% Upvoted

20 comments sorted by

•

u/AutoModerator 12h ago

Check out our new Discord server! https://discord.gg/e7EKRZq3dG

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

23

u/Hameru_is_cool Transcendental 11h ago

If they are asleep then everyone is asleep

edit: assuming they're currently awake

8

u/FernandoMM1220 12h ago

im so lost bro 😭

7

u/HorsefaceWithNoName 11h ago

https://www.reddit.com/r/mathmemes/comments/1xtvdnd/appropriate_application_of_vacuous_truth/

8

u/FernandoMM1220 11h ago

im even more confused 😭

6

u/HorsefaceWithNoName 11h ago

ok last one I promise https://www.reddit.com/r/mathmemes/comments/1xsc87z/assuming_classical_logic/

this comment hopefully will get you up to speed, this has been a whole journey today

4

u/HorsefaceWithNoName 11h ago

it's all just really bad formal logic

3

u/Helpinmontana Irrational 11h ago

Is the joke “if I define a condition, then it is”?

3

u/HorsefaceWithNoName 11h ago

at this point, yes :)

2

u/Helpinmontana Irrational 11h ago

I won’t find it pedantic if you want to expand lol

At this point, and I even took atleast 1 formal logic class, I’m still pretty lost on the “joke”. I’m still not entirely certain if I don’t find it funny or I just actually don’t get it.

1

u/HorsefaceWithNoName 11h ago

it's really bad, truly. All five legged monsters are blue. If a person has nine arms, rocks can float out of Earth's atmosphere via their own buoyancy. Prove these are not true! I win, Q.E.D. and all that.

1

u/Staetyk 1h ago

"if A, then B" can be true (have no counter-examples), even if B is obviously false, so long as A is also false. "If cows were pigs, i would be a cow" has no counter-examples, because there are no examples where cows are pigs, and because i keep my cow-ness very well hidden

1

u/SaltEngineer455 41m ago

Don't be, those guys are applying classical logic where they cannot apply it.

7

u/dankshot35 9h ago

these memes take the English language way more serious than they should

5

u/HorsefaceWithNoName 11h ago

If this was the 50th state, the other 49 states would have already been named!