Comment on Please don't post this on your campus.

• ilex@lemmy.world ⁨1⁩ ⁨year⁩ ago

  A v ~B = T
  ~A v B = T
   A v B = T
  ~A v ~B = F
  

  I can’t argue with that logic.

  source

  • 30isthenew29@lemm.ee ⁨1⁩ ⁨year⁩ ago

    I don’t understand this but I can sort of understand seen by the calculations but I don’t understand. You’re cool :)

    source

    • ilex@lemmy.world ⁨1⁩ ⁨year⁩ ago

      This comment is vertically long. Paragraphs and sentences are short.

      There are two senses of the word “or.” Inclusive and exclusive.

      Inclusive | one, the other, or both
      Exclusive | one, the other, but not both
      

      In English, most instances are inclusive, like above. Exclusive might look like: Is the US President Joe Biden or not? Is that a square or circle, or neither?

      I took you question to be you asking if the or was inclusive, but in a normal, funny way. The T/F statements define why ‘both’ can be an option. ‘Both’ might still be wrong factually, but logically, it’s possible.

      This style of logic is often called Boolean algebra. You’ll see it often in programming and simple search engines. en.wikipedia.org/wiki/Propositional_calculus

      source

      • 30isthenew29@lemm.ee ⁨1⁩ ⁨year⁩ ago

        That’s why it looked familiar.

        source