離散數(shù)學?？碱}型梳理

1、離散數(shù)學?？碱}型梳理第6章 命題邏輯一、題型分析本章主要介紹命題、聯(lián)結詞的概念，命題公式與翻譯，真值表與等價公式，重言式與蘊含式，范式和命題邏輯的推理理論等內容。經常涉及到的題型有：6-1 將陳述句翻譯成命題公式6-2 求命題公式的真值6-3 命題公式類型的判斷6-4 等價公式的證明6-5 求范式和主范式6-6判斷有效結論的直接證法和間接證法因此，在本章學習過程中希望大家要清楚地知道：1將陳述句翻譯成命題公式命題表述為具有確定真假意義的陳述句。命題必須具備二個條件：語句是陳述句；語句有唯一確定的真假意義。因此判斷一個句子是否為命題，應首先判斷它是否為陳述句，再判斷它是否有唯一的真值。例如，“北

2、京是中國的首都”是陳述句，有確定的真假意義，是命題，為真命題。將陳述句翻譯成命題公式關鍵在于陳述句的邏輯含義要與命題公式的邏輯含義保持一致。因此首先要注意陳述句中表示特殊邏輯關系的詞語的含義，其次要掌握五個聯(lián)結詞“Ø， Ù， Ú，®，«”所表示的命題間的邏輯關系：“Ø” 是唯一一元聯(lián)結詞，表示否定；合取聯(lián)結詞“Ù”在語句中相當于“不但而且”，“既又”；析取聯(lián)結詞“Ú”在語句中表示“或”的含義；條件聯(lián)結詞“®”在語句中表示“如果P則Q”或“只有Q，才P”；雙條件聯(lián)結詞“«”在語句中相當于“當且僅當

3、”。例如，“我們不能劃船，又跑步”。設P：我們劃船，G：我們跑步，那么該命題符號化為：或。2求命題公式的真值一般將命題的合式公式簡稱為命題公式。要理解合式公式的遞歸定義： （1）單個命題變元本身是一個合式公式 （2）若A是合式公式，則A是合式公式 （3）若A與B是合式公式，則（AB），（AB），（AB）與（A«B）是合式公式（4）當且僅當能夠有限次應用（1）、（2）、（3）所得到的包含命題變元，聯(lián)結詞和括號的符號串是合式公式顯然，如果對一個命題公式中的命題變元不給以真值指派，則命題公式無真值可言。如果對命題公式中的每個命題變元都賦以真值（1或0），則命題公式就變成了一個有真值的命題，

4、并可求出其真值。對于特殊的命題公式（永真式和永假式），對命題公式中的命題變元不給以真值指派，利用常用的等價公式也可以求出其真值（永真式為1，永假式為0）。對命題公式中的所有命題變元指派各種可能的真值組合，就可確定這個命題公式對應的取值，將命題變元的所有真值組合及命題公式對應的取值匯列成表，就得到命題公式的真值表如果一個命題公式有n個命題變元，那么命題變元的真值指派就可能出現(xiàn)種不同的組合。在真值表中是包含了命題變元的所有真值指派。例如，如果一個命題公式有3個命題變元，那么命題變元的真值指派就有8種不同的組合，作其真值表就是將這8種真值組合及命題公式對應的真值匯列成表。要非常熟練地掌握命題公式的真

5、值表作法，因為利用真值表可以判定命題公式類型，驗證等價公式和蘊含式，求命題公式的主析取(合取)范式，在推理理論中判別有效結論。3. 命題公式類型的判斷在各種真值指派下均為真的命題公式，稱為重言式或永真式；在各種真值指派下均為假的命題公式，稱為矛盾式或永假式；不是矛盾式的命題公式，稱為可滿足式。 判定命題公式類型的方法：(1) 真值表法：任給命題公式，列出其真值表，若真值表的最后一列全為1，則該公式為永真式；若真值表的最后一列全為0，則該公式是永假式；若真值表的最后一列既非全1，又非全0，則該公式是可滿足式。(2) 等值演算法：利用常用的等價公式，對給定公式進行等值推導，若該公式的真值為1，則該

