联结词
复合命题的构造
重要程度：8 分
<div>
<h2>复合命题的构造</h2>
<p>在命题逻辑中，复合命题是由多个简单命题通过联结词组合而成的新命题。</p>
<ul>
<li><strong>联结词：</strong>用于连接简单命题的符号，主要有以下几种：</li>
<ul>
<li><code>→</code>：表示“蕴含”，读作“如果...那么...”</li>
<li><code>⇒</code>：表示“等价”，读作“当且仅当”</li>
<li><code>∧</code>：表示“合取”，读作“并且”或“而且”</li>
<li><code>∨</code>：表示“析取”，读作“或者”</li>
<li><code>¬</code>：表示“否定”，读作“非”</li>
</ul>
</ul>
<h3>举例说明</h3>
<p>假设有两个简单命题：</p>
<ul>
<li><code>P</code>：今天下雨。</li>
<li><code>Q</code>：我带伞。</li>
</ul>
<p>我们可以用这些简单命题构造出复合命题：</p>
<ul>
<li><code>P ∧ Q</code>：今天下雨，并且我带伞。</li>
<li><code>P ∨ Q</code>：今天下雨，或者我带伞。</li>
<li><code>¬P</code>：今天不下雨。</li>
<li><code>P → Q</code>：如果今天下雨，那么我带伞。</li>
<li><code>P ⇒ Q</code>：今天下雨当且仅当我带伞。</li>
</ul>
</div>