离散数 第1章 命题逻辑.pptVIP

* 例6 张先生手中有代号为A、B、C、D、E的五种股票，根据当前股市情况及张先生本人的经济需求，需要有若干个股票抛出，但又必须满足如下复杂的要求： （1）若A抛出，则B也抛出； （2）B和C要留一种股票且只能留一种； （3）C和D要么全抛，要么都不抛； （4）D和E两种股票中必然有一种或两种要抛出； （5）若E抛出，则A、B也抛出。 上述五种条件全部满足，问有几种合理的方案供张先生选择。 ﹁A→﹁B C ? D ﹁D∨﹁E ﹁E→﹁A ∧﹁B 解答：留ABE或CD（将题意置换成主析取范式）。 对偶与范式 B ? C * 小 结 1、命题公式的等价演算 2、命题公式的标准化描述 表达、分类、判定、应用 对偶与范式 * 数理逻辑的主要任务是借助于数学的方法来研究推理的逻辑。 推理是从前题推出结论的思维过程，前提是已知的命题公式，结论是从前题出发应用推理规则推出的命题公式。 命题逻辑 推理理论 6 * DEFINITION 11. 若A1∧A2∧…∧Ak→B为重言式，则称从A1, A2, …, Ak推出结论B的推理正确，记作A1∧A2∧…∧Ak?B。B是A1, A2, …, Ak的逻辑结论或有效结论。 称A1∧A2∧…∧Ak→B为推理的形式结构。 推理理论 * 判断推理是否正确的方法有以下几种： （1）真值表法； （2）等值演算法； （3）主析取范式法。 （即判断A1∧A2∧…∧Ak→B是否为重言式） 推理理论 * EXAMPLE 17 判断下列推理是否正确：如果天气凉快，小王就不去游泳，天气凉快，所以小王没去游泳。 解这类推理问题，应先将命题符号化，然后写出前提、结论和推理的形式结构，最后进行判断。 在这里，设p：天气凉快；q：小王去游泳。 前提：p→﹁q, p。结论：﹁q。 推理的形式结构： ((p→﹁q )∧p)→﹁q 。 下面分别用三种方法来判断该蕴含式是否为重言式。 推理理论 * Table 15 （1）真值表法 Table15 ((p→﹁q)∧p)→﹁q (*)的真值表 p q ﹁q p→﹁q (p→﹁q)∧p (*) 0 0 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 真值表的最后一列全为1，因而（*）是重言式，所以推理正确。 推理理论 * （2）等值演算法 ((p→﹁q)∧p)→﹁q ?((﹁p∨﹁q)∧p)→﹁q ?﹁((﹁p ∨﹁q)∧p)∨﹁q ?﹁(﹁p ∨﹁q)∨﹁p∨﹁q ?﹁(﹁p∨﹁q)∨(﹁p∨﹁q) ?1 该蕴含式是重言式，所以推理正确。 推理理论 * ((p→﹁q)∧p)→﹁q ?((﹁p∨﹁q)∧p)→﹁q ?﹁((﹁p∨﹁q)∧p)∨﹁q ?﹁(﹁p∨﹁q)∨﹁p∨﹁q ?(p∧q)∨(﹁p∧(q∨﹁q))∨(﹁q∧(p∨﹁p)) ?(p∧q)∨(﹁p∧q)∨(﹁p∧﹁q))∨(﹁q∧p) ∨(﹁q∧﹁p) ?(p∧q)∨(﹁p∧q)∨(﹁p∧﹁q))∨(p∧﹁q) ?m3∨m1∨m0∨m2 ? ?( 0,1,2,3 ) （3）主析取范式法 该蕴含式的主析取范式中含有4个极小项，因而是重言式。 推理理论 * 为了更好地判断推理的正确性，引入构造证明的方法。 在数理逻辑中，证明是一个描述推理过程的命题公式序列，其中的每个命题公式或者是已知的前提，或者是由某些前提应用推理规则得到的结论。其中有些规则建立在推理定律（重言蕴含式）的基础之上。 重要的8条推理定律：附加、化简、假言推理、拒取式、析取三段论、假言三段论、等价三段论、构造性二难。 除此之外，每个等值式均产生两条推理定律。 推理理论 * 推理规则： 1、前提引入规则：引入前提。 2、结论引入规则：将前面步骤的结论作为前提。 3、置换规则：命题公式可用等价公式置换。 4、假言推理规则：A?B, A╞ B 5、附加规则： A╞ A∨B 6、化简规则：A∧B╞ A 7、拒取式规则：A?B, ?B╞ ?A 8、假言三段论规则：A?B, B?C╞ A?C 9、析取三段论规则：A∨B, ?B╞ A 10、构造性二难规则：A?B,C?D,A∨C╞B∨D 11、合取引入规则：A, B╞ A∧B 推理理论 * EXAMPLE 18 写出对应下面推理的证明： 若数a是实数，则它不是有理数就是无理数。若a不能表示成分数，则它不是有理数。a是实数且它不能表示成分数。所以a是无理数。 解：将简单命题符号化： p：a是实数； q：a是有理数；