离散数学中对蕴含（仅当）的理解

在离散数学中，p->q 表示 p 蕴含(仅当) q，也是“如果p,那么q”，可以把 p 理解为前提条件，把 q 理解为结论

在《离散数学及其运用中》写道，“ 'p仅当q' 说的是当q不为真时p不能为真” 也是“仅当q为真，p才有可能为真”那么 q为真时p有可能为真，而p为真一定可以推出q为真。(默认整个命题为真）

（仅当 only when;     只要就 as long as;     只有才 only if）

          e.g.  p=天气晴朗  q=我们去海滩      

           如果（每当）天气晴朗，我们（则）就去海滩    p->q

           只有我们去海滩，才天气晴朗     p->q    ☆

           除非我们去海滩，才天气晴朗     p->q     ☆

          除非我们去海滩，否则天气不晴朗  p->q    ☆

           

         仅当天气晴朗，我们就去海滩    q->p

             我们去海滩，仅当天气晴朗     q->p