离散数学

<div> <h2>蕴涵联结词</h2> <p>蕴涵联结词通常表示为 "→"，在命题逻辑中，如果P和Q是两个命题，则P → Q 表示“如果P，则Q”。这个命题只有在P为真且Q为假时才为假，其余情况下都为真。</p> <h3>真值表</h3> <table border="1"> <tr> <th>P</th> <th>Q</th> <th>P → Q</th> </tr> <tr> <td>0</td> <td>0</td> <td>1</td> </tr> <tr> <td>0</td> <td>1</td> <td>1</td> </tr> <tr> <td>1</td> <td>0</td> <td>0</td> </tr> <tr> <td>1</td> <td>1</td> <td>1</td> </tr> </table> <h3>举例说明</h3> <p>假设P表示“今天下雨”，Q表示“我带伞”。那么P → Q可以理解为“如果今天下雨，那么我带伞”。</p> <ul> <li>当P为真（今天下雨）且Q也为真（我带伞），则P → Q为真。</li> <li>当P为真（今天下雨）但Q为假（我没有带伞），则P → Q为假。</li> <li>当P为假（今天没有下雨）时，无论Q为真或为假，P → Q都为真。这是因为P → Q的定义是在P为真的情况下，Q必须为真才能保证整个命题为真；而P为假时，整个命题无需考虑Q的情况，因此默认为真。</li> </ul> </div>

上一条 下一条