离散数学DISCRETE MATHEMATICS467.pptVIP

本次课重点 命题逻辑的推理 * gygyg 第六节 命题逻辑的推理 一、定义1： 设A1，A2，?，An，B都是 WFF，如果A1 ? A2 ? ? ? An ? B， 就说B是前提A1，A2，?，An的有效结 论或逻辑结果。也说由A1，A2，?，An 推出了B。 * gygyg 定义2： 设 G 是一个 WFF的 集合， A1，A2，?，An 是一个有限的WFF 序列。如果序列中的每个公式 Ai 要么 是G中的一个元素，要么是它前面的若 干公式的逻辑结果，就说An是G的逻辑 结果，或者说由G可以演绎出An。 * gygyg 二、推理的公理集合： 前面已介绍的基本蕴含式和由蕴含 性质导出的基本结果，都可以作为 推理的公理集合。 三、推理的规则： 1。P规则 引入前提规则 * gygyg 2。T 规则 变换规则。分两种情形： 如果当前结果是由前面公式经过等价变 换得到的，就把这个变换规则记为TE。 如果是经过蕴含变换得到的，就记为TI。 (E = EQUIVALENCY I=IMPLICATION) * gygyg 3。CP规则 结论转作前提规则。 适用于结论为条件式时，把