magnoliayhc的博客

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

在《离散数学及其运用中》写道，“ 'p仅当q' 说的是当q不为真时p不能为真” 也是“仅当q为真，p才有可能为真”那么 q为真时p有可能为真，而p为真一定可以推出q为真。在离散数学中，p->q 表示 p 蕴含(仅当) q，也是“如果p,那么q”，可以把 p 理解为前提条件，把 q 理解为结论。e.g. p=天气晴朗 q=我们去海滩。如果（每当）天气晴朗，我们就去海滩 p->q。我们就去海滩 q->p。