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

Maddie@sh.itjust.works ⁨11⁩ ⁨months⁩ ago

• Lafari@lemmy.world ⁨11⁩ ⁨months⁩ ago

  Is “If B then A” equal to “B if and only if A”?

  source

  • Thoth19@lemmy.world ⁨11⁩ ⁨months⁩ ago

    No. They are effectively the same statement.

    (A <=> B ) = (A=>B AND B=> A)

    source

    • Rhynoplaz@lemmy.world ⁨11⁩ ⁨months⁩ ago

      Wait. If they are effectively the same statement, wouldn’t that mean they ARE equal?

      source

      • Casey_Masterpiece@lemmy.world ⁨11⁩ ⁨months⁩ ago

        If B then A is the same as if X then Y is the same as if A then B. They are saying it’s the same as the OP. Changing the letters around doesn’t change the meaning since the letters are just placeholders.

        Now if you said If A then B AND If B then A as one it wouldn’t be the same because A and B would have to keep the same meaning.

        source

        • -> View More Comments
      • Thoth19@lemmy.world ⁨11⁩ ⁨months⁩ ago

        I mean it is the definition of “if and only if”. And by commutativity we also know that A iff B is equal to B iff A

        source
    • zenharbinger@lemmy.world ⁨11⁩ ⁨months⁩ ago

      Also, Not (A XOR B)

      source