42
submitted 1 week ago by SuperNovaStar to c/mathmemes

I'm already so done with this course.

My textbook:

p: "The weather is bad."

Exercise:

Represent "the weather is good" using logical symbols.

Me: How am I supposed to answer that? You didn't give me a letter for that. I guess I'll use q?

Expected answer: ~p

THIS IS LITERALLY THE CLASS ABOUT LOGIC DHDJFBDHDJDHDHDH

Who let neurotypicals write a logic textbook istg

you are viewing a single comment's thread
view the rest of the comments
[-] shaungriffith@mastodon.social 2 points 6 days ago

@andros_rex @SuperNovaStar Picking something as continuous as "the weather" to explain negation is just stupid.

Pick something like "locked" or "unlocked".

Yes, there's a transition, and we all wave our hands and pretend it isn't there. The same thing happens in Boolean algebra, when negating something.

Best not to get involved with "all", "none", "null". Because you've left out "some", "many", "any", "few", "more", "less", and a host of more subtle values.

[-] shaungriffith@mastodon.social 1 points 6 days ago

@andros_rex @SuperNovaStar Programming languages do logic a lot of injustice, often assuming certain values are false, most values are true, and a few are weird (like "none"). Those are implementations for practical reasons, and not pure math.

[-] SuperNovaStar 1 points 6 days ago

Exactly. And sometimes you need to understand the underlying logic well before you even try to program anything. It is far easier to know set theory and then adapt that knowledge to programming than to learn a warped, trimmed down version of set theory just to fit programming languages and then try to derive the real thing once you run into a problem that needs it.

this post was submitted on 29 Apr 2025
42 points (100.0% liked)

Math Memes

2109 readers
3 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 2 years ago
MODERATORS