命题集逻辑推理理论(牛连强).pdfVIP

第1章   命  题  逻  辑     1 1.7 推 理 理 论 从假设前提利用推理规则得到其他命题，即形成结论的过程就是推理，这是研究逻辑的主要 目标。  1.7.1 蕴含与论证 1．推理的含义与形式 [定义 1-22] 当且仅当p q 为永真式时，称为p 蕴含 q （logical  implication），记作 p q ， 或p q 。此时，称p 为前提，q 为p 的有效结论或逻辑结论，也称为 q 可由p 逻辑推出。得出此 逻辑关系的过程称为论证。 [辨析] 由于仅在p 为 1 而q 为0 时公式p q 为0，可见，p q 永真意味着不可能存在前 件p 为1而后件q 为0 的情 ，或者说，若p q ，则只要前件p 为1，后件q 也一定为 1。因此， p q 也称为 “永真蕴含”，即p 永真蕴含q 。  [延伸] 通常，定理（theorem ）被解释为 “经过受逻辑限制的证明为真的陈述”，就是指对 “在 一定条件成立的情况下必然产生某个 （些）结论”的陈述。因此，定理证明也就是对蕴含关系的 论证。当然，通常只有重要或有趣的陈述才被视为定理。  所有逻辑推理的实质就是证明 p q ，也就是证明 p q 为永真式。例如，以下是一个简单 的初等数学证明题目：  已知a 、b 、c 为实数，且 a2 b2  bc ，c  0 ，则有 a2 /c  b(b /c 1) 。  如果记  p ：a2 b2  bc ，q ：c  0 ，r ：a2 /c  b(b /c 1)  则上述论证要求可描述为：  p q r   证明的目的就是说明：若前提 p q 正确，则结论 r 也正确，即证明 p q r 为永真式。  通常的逻辑推理问题都会由一组前提来推断一个逻辑结论，此时的多个前提可写成合取式 H H H ，或写成用逗号分隔的命题序列 H , H , ..., H ，即论证要求可写作：  1 2 n 1 2 n 或 ，或  H H H C， H ,H ，...,H C 1 2 n 1 2 n H H H C ，或H ,H ,...,H C   1 2 n 1 2 n 可见，论证 A C 、A C 或 A C 是永真式都是同义的，且前提也可以用集合表示，如：  {H 1,H 2,..,. H n }C   在数学上，总是要求前提为真，从而推导出有效的结论，并不需要研究从假的前提能得到什 么结论，且推理形式与前提的排列次序无关。尽管由前提 A 到结论 C 的推理一般记作A C ，如      2 工科离散数学  果推理是正确的，则可记作 ⊨ 。  A C 2 ．常规的推理方法 在日常生活和科学实践中，可以采用一些形式不太严格的方法进行推理论证。  (1)  真值表法，即列出公式H 1 H 2 H n C 的真值表。若公式中所有行的真值全为 1 则得证。这种证明方法没有什么逻辑味道，在命题变元较多时也很困难。  (2)  叙述型推理，说明不存在H 1 H 2 H n 为 1且 C 为 0 的情况。可以有两种叙述形式：