第三章 逻辑推理与永真公式的.ppt

第三章 逻辑推理与永真公 式的公理系统 3.1 逻辑推理的基本思想 3.2 逻辑推理的公理系统 习题及参考答案 §3.1 逻辑推理的基本思想 在数学中和其他自然科学中，经常要考虑从某些前提A1，A2…An能够推导出什么结论。 例如从分子学、原子学，能够得到什么结论等等。我们一般地要对“假设”的内容作深入分析，并研究其间的关系，从而得到结论。在数学及日常生活中，我们常常要决定一个陈述是否可以从另一个陈述推出，这就是“逻辑推理”问题，在给定这个概念形式定义之前，我们先举一些例子进行说明。 例如：如果天气干旱则粮食欠收。 又设；当粮食欠收时大多数人是不幸的。 再设；天气干旱。 那么可以指出大多数人是不幸的。 解：为了指出上述结论，现将陈述句表示如下： P：表示天气干旱， S：表示粮食丰收， U：表示大多数人是幸运的。 例子中有四个陈述句，它们是： 如果天气干旱，则粮食欠收； 如果粮食 欠收，则大多数人是不幸的； 天气是干旱； 大多数人是不幸的； 将它们符号化成为： P → ┐S ┐S → ┐U P ┐U 现在我们指出当P→┐S，┐S→┐U，P均为真时┐U为真，即（P→┐S）∧（┐S→┐U）∧P为真时，┐U为真，我们将其化为范式： （（P→┐S）∧（┐S→┐U）∧P） =（P∧（┐P∨┐S）∧（S∨┐U） 根据等价公式 =（（（P∧┐P）∨（P∨┐S））∧（S∨┐U）） 根据分配律及结合律 =（（F∨（P∨┐S））∧（S∨┐U）） =（P∧┐S）∧（S∨┐U） =（P∧┐S∧S）∨（P∧┐S∧┐U） = P∧┐S∧┐U 故有如下逻辑结论，（（P→┐S）∧（┐S→┐U）∧P）为真，那么（P∧┐S∧┐U）为真，而（P∧┐S∧┐U）为真时，必须P，┐S，┐U均为真，因此我们得到U是假的，此时，逻辑上称┐U是（P→S），（S→┐U），与P的逻辑结果，其形式定义如下： 定义：设A和C是两个命题公式，当且仅当 A→C为一重言式，即A C，称C是A的有效结论。或C可由A逻辑地推出。 这个定义可以推广到有n个前提的情况 判别有效结论的过程就是论证过程，论证的方法千变万化，但基本方法只有三种：即真值表法、直接证法和间接证法。 下面分别举例说明： （1）真值表法 例如：如果张老师来了，这个问题可以得到解答。 如果李老师来了，这个问题也可以得到解答，总之，张老师或李老师来了这个问题都可以得到解答。 解：设P：张老师来了。 Q：李老师来了。 R：这个问题可以得到解答。 上述语句可以表述命题如下： （P→R）∧（Q→R）∧（P∨Q） R 列出真值表如下： 从真值表看到，P→R、Q→R、P∨Q的真值都为T的情况为第一行，第三行和第五行，而在这三行中R的真值均为T。故： （ P→R）∧（Q→R）∧（P∨Q） R （2）直接证明法 例：┐（┐P∧（┐Q∨┐R））=（P∨Q）∧（P∨Q） 证明：┐（┐P∧（┐Q∨┐R）） =┐（┐P∧┐（Q∧R）） 根据┐（P∧Q）=┐Q∨┐P = P∨（Q∧R）同上 =（P∨Q）∧（P∨R） 根据P∨（Q∧R）=（P∨Q）∧（P∨R） 又例： P→Q=┐Q→┐P 证：P→Q=┐P∨Q 根据P→Q=┐P∨Q =┐P∨┐┐Q 根据┐┐P=P =┐┐Q∨┐P 根据P∨Q= Q∨P =┐Q→┐P 根据P→Q=┐P∨Q 在这个证明过程中首先需要要用到一些已知的等价公式（已知的重言式）。由这一点我们可知，要证明一