Comment on Is "If A then B" equal to "B if and only if A"?

Boinkage@lemmy.world ⁨9⁩ ⁨months⁩ ago

• pineapplelover@lemm.ee ⁨9⁩ ⁨months⁩ ago

  First thing I thought lmao. Somebody is taking logic

  source
• XeroxCool@lemmy.world ⁨9⁩ ⁨months⁩ ago

  That’s not equivalent either. “if not b, then not a” works if it’s a sequence but doesn’t work for options in which multiple inputs can lead to the same output. If you get pizza every Tuesday and Friday, then answering “what’s for lunch” with “if Tuesday, then pizza” and “if Friday, then pizza” doesn’t let it work in reverse. “what day is it” can’t be answered with “if pizza lunch, then Tuesday”

  source

  • Boinkage@lemmy.world ⁨9⁩ ⁨months⁩ ago

    Ya wrong.

    If Tuesday, then pizza. And, if Friday, then pizza.

    The contrapositive : if not pizza, then not Tuesday and not Friday.

    What day is it? We’re not having pizza. So it’s not Tuesday or Friday.

    source

    • XeroxCool@lemmy.world ⁨9⁩ ⁨months⁩ ago

      That’s a key detail I now see

      source
  • pruwybn@discuss.tchncs.de ⁨9⁩ ⁨months⁩ ago

    You left out the “not” part - “If not pizza lunch, then not Tuesday” does indeed work.

    source
  • kogasa@programming.dev ⁨9⁩ ⁨months⁩ ago

    Using standard definitions from propositional logic they are equivalent.

    source
• monotremata@kbin.social ⁨9⁩ ⁨months⁩ ago

  Honestly what the homework is probably looking for is that it's equivalent to "B or not A." But yeah.

  source