• Thoth19
    link
    fedilink
    arrow-up
    1
    ·
    2 years 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

    • Rhynoplaz
      link
      fedilink
      arrow-up
      2
      ·
      2 years ago

      Oh yeah. I was very confused as to what that meant, but I learned something today.

      • Thoth19
        link
        fedilink
        arrow-up
        1
        ·
        2 years ago

        Yeah if vs iff can be confusing at first. Trying to understand it with normal grammar doesn’t work right. It’s a lot more helpful to grok the symbols and so the truth tables by hand to see how they fit together