离散数学(chapter1).pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 ◆ 万涛 * * 例14：构造下列推理的证明 (1) 前提：p ? ( q ? r ), ? s ? p, q结论：s ? r(2) 前提：p ? (? (r ? s)q), p, ? s结论： ? q §1.6 推理理论 离散数学 ◆ 万涛 * * 例14：构造下列推理的证明 (1) 前提：p ? ( q ? r ), ? s ? p, q结论：s ? r 证明：① ? s ? p② s③ p④ p ? ( q ? r )⑤ q ? r⑥ q⑦ r 前提引入 附加前提引入 ③④假言推理 ⑤⑥假言推理 ①②析取三段论 前提引入 前提引入 §1.6 推理理论 离散数学 ◆ 万涛 * * (2) 前提：p ? (? (r ? s)q), p, ? s 结论： ? q 证明：① p ? (? (r ? s)q)② p③ ? (r ? s)q④ ? (? q)⑤ q⑥ r ? s⑦ s⑧ ? s⑨ ss 前提引入 ③⑤拒取式 ①②假言推理 否定结论引入 ⑥化简 ⑦⑧合取 ④置换 前提引入 前提引入 §1.6 推理理论 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 ◆ 万涛 * * 值得注意的是，任何命题公式的析取范式或合取 范式不唯一，因而不能作为命题公式的标准型。为 此，我们进一步引入“主析取范式”、“主合取范式” 的概念。它们是用极小项、极大项来定义的。 §1.5 对偶与范式 离散数学 ◆ 万涛 * * 四、主析取范式与主合取范式 极小项：含有n个命题变元的简单合取式，且具有形式： 极大项：含有n个命题变元的简单析取式，且具有形式： 注1：其中 指pi 或? pi，1? i ? n 注2：极小项、极大项中必含有n－1个联结词 注3： 一定位于第i个位置，顺序不能乱§1.5 对偶与范式 离散数学 ◆ 万涛 * * 极小项的表示（以3个命题变项为例）： ? pqr000 ---- 0，记作m0 ? pq ? r001 ---- 1，记作m1 ? p ? qr010 ---- 2，记作m2 ? p ? q ? r011 ---- 3，记作m3 pqr100 ---- 4，记作m4 pq ? r101 ---- 5，记作m5 p ? qr110 ---- 6，记作m6 p ? q ? r111 ---- 7，记作m7 成 真 赋 值 §1.5 对偶与范式 离散数学 ◆ 万涛 * * 极大项的表示（以3个命题变项为例）： p ? q ? r000 ---- 0，记作M0 p ? qr001 ---- 1，记作M1 pq ? r010 ---- 2，记作M2 pqr011 ---- 3，记作M3 ? p ? q ? r100 ---- 4，记作M4 ? p ? qr101 ---- 5，记作M5 ? pq ? r110 ---- 6，记作M6 ? pqr111 ---- 7，记作M7 成假赋值 §1.5 对偶与范式 离散数学 ◆ 万涛 * * 主析取范式： 命题公式A的析取范式中的简单合取式全是极小项。 特别地约定，矛盾式的主析取范式为0。 主合取范式： 命题公式A的合取范式中的简单析取式全是极大项。 特别地约定，重言式的主合取范式为1。任何命题公式的主析取范式和主合取范式一定存在，并且唯一。 定理 §1.5 对偶与范式 离散数学 ◆ 万涛 * * 给定命题公式A的主析取范式的求解步骤:(1) 求A的析取范式A(2) 若A的某简单合取式B中不含命题变项pi 或? pi，则展开B如下：B?B ? 1 ?B ? (pipi)?(B ? pi) ? (Bpi)(3) 消去重复出现的命题变项、极小项和矛盾式。(4) 将极小项按从小到大的顺序排列，并用∑表示 如m1 ? m4 ? m5 ?∑(1, 4, 5) §1.5 对偶与范式 离散数学 ◆ 万涛 * * 给定命题公式A的主合取范式的求解步骤:(1) 求A的合取范式A(2) 若A的某简单析取式B中不含命题变项pi 或? pi，则展开B如下：B?B ? 0 ?B ? (pipi)?(B ? pi) ? (Bpi)(3) 消去重复出现的命题变项、极大项和重言式。(4) 将极大项按从小到大的顺序排列，并用∏表示 如M1 ? M4 ? M5 ?∏(1, 4, 5) §1.5 对偶与范式 离散数学 ◆ 万涛 * *