Understanding the if and only if (biconditional) statement in logic | implications and converses
When the original statement and converse are both true.So, p->q is true and q->p is true. It can be written as p if and only if q”...