看《離散數學及其應用》看到“p僅當q”=“p->q”，不理解，第一反應是懷疑書打錯了，應該是“q->p”吧，吃午飯時想着想着就突然頓悟了。。。
舉個例子：
p：放假
q：周末
p僅當q：放假僅當周末
分析：如果放假，只有周末才有可能放假，不是周末就不可能放假，那么肯定是周末，p推出q，p是q的充分條件，q是p的必要條件，即“p->q”，而反之未必，如果周末，未必放假，周末可以放假，也可以不放假，也可以這周末放假下周末不放假，換句話說，放假肯定周末，周末不一定放假，p推得出q，q推不出p，所以“q->p”錯誤。
再想想如果沒放假，那跟是否周末沒關系，是不是周末都可以不放假，符合“p->q”。
如果還是沒明白可以舉個自己熟悉的例子仔細體會，我就是通過這個例子慢慢體會出來的。。。