What was helpful to me is watching JY's lessons on this like 3 times particularly this one until it clicked - https://7sage.com/lesson/not-both-v-or-truth-tables-longer-explanation/
... valid, so that the truth of all the premises guarantees ... the truth of the conclusion. Now ... would suffice to guarantee the truth of the conclusion (remember, ... statement which would guarantee the truth of the conclusion.
< ...
KM is a biconditional. It is read both ways ... out game. So unpacking the biconditional reading the arrow **_forward_** we ... instance. In this case, the biconditional does not hold the same ...