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@lemmy.world
    link
    fedilink
    English
    arrow-up
    2
    ·
    2 months ago

    But the negation of “all” is “not all”, where the negation of “none” is “at least one.”

    That’s not how it’s usually going to work in discrete - that’s the message the book is trying to communicate to you.

    Think like an engineer designing a computer. The state of the weather is something that we are introducing as a binary here - bad or not bad, good or not good.

    I’m sure the next few chapters will talk about things like truth tables, right? Try to imagine what those would look like with a “trinary” logic system. Remember math is a tool we use to abstract reality efficiently.

    • SuperNovaStar@lemmy.blahaj.zoneOP
      link
      fedilink
      English
      arrow-up
      1
      ·
      2 months ago

      I tool a sql class, so if the trinary logic is True, False, and Null then I don’t have to imagine it, I already learned it.

      I suppose you could have “true”, “false”, and “unknown” too. That could be interesting. But it wouldn’t look all that different - AND compares the values and returns the less certain of the two. OR compares values and returns the more certain of the two. Unknown inverted is still unknown. Not that hard.

      Qbits have four states, I think? Now those are fun truth tables.