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

  • Shaun Griffith
    link
    fedilink
    11 day 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.

    • @[email protected]OP
      link
      fedilink
      English
      11 day 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.