2020简化真值表和形式证明.pptVIP

哈尔滨市女子排球队有 1 号、 3 号、 4 号、 6 号、 9 号、和 12 号等六名主力队员。在长期的训练和 实际比赛中，教练对主力队员之间的最佳配合 总结了如下几条规律： ①要是 4 号上场， 6 号也要上场 ②只有 1 号不上场， 3 号才不上场 ③要么 3 号上场，要么 6 号上场 ④如果 9 号和 12 号同时上场，则 4 号也要上场。 现在需要 1 号和 12 号同时上场。 请问：为了保持球场上的最佳阵营， 9 号该不该 上场？将推理过程的形式写出来。 形式证明 形式证明就是运用真值形式（人工符号） 之间的“逻辑变形”表示必然性推理的 全过程。 1. 根据复合命题的逻辑特性，可产生基本 的推理有效式和等值式。 2. 形式证明是一个推导序列，推理的有效 性可以在一个推导序列中得到证明。 3 . 形式证明的结构分为三部分：序列号、 真值形式和理由。 例 1 ： p ∨ q ， q → r, ? r ┣ p 序列号 真值形式 理由 1. p ∨ q 前提 2. q → r 前提 3. ? r 前提 4. ? q 2 、 3 否后式 5. p