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
@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.
@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.
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.