离散数学-各种关联词的符号化

离散数学--关联词的符号化问题

①如果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         非q->p

（例：除非世界末日，否则我活着 》》 我死 -> 世界末日）

只要 就-------充分条件

只有 才-------必要条件

暂时没有例子