第七章基本推論規則.docVIP

第七章　基本推論規則 7-1真值形式 真值表的表列結果稱為該語句的真值形式，真值形式有三類。 一是恒真的,即無論其中的變項取什麼值(真或假),真假值都是真的。此稱之為恒真式(套套邏輯,tautology)。若其真值表結果都是假的,即是矛盾式(contradiction);三則是有真有假,則稱為適真句(contingence)。 最後決定真值形式的連接詞稱為主連詞(major connective)或控制連詞(dominant connective)。 例1：((P(Q)(P)((Q P Q ((P(Q)(P)( (Q 1 1 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 1 1 第三行中，在 主連詞‘(’正下方的那一行的第一列出現 ‘0’，表示整行不是恒真式。此複合語句是偶然式。 例2：((P(Q)((P)(Q P Q ((P(Q)((P)(Q 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 第三行中，在 主連詞‘(’正下方的那一行的第一至四列都是 ‘1’，表示此複合語句的真值形式是恒真式。 7.2判定定理 推理形式A1,A2,．．．An; /(A是有效（valid）的,若且唯若,相應的蘊涵式 (A1(A2(．．．(An)( A為恒真式。也就是以下(a)和(b)同時成立。 (a)如果A1,A2,．．．An;(A是有效(valid)的,則(A1(A2(．．．(An)( A為恒真式。 (b)如果(A1(A2(．．．(An)( A為恒真式,則A1,A2,．．．An;(A是有效(valid)的。 (用反證法分別證明之) 7-3基本推論規則： 這些規則都可以用真值表證明是恒真句。 (1)條件句的建構式： 在所有的邏輯基本規則中，「建構式」（Modus Ponens）的規則是最重要的一條。簡稱為M.P.。用符號表示如下： P→Q　　 P　　　　　　　　P稱為前件（antecedent）；Q稱為後件（consequent）。 ∴Q 說明：假如有一條件式及該條件式的前件，則可推得條件式的後件為其結論。(在條件式中，只要肯定前件，即可推出肯定後件。) （（P(Q）(P）(Q (建構式,Modus Pones) P Q ((P(Q) (P) (Q 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 例如1： (((A(B)→(C)((A(B))→(C 例如2： (((A(B)→(C)(A)→(C (2)條件句的破壞式： 破壞式（Modus Tollens），簡稱M.T.。符號表示如下： P→Q　　 (Q　　　　　　　　P稱為前件（antecedent）；Q稱為後件（consequent）。 ∴(P 說明：假如有一條件式及該條件式後件的否定式，則可推得該條件式前項的否定式為結論。(在條件句中，只要否定後件，即可推出否定前件。) （（P(Q）((Q）((P (破壞式, Modus Tollens) P Q ((P(Q) ((Q) ((P 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 例1： (((A ( B)→C)((C)→((A ( B) 例2： (((（A ( B）→((C ( D))((C (D))→(A ( B) (3)條件（假言）三段論式： 假言三段論式(Hypothetical Syllogism)是表示以條件語句為主的三段式推論。簡稱H.S.。其符號形式如下： P→Q Q→R ∴P→R 說明：假如有兩個條件式，其中第一項前題的後件與第二項前題的前件相等同，則可以推得另一條件式的前件為第一前題的前件，而後件為第二前題的後件。 例1： ((A(B)→C)((C→(D(E))(((A(B)→(D(E)) 例2： (((A(B)→(C(D))(((C(D)→((E(F)))(((A(B)→((E(F) (4)連結規則： 連結規則（Rule of Conjunction），簡稱Conj.。P Q ∴P ( Q 說明：假如有任兩個命題，則可推出它們的連結式為結論。 例如： (A(B),(C→D); /∴(A(B)((C→D) (5)簡化規則： 　 簡化規則（Rule of Simplification）簡稱Simp.定義如下： P(Q ∴P 或者 P(Q ∴Q 說明：從一連結式的前題可以推論出其中任何一連結項為結論。 討論1： ((A(B)→C)((A→C) 討論2： (((A(B)→((C(D))((F((