离散数学--关联词的符号化问题
①如果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;
只要 就-------充分条件
只有 才-------必要条件
暂时没有例子