by ohthatpatrick Thu Dec 13, 2018 2:47 am
You're correct.
If and only if means "nec and suff", or "a double-head arrow", if you like to draw it that way.
What you just wrote out was akin to writing
A --> B
and
~B --> ~A
You wrote
K --> ~L
L --> ~K
But you were thinking you were writing out the two different conditionals given by "if and only if".
Instead, you were just writing one of the conditionals, and then writing its contrapositive.
Since K is both nec and suff, the two conditionals you get are
K --> ~L
and
~L --> K
If you wanted to write their contrapositives, you'd have
K --> ~L
L --> ~K
and
~L --> K
~K --> L
Or if you prefer, just write two lines with doublesided arrows.
K <---> ~L
~K <---> L
Hope this helps.