第九章 命题逻辑.pptVIP

第九章 §9.1命题、连接词 例 概念 1,否定 注 2,合取 例 3,析取 例 注 4,蕴涵 例 注 5,等值 例 句子符号化 例 例 例 练习 练习 §9.2命题公式 一，概念 定义 例 真值指派 二,公式的类型 §9.3命题公式的关系 等值 基本等值关系 说明 例 例 代换实例 例 代入规则 子公式 置换规则 例 例 例 例 公式蕴涵 定理4 定理5 蕴涵关系 证明蕴涵关系 例 例 例 例 例 例 例 例 对偶、定理8 定理9 §9.5推理理论 分析 分析 形式证明 例 例 例2 例3 例4 附加前提 例5 蕴涵关系表 有效结论 例(推理表) 例8 推理表 假言推理 例9 结束 分析 例 形式证明：一个描述推理过程的命题序列，其中每个命题或者是 已知命题，或者是由某些前提推得的结论，序列中最后一个 命题就是所要求的结论，这样的命题序列称为形式证明。 推理规则： ⑴ 前提引入规则：在证明的任何步骤上都可以引入前提 ⑵ 结论引用规则：在证明的任何步骤上所得到的结论都可 以在其后的证明中引用 ⑶ 置换规则：在证明的任何步骤，命题公式的子公式都可 以用与它等值的其它命题公式置换 ⑷ 代入规则：在证明的任何步骤，重言式的任一命题变元 都可用一命题公式代入，得到的仍是重言式。 习题： 构造一个逻辑结构严谨的形式证明，需要以下推理规则的支持 例 1：有前提 H1，H2，和结论 C ，判断推理能否成立： ⑴ H1 ：P → Q ， H2 ： P ， C ： Q ⑵ H1 ：P → Q ， H2 ： Q ， C ： P 列真值表如下： P (P→Q)∧P 0 0 0 0 1 0 Q 0 1 0 1 1 1 P 1 1 0 1 →Q (P →Q )∧Q 0 1 0 1 习题： ((P → Q )∧P)→ Q 1 1 1 1 ( (P→Q )∧Q )→P 1 0 1 1 例 1：有前提 H1，H2，和结论 C ，判断推理能否成立： ⑴ H1 ：P → Q ， H2 ： P ， C ： Q ⑵ H1 ：P → Q ， H2 ： Q ， C ： P 显然，第 ⑴ 小题中，从 H1，H2 能够推出 C ； 第 ⑵ 小题中，不能从 H1，H2 推出 C 把具体命题代入上例中的命题变元 P，Q，则更容易理解 ⑴ P → Q ：如果今天出太阳，他就进城 P ：今天出了太阳 Q ：他进城了 ⑵ P → Q ：如果狗有翅膀，则狗会飞上天 P ：狗有了翅膀 Q ：狗飞上了天 ⑶ P → Q ：如果 n 是素数，则 n 一定是整数 Q ：n 是整数 P ： n 是素数 习题： 例 2：证明 C ：?P 是前提 H1 ：P → Q 和 H2 ：?(P ∧ Q )的结论 ∴ C 是前提 H1 和 H2 的结论 习题： ?( ( ?P ∨ Q ) ∧ ( ?P ∨ ?Q ) )→ ?P