6、公式為永真式；若該公式的真值為0，則該公式為永假式。既非永真，也非永假，則為非永真的可滿足式。4. 等價公式的證明等價公式：給定兩個命題公式A與B，設P1，P2，Pn為所有出現(xiàn)于A與B中的原子變元，若給P1，P2，Pn任一組真值指派，A與B的真值均相同，則稱公式A與B是等價的或邏輯相等，記作AÛB，此公式可稱為等價公式。真值表法（驗證公式等價）：將兩個命題公式的真值表列出，在所有的真值指派下，兩個公式的真值都對應相同，則說明兩個公式等價，否則，就不等價。等值演算法（證明公式等價）：利用教材182頁的14個基本等價式對給定公式進行等值演算，可以證明命題公式等價。5求范式和主范式求范式，

7、包括求析取范式、合取范式、主析取范式和主合取范式。關鍵有兩點：其一是準確掌握范式定義；其二是巧妙使用基本等價式中的分配律、同一律和摩根律，結果的前一步適當使用冪等律。范式的相關定義有：合取范式：一個命題公式稱為合取范式，當且僅當它具有形式： A1A2An ， （n1）其中A1，A2，An均是由命題變元或其否定所組成的析取式 析取范式：一個命題公式稱為析取范式，當且僅當它具有形式：A1A2An ， （n1）其中A1，A2，An均是有命題變元或其否定所組成的合取式 布爾合取、小項：n個命題變元的合取式，稱為布爾合取或小項，其中每個變元與它的否定不能同時存在，但兩者必須出現(xiàn)且僅出現(xiàn)一次一般n個命題變

8、元共有個小項。布爾析取、大項：n個命題變元的析取式，稱為布爾析取或大項，其中每個變元與它的否定不能同時存在，但兩者必須出現(xiàn)且僅出現(xiàn)一次一般n個命題變元共有個大項。主析取范式：對于給定的命題公式，若有一個等價公式，它僅僅由小項的析取組成，則該等價式稱為原式的主析取范式 主合取范式：對于給定的命題變元，如果有一個等價公式，它僅僅由大項的合取組成，則該等價式稱為原式的主合取范式 求析取(合取)范式的步驟： 將公式中的聯(lián)結詞都化成Ø，Ù，Ú(即消去聯(lián)結詞®，«)； 將否定聯(lián)結詞Ø消去或移到各命題變元之前； 利用分配律、結合律等，將公式化為析取

9、(合取)范式。求主析取范式(主合取范式)的方法：真值表法：在命題公式的真值表中，真值為1的指派所對應的小項的析取，為此命題公式的主析取范式；在命題公式的真值表中，真值為0的指派所對應的大項的合取，為此命題公式的主合取范式。等值演算法：利用等價公式，求命題公式A的主析取(合取)范式的步驟： 將公式A化為析取(合取)范式； 除去析取(合取)范式中永假(永真)的析取 (合取) 項，并將析取(合取)式中重復出現(xiàn)的合取項(析取項)和相同變元合并。 對于不是小項（大項）的合?。ㄎ鋈。┦?，補入沒有出現(xiàn)的命題變元，即通過合?。ㄎ鋈。┨砑覲ÚØP(PÙØP) 式，然后利用

10、分配律展開公式。一般地，若命題公式A的主析取范式為則A的主合取范式為 由此可見，命題公式A的主析取范式的小項個數(shù)與主合取范式的大項個數(shù)之和等于。6判斷有效結論的直接證法和間接證法判斷有效結論的過程就是論證過程，基本方法有真值表法、直接證法和間接證法。要重點掌握后兩種方法。直接證法：就是由一組給定的前提，利用一些公認的推理規(guī)則，并根據(jù)已知的等價公式和蘊含公式，推演得到有效結論的方法在證明過程中一般要用到的兩個公認的推理規(guī)則，即P規(guī)則與T規(guī)則P規(guī)則：前提在推導過程中的任何時候都可以引入使用T規(guī)則：在推導中，如果有一個或多個公式重言蘊含著公式C，則公式C可以作為前提在推導引用因此要掌握直接證法，就必

11、須理解并掌握好教材第182頁的14個等價公式和14個蘊含公式，并會使用P規(guī)則和T規(guī)則。將證明的過程用三列的形式表示，第一列為序號，第二列為當前得到的結論，第三列為得到當前結論的理由或根據(jù)E與I分別表示已經證明成立的等價式與蘊含式間接證法：有兩種，一種為反證法，是由不相容的概念引出的一種間接證法。相容、不相容：假設公式H1，H2，Hm中的命題變元為P1，P2，Pn，對于P1，P2，Pn的一些真值指派，如果能使H1H2Hm的真值為T，則稱公式H1，H2，Hm是相容的如果對于P1，P2，Pn的每一組真值指派，使得H1H2Hm的真值為F，則稱公式H1，H2，Hm是不相容的其證明思路就是，如要證明，只要

