第三章命题逻辑说课.ppt

命题逻辑 * of 145 定义 设 A 和 C 是两个命题公式，当且仅当 A → C 是一重言式，即A ? C，称 C 是 A 的有效结论。 推广到有 n 个前提的情况，设 H1, H2,…,Hn,C是命题公式，当且仅当 H1 ? H2 ?… ? Hn ? C 称 C 是一组前提H1, H2,…,Hn的有效结论。 论证方法： 真值表法、直接证法、间接证法 命题逻辑 * of 145 例 前提 结论 ( P ? Q ) ? ? P ? Q 命题逻辑 * of 145 1. 真值表法 从真值表上找出 H1 , H2 ,… , Hn 真值均为 T (1)的行，对每一个这样的行，若 C 的真值也为 T(1),则 H1 ? H2 ?… ? Hn ? C 成立。 或看 C 为 F(0) 的行, 在每个这样的行中， H1 , H2 ,… , Hn 真值中至少有一个为 F(0), 则 H1 ? H2 ?… ? Hn ? C 也成立。 命题逻辑 * of 145 例 考察 C 是否是下列前提 H1, H2 的有效结论？ 1) H1: P → Q H2 : P C: Q 是 否 否 2) H1: P → Q H2 : ?P C: Q 3) H1: P → Q H2 : Q C: P 命题逻辑 * of 145 例 考察 C 是否是下列前提 H1, H2 的 有效结论？ H1 : P → Q (若下雨，则停止球赛.) H2 : P (下雨) C : Q (停止球赛) 因为 P → Q, P? Q 所以C 是 H1 和 H2 的有效结论 命题逻辑 * of 145 2. 直接证法 由一组前提,利用一些公认的推理规则,根据已知的等价或蕴含式,推演得到有效的结论. P 规则:前提在推导过程中任何时候都可引用、使用. T 规则:在推导中,若有一个或多个公式重言蕴含着公式 S, 则 S 可引入推导中. 命题逻辑 * of 145 用到的等价(蕴含)式 例 试证 证法1 命题逻辑 * of 145 例 试证 证法2 用到的等价(蕴含)式 命题逻辑 * of 145 例 试证 证明 用到的等价(蕴含)式 命题逻辑 * of 145 例（续） 用到的等价(蕴含)式 命题逻辑 * of 145 3. 间接证法 相容：命题公式Hi (i=1,2,…,m)中的变元为Pi (i=1,2,…,n), 对于Pi中的一些真值指派使得H1? H2?…?H m的真值为 T, 则称公式H1, H2,… ,H m是相容的. 不相容：如果对于Pi中的每一组真值指派使得H1? H2?…?H m的真值均为F,则称公式H1, H2,… ,H m是不相容的. 命题逻辑 * of 145 间接证法（续） H1? H2?…?H m? C，记作 S ? C, 即 S → C为永真, C ? ? S为永真, ? C ? S为永假， 即只要证明公式H1, H2,… ,H m与C是不相容的。 命题逻辑 * of 145 例 试证 证明 用到的等价(蕴含)式 附加 命题逻辑 * of 145 例 试证 证明 用到的等价(蕴含)式 附加 命题逻辑 * of 145 例（续） 用到的等价(蕴含)式 命题逻辑 * of 145 CP 规则 若证 表示为 或 为永真. 即 为永真. 命题逻辑 * of 145 CP 规则（续） 若将 R 作为附加前提,如有 即证得 称为 CP 规则。 命题逻辑 * of 145 例 或是天晴,或是下雨. 若天晴,我去看电影. 若我去看电影,我就不看书. 结论：若我在看书,则天在下雨. M: 天晴 Q: 下雨 S : 我看电影 R: 我看书 命题逻辑 * of 145 用到的等价(蕴含)式 例(续) 附加 证明 命题逻辑 * of 145 例(续) 用到的等价(蕴含)式 命题逻辑 * of 145 复习 3-5 等价与蕴含的关系 3-6 四个联结词(四对互为否定) n个命题变元共有 个真值指派,可构成 个不等价的命题公式 最小全功能联结词组(实际应用中常常同时用{?,?,?}来表示命题公式) 3-7 对偶与范式 范式步骤:联结词/ ? /分配结合律 P?(Q ? R)? P?(P ? R)?(Q ? P)?(Q ? R) *