离散数学

<div> <h2>命题公式及其赋值</h2> <p><strong>命题公式：</strong>命题公式是由命题变元、逻辑联结词和圆括号按照一定规则组成的符号串。例如：P, Q, (P ∧ Q), (P ∨ Q), ¬P 等。</p> <p><strong>赋值：</strong>给定一个命题公式，若对其中的每个命题变元都赋予一个确定的真值（True 或 False），则称这个真值指派为命题公式的赋值。</p> <p><strong>真值表：</strong>用来列出所有可能的赋值情况以及对应的命题公式的真值。真值表可以帮助我们理解命题公式在各种情况下是否成立。</p> <h3>例题说明</h3> <p>考虑命题公式 (P ∨ Q) → R。我们需要构造它的真值表来分析其真值情况。</p> <table border="1"> <tr> <th>P</th> <th>Q</th> <th>R</th> <th>(P ∨ Q)</th> <th>(P ∨ Q) → R</th> </tr> <tr> <td>T</td> <td>T</td> <td>T</td> <td>T</td> <td>T</td> </tr> <tr> <td>T</td> <td>T</td> <td>F</td> <td>T</td> <td>F</td> </tr> <tr> <td>T</td> <td>F</td> <td>T</td> <td>T</td> <td>T</td> </tr> <tr> <td>T</td> <td>F</td> <td>F</td> <td>T</td> <td>F</td> </tr> <tr> <td>F</td> <td>T</td> <td>T</td> <td>T</td> <td>T</td> </tr> <tr> <td>F</td> <td>T</td> <td>F</td> <td>T</td> <td>F</td> </tr> <tr> <td>F</td> <td>F</td> <td>T</td> <td>F</td> <td>T</td> </tr> <tr> <td>F</td> <td>F</td> <td>F</td> <td>F</td> <td>T</td> </tr> </table> <p>从真值表可以看出，当(P ∨ Q)为真且R为假时，(P ∨ Q) → R为假；其他情况下，(P ∨ Q) → R为真。</p> </div>

上一条 下一条