12、把作為前提使用，推出矛盾的結論即可。另一種間接證法就是附加前提證明法：該方法使用的前提是有效結論以蘊含的形式出現(xiàn)，即具有這樣的形式。則把B作為附加前提使用，只要推出結論C即可。即證明。通常將此方法稱為CP規(guī)則。二、?？贾R點分析常考知識點1：將陳述句翻譯成命題公式（歷年考核次數(shù)：6次，本課程共考過6次；重要程度：）1.（2009年10月試卷第11題）將語句“他是學生”翻譯成命題公式解題過程 依據(jù)命題必須具備的二個條件，可設P：他是學生， 則該語句翻譯成命題公式為： P 2.（2008年7月試卷第12題）將語句“今天沒有人來”翻譯成命題公式解題過程 依據(jù)命題必須具備的二個條件以及否定聯(lián)結詞“&#

13、216;”的定義，可設 P：今天有人來， 則語句“今天沒有人來” 翻譯成命題公式為 Ø P。3.（2008年7月試卷第11題）將語句“如果所有人今天都去參加活動，則明天的會議取消”翻譯成命題公式解題過程 在該語句中出現(xiàn)表示邏輯關系的連詞“如果，則”，這樣我們就很容易聯(lián)想到條件聯(lián)結詞“®”在語句中表示“如果，則”，但要注意的是，似乎P®Q是“因果關系”，但是不一定總有因果關系，只要P，Q是命題，那么P®Q就是命題(即有真值)，不管P，Q是否有無因果關系。因此，設P：所有人今天都去參加活動，Q：明天的會議取消，于是該語句可翻譯成命題公式為： P®

14、Q 4.（2009年1月試卷第12題）（2010年1月試卷第12題）將語句“我去旅游，僅當我有時間”翻譯成命題公式解題過程 P®Q表示的基本邏輯關系是，Q是P的必要條件，P是Q的充分條件，因此復合命題“只要P，就Q”，“P僅當Q”，“只有Q才P”等都可以符號化為P®Q的形式。因此可設P：我去旅游，Q：我有時間，則語句“我去旅游，僅當我有時間”翻譯成命題公式為：P®Q 5.（2008年9月試卷第12題）將語句“小王去旅游，小李也去旅游”翻譯成命題公式解題過程 合取聯(lián)結詞“Ù”在語句中相當于“并且”，“不但而且”，“既又”。但要注意“Ù”與 “并且

15、”等是有區(qū)別的，“并且”等要考慮語義，而“合取”只考慮命題之間的關系以及復合命題的取值情況，不考慮語義。因此，可設P：小王去旅游，Q：小李去旅游，則語句“小王去旅游，小李也去旅游”翻譯成命題公式為：PÙQ常考知識點2：求命題公式的真值（歷年考核次數(shù)：1次，本課程共考過6次；重要程度：）1.（2009年 1月試卷第6題）命題公式的真值是 解題過程 依次利用蘊含等價式、結合律和零律，可將該命題公式化為：，因此該公式的真值是1。?？贾R點3：命題公式類型的判斷（歷年考核次數(shù)：2次，本課程共考過6次；重要程度：）1.（2008年 7月試卷第14題）判斷說明題（判斷下列各題正誤，并說明理由）為

16、永真式 解題過程 正確因為聯(lián)結詞運算的優(yōu)先次序為：，®，«，再利用等價公式中的蘊含等價式，吸收律和否定律，對給定公式進行等值推導如下：因此該公式是永真式。以上是利用等值演算法判斷公式的類型，也可利用如下真值表法。PQØPØQP®ØQØP Ù(P®ØQ)ØP Ù(P®ØQ) Ú P 1100001 1001101 01101110011111由真值表可見該公式在任意真值指派下的真值都是1，因此該公式是永真式。2.（2009年1月試卷第5題）下列公式

