离散数学连结词笔记

发布于 2021-09-14  117 次阅读


①如果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