离散数学连结词笔记

①如果p那么q         　p->q;

②只有p才q 　 q->p;(p是q的必要条件)(反的)

仔细想一下，只有p->q和q->p两种情况，p成立不一定q成立，而q成立，那么p就一定成立，所以后者正确；

③只要p就q                 p->q;(p是q的充分条件)  同①

④仅当p, q   q->p(仅当不就是只有吗?)

⑤当且仅当p,q           q<->p(充要条件，与==等价)

⑥除非p 否则 q         非p->非q/q->p

⑦除非p , q                  非p->q;

另外有逆否命题真值相同:

   非p->q 等价于 非q->p