17、 ( )為重言式AØPÙØQ«PÚQ B(Q®(PÚQ) «(ØQÙ(PÚQ) C(P®(ØQ®P)«(ØP®(P®Q) D(ØPÚ(PÙQ) «Q解題過程 C選A錯誤.因為利用蘊含等價式，可將ØPÙØQ化為Ø(PÚQ)，即ØPÙØQÛ Ø(PÚQ)，依據(jù)等價聯(lián)結詞的定

18、義可知Ø(PÚQ)«PÚQ為矛盾式。選B錯誤.因為利用蘊含等價式、分配律和結合律，可將(Q®(PÚQ)化為(Q®(PÚQ) Û (ØQÚ(PÚQ) Û(ØQÚQ)ÚP) Û(1Ú P) Û1 而用分配律和否定律得(ØQÙ(PÚQ) Û(ØQÙP)Ú(ØQÙQ) Û(ØQÙP)Ú0

19、) Û(ØQÙP)依據(jù)等價聯(lián)結詞的定義可知1«(ØQÙP)為可滿足式。選C正確.因為利用蘊含等價式可將(P®(ØQ®P)«(ØP®(P®Q)化為(ØPÚ(QÚP)«(PÚ (ØPÚQ)，再利用結合律得(ØPÚ (QÚP)«( ØPÚ (QÚ P)。再依據(jù)等價聯(lián)結詞的定義可知該式為重言式。選D錯誤.因為利用分配律可將(Ø

20、PÚ(PÙQ)化為(ØPÚ(PÙQ) Û(ØPÚP)Ù(ØPÚQ) Û(1Ù (ØPÚQ) Û(ØPÚQ)依據(jù)等價聯(lián)結詞的定義可知(ØPÚQ)«Q為可滿足式。?？贾R點4：等價公式的證明（歷年考核次數(shù)：2次，本課程共考過6次；重要程度：）1.（2008年 9月試卷第5題）下列等價公式成立的為( )AØPÙØQÛPÚQ BP®(&

21、#216;Q®P) ÛØP®(P®Q) CQ®(PÚQ) ÛØQÙ(PÚQ) DØPÚ(PÙQ) ÛQ解題過程 B選A錯誤.因為依據(jù)德·摩根律，ØPÙØQÛØ(PÚQ)，所以ØPÙØQ與PÚQ不等價。選B正確.因為依次利用蘊含等價式、分配律和蘊含等價式可得，P®(ØQ®P) Û P®(Q&

22、#218;P) ÛØ PÚ (QÚ P) ÛPÚ (Ø PÚ Q) Û PÚ (P®Q) Û ØP® (P®Q)。選C錯誤.因為依次利用蘊含等價式、結合律、否定律和零律可得，Q®(PÚQ) ÛØQÚ (PÚQ) Û1，而 ØQÙ(PÚQ) Û(ØQÙP) Ú(ØQÙ Q) Û(&

23、#216;QÙP) Ú0Û(ØQÙP) ，其真值不等于1。選D錯誤.因為依次利用分配律、否定律和同一律可得，ØPÚ(PÙQ) Û(ØPÚP)Ù(ØPÚQ) Û1Ù(ØPÚQ) Û (ØPÚQ)，顯然與Q不等價。2.（2010年 1月試卷第5題）下列公式成立的為( )AØPØQ Û PQ BP®ØQ Û ØP®

24、Q CQ®P Þ P DØP(PQ)ÞQ解題過程 D選A錯誤.因為依據(jù)德·摩根律，ØPØQ ÛØ(PQ)，顯然與PQ不等價。選B錯誤.因為利用蘊含等價式可得，P®ØQ Û ØPØQ，同理，ØP®QÛ PQ，顯然ØPØQ與PQ不等價。選C錯誤.因為Q®P Þ P是一個蘊含式，依據(jù)蘊含的定義，該蘊含式成立只需證明(Q®P)® P為重言式即可。依次利用蘊含等價式、分配律、否

25、定律和同一律，(Q®P)® P Û(ØQÚP)® PÛØ (ØQÚP) Ú PÛ (QÙØP) Ú PÛ (QÚP) Ù(Ø P ÚP) Û (QÚP) Ù1Û (QÚP)，顯然結果不是重言式，因此Q®P Þ P不成立。選D正確.也可以利用直接證法來證明該蘊含式，思路是：證明ØP(PQ)為真時，Q一定為真。假定

26、6;P(PQ)為T，則ØP為T，且PQ為T，由P為F，PQ為T，知Q為T。則ØP(PQ)ÞQ成立。?？贾R點5：求范式和主范式（歷年考核次數(shù)：6次，本課程共考過6次；重要程度：）1.（2008年7月試卷第17題）求P®QÚR的析取范式、合取范式、主析取范式、主合取范式 解題過程 依據(jù)求析取(合取)范式的步驟可得，P（RQ）ÛP(RQ)Û PQR （析取范式、合取范式、主合取范式）Û因此該公式的主析取范式對應的小項為：，故該公式的主析取范式為： (PQR)(PQR) (PQR) (PQR) (PQR) (PQR) (

27、PQR) 。此外，我們也可利用真值表法求該命題公式的主析取范式和主合取范式 PQRP®QÚR小項大項0001 PQR0011PQR 0101 PQR0111PQR 1000 PQR1011PQR 110 1  PQR 1111PQR 表中所有小項的析取就是公式的主析取范式，所有大項的合取就是公式的主合取范式，從真值表中可以看出所得結果與用上述等值演算法所得結果相同。2.（2008年9月試卷第3題）命題公式（PQ）R的析取范式是 ( ) AØ（PQ）R B（PQ）R C（PQ）

28、R D（ØPØQ）R解題過程 D 依據(jù)求析取范式的步驟可得，（PQ）RÛØ(PQ）RÛ (ØPØQ)R，這就是命題公式（PQ）R的析取范式，雖然命題公式的析取范式不唯一，但這個結論與選項D相同，故選擇D。3.（2009年1月試卷第16題）試求出（PQ）R的析取范式，合取范式，主合取范式解題過程 （PQ）RÛ(PQ)RÛ (PQ)R（析取范式） Û (PR) (QR)（合取范式） Û (PR)(QQ) (QR)(PP) Û (PRQ)(PRQ) (QRP)(QRP) Û

29、; (PQR)(PQR) (PQR) （主合取范式） ?？贾R點6：判斷有效結論的直接證法和間接證法（歷年考核次數(shù)：0次，本課程共考過6次）1. 試證明（），Þ 。判斷有效結論的直接證法和間接證法，它的理論根據(jù)是14個等價公式（P167），14個蘊含式(P170-171)，三個規(guī)則(P規(guī)則、T規(guī)則和CP規(guī)則)。在這些公式中，我們并不需要全部記住，記住最基本的即可，在這些公式中，下列這些式子是最基本的和最常用，其它公式有的可以根據(jù)它推導出來。14個蘊含式中最常用和最基本的式子有(1)，(2)，(3)，(8)，(10)，(11)。14個等價式中（12）,（14）式用得較少。利用直接證明法

30、和間接證明法來證明，一個關鍵問題就是在多個前提條件下，不知道按什么順序來引入前提？一般的來說是根據(jù)析取三段論（或假言推理）（即教材P170第（9）、（10）式），即一個前提中含有A，再引入一個含有A的前提，就可以去掉A了。這樣我們可以先從遠離結論的前提入手，逐步推導出結論。分析：結論是，先從遠離結論的前提（或者）出發(fā)引入第一個前提，然后根據(jù)析取三段論再引入一個含有的前提（或者），這樣就可以去掉了，只剩下了，再引入一個含有的前提（），就又可以去掉了，只剩下含有、了，這正是結論所需要的。證明：(直接證法) P P T I () P () TI () TI TE 三、模擬練習練習1。（2009年1月

31、試卷第11題）將語句“他不去學校”翻譯成命題公式解析：依據(jù)命題和否定聯(lián)結詞的定義，可設P：他去學校， 則語句“他不去學?！狈g成命題公式為 Ø P 練習2。（2009年7月試卷第12題）將語句“今天沒有下雨”翻譯成命題公式解析：依據(jù)命題和否定連接詞的定義，可設P：今天下雨， 則語句“今天沒有下雨”翻譯成命題公式為 Ø P練習3。（2008年9月試卷第11題）將語句“如果你去了，那么他就不去”翻譯成命題公式解析：條件聯(lián)結詞“®”在語句中表示“如果，則”，與本語句中的“如果，那么”，語意相同，再依據(jù)否定聯(lián)結詞的定義，則可設P：你去，Q：他去，于是語句“如果你去了，那么

32、他就不去”翻譯成命題公式為P®ØQ練習4。（2009年10月試卷第12題）將語句“如果明天不下雨，我們就去郊游”翻譯成命題公式解析：依據(jù)條件聯(lián)結詞“®”在語句中表示“如果，則”，以及否定聯(lián)結詞的定義，可設P：明天下雨，Q：我們就去郊游，則該語句可翻譯成命題公式為 Ø P® Q 練習5。（2009年7月試卷第11題）將語句“盡管他接受了這個任務，但他沒有完成好”翻譯成命題公式解析：依據(jù)合取聯(lián)結詞“Ù”在語句中相當于“并且”，“不但而且”，“既又”，以及否定聯(lián)結詞的定義，可設P：他接受了這個任務，Q：他完成好了這個任務。則該語句可翻譯成命

33、題公式為 PÙØ Q練習6。（2010年1月試卷第11題）將語句“今天考試，明天放假”翻譯成命題公式解析：合取聯(lián)結詞“Ù”只考慮命題之間的關系以及復合命題的取值情況等。因此，可設P：今天考試，Q：明天放假則該語句可翻譯成命題公式為 PQ練習7。將語句“如果天不下雪，我有時間，那么我就去市里”翻譯成命題公式解析：依據(jù)合取聯(lián)結詞“Ù”，在語句中相當于“并且”，“不但而且”，條件聯(lián)結詞“®” 在語句中表示“如果，則”。因此，可設P：天下雪，Q：我去市里，R：我有時間，則該語句可翻譯成命題公式為：ØPÙR®Q練習8。命題公

34、式的真值是 解析：該命題公式的真值為1。依據(jù)蘊含等價式、結合律和零律，可將該命題公式化為：練習9。命題公式（PÚQ）Q為（ ）A. 矛盾式 B可滿足式C重言式 D合取范式解析：B因為利用蘊含等價式可將（PÚQ）Q化為Ø（PÚQ）ÚQ，利用德·摩根律得（ØPÙØQ）ÚQ，利用分配律得（ØPÚQ ）Ù(ØQÚQ)，利用否定律得（ØPÚQ）Ù1，再利用同一律得ØPÚQ，因此該命題公式為可滿足式。練習10

35、。判斷命題公式(QP)P的類型（重言式、矛盾式或可滿足式），說明理由。解析：(QP)PÛ(QP)PÛ (QP)PÛQPPÛQ(PP)ÛQ0Û0所以(QP)P是矛盾式。練習11。證明命題公式是永真式證明：Û1練習12。下列命題公式等值的是為（ ）。A. B. C. D. 解析：C因為利用蘊含等價式可得，練習13。化簡命題公式解析：因為 Û 練習14。證明命題公式(P®(QÚØR)ÙØPÙQ與Ø（PÚØQ）等值 證明 (P

36、4;(QÚØR)ÙØPÙQÛ(ØPÚ(QÚØR)ÙØPÙQ Û(ØPÙØPÙQ)Ú(QÙØPÙQ)Ú(ØRÙØPÙQ) Û(ØPÙQ)Ú(ØPÙQ)Ú(ØPÙQÙØR) ÛØPÙQ 

37、9;Ø(PÚØQ) 練習15。（2009年7月試卷第15題）求（PQ）（RQ）的合取范式解析：（PQ）（RQ） ÛØ（PQ）（RQ） Û(ØPØQ)（RQ） Û(ØPRQ)(ØQRQ)Û(ØPRQ) R 合取范式 練習16。（2009年10月試卷第15題）求（PQ）R的析取范式與合取范式解析：（PQ）R Û Ø（PQ）R Û (ØPØQ)R （析取范式） Û (ØPR)(ØQR) （合取

38、范式）練習17。（2010年1月試卷第2題）命題公式（PQ）的合取范式是 ( ) A（PQ） B（PQ）（PQ） C（PQ） DØ（ØPØQ）解析：C因為，選項A，B與命題公式（PQ）不等價，選項D中的“Ø”沒有移到各命題變元之前，選項C是命題公式（PQ）只由一個析取項組成的合取范式。故選項C正確。練習18。試證明： 解析： (附加前提證明法)(1) S CP規(guī)則(2) ØSÚP P(3) P T(1)(2)I(4) P®(Q®R) P(5)Q®R T(3)(4)I(6)Q P(7)R T(5)(6)I練習19。構造下面推理的證明前提  R Q，RS，S Q，P Q