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

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

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

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

暂时没有例子