第二章逻辑和证明（四）-Read.pptVIP

第二章 逻辑和证明 2.4 逻辑推理 推理：从一些前提（命题）推出一个结论（命题） 正确的推理（形式）：若前提（ ）都为真，则结论（C）也必为真 永真 记为 例1 “若今天下雪，则去滑雪。今天下雪，所以去滑雪”是正确的推理 p：今天下雪 q：去滑雪 前提： 、p 结论：q 永真 定理：被证明为真的命题，前提是公理或公设 即“公理?定理”成立 定理的证明：用来说明“公理?定理”的一个命题序列 其中的命题可以是：公理、已证明的定理、 从推理规则得到的命题、 假设（在某些证明方法中） 推理规则：从一些命题得到另一些命题的方法 A1 A2 An -------------- A 其中，必须成立 常用推理规则： 例2 证明：前提“今天下午没有出太阳并且今天比昨天冷”，“只有今天下午出太阳，我们才将去游泳”，“若我们不去游泳，则我们将乘独木舟游览”，以及“若我们乘独木舟游览，则我们将在黄昏时回家”，导致结论“我们将在黄昏时回家”。 证明：　设p是命题“今天下午出太阳”，q是命题“今天比昨天冷”，r是命题“我们将去游泳”，s是命题“我们将乘独木舟游览”，而t是命题“我们将在黄昏时回家”。则这些