【正文】 R)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主合取范式)(P(QR))(P(QR))(PQR)(PQR)(原公式否定的主合取范式)(P(QR))(P(QR))(PQR)(PQR)(主析取范式)1P(P(Q(QR)))解：P(P(Q(QR))) P(P(Q(QR))) PQR(主合取范式)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(原公式否定的主合取范式)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)1(PQ)(PR)解、(PQ)(PR)(PQ)(PR) (合取范式)(PQ(RR)(P()R)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主合取范式)(PQ)(PR)(PQ)(PR)P(QR)(合取范式)(P()(RR))((PP)QR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(主析取范式)三、證明：P→Q，QR，R，SP=S證明：(1) R 前提(2) QR 前提(3) Q （1），（2）(4) P→Q 前提(5) P （3），（4）(6) SP 前提(7) S （5），（6）A→(B→C)，C→(DE)，F(xiàn)→(DE),A=B→F證明： (1) A 前提(2) A→(B→C) 前提 (3) B→C （1），（2）(4) B 附加前提(5) C （3），（4）(6) C→(DE) 前提(7) DE （5），（6）(8) F→(DE) 前提(9) F （7），（8）(10) B→F CP PQ， P→R, Q→S = RS證明：(1) R 附加前提(2) P→R 前提(3) P （1），（2）(4) PQ 前提(5) Q （3），（4）(6) Q→S 前提(7) S （5），（6）(8) RS CP，（1），（8）(P→Q)(R→S)，(Q→W)(S→X)，(WX)，P→R = P證明： （1） P 假設(shè)前提（2） P→R 前提（3） R （1），（2）（4） (P→Q)(R→S) 前提（5） P→Q （4）（6） R→S （5）（7） Q （1），（5）（8） S （3），（6）（9） (Q→W)(S→X) 前提（10） Q→W （9）（11） S→X （10）（12） W （7），（10）（13） X （8），（11）（14） WX （12），（13）（15） (WX) 前提（16） (WX)(WX) （14），（15）(UV)→(MN), UP, P→(QS)，QS =M 證明：(1) QS 附加前提（2） P→(QS) 前提 （3） P （1），（2）（4） UP 前提（5） U （3），（4）（6） UV （5）（7） (UV)→(MN) 前提 （8） MN (6),(7)（9） M （8）BD，(E→F)→D，E=B證明：(1) B 附加前提(2) BD 前提 (3) D （1），（2）(4) (E→F)→D 前提(5) (E→F) （3），（4）(6) EF （5）(7) E （6）(8) E 前提(9) EE （7），（8）P→(Q→R)，R→(Q→S) = P→(Q→S)證明：（1） P 附加前提（2） Q 附加前提（3） P→(Q→R) 前提（4） Q→R （1），（3）（5） R （2），（4）（6） R→(Q→S) 前提（7） Q→S （5），（6）（8） S （2），（7）（9） Q→S CP，（2），（8）（10） P→(Q→S) CP，（1），（9）P→Q，P→R，R→S =S→Q 證明：（1） S 附加前提（2） R→S 前提（3） R （1），（2）（4） P→R 前提（5） P （3），（4）（6） P→Q 前提（7） Q (5），（6）（8） S→Q CP，（1），（7）P→(Q→R) = (P→Q)→(P→R)證明：(1) P→Q 附加前提(2) P 附加前提(3) Q (1),(2)(4) P→(Q→R) 前提(5) Q→R (2),(4)(6) R (3),(5)(7) P→R CP,(2),(6)(8) (P→Q) →(P→R) CP,(1),(7)P→(Q→R)，Q→P,S→R,P =S證明：（1） P 前提（2） P→(Q→R) 前提（3） Q→R (1)，(2)（4） Q→P 前提（5） Q (1)，(4)（6） R (3),(5)（7） S→R 前提（8） S (6)，(7)1A，A→B， A→C， B→(D→C) = D證明：（1） A 前提（2） A→B 前提（3） B (1)，(2)（4） A→C 前提（5） C (1)，(4)（6） B→(D→C) 前提（7） D→C (3)，(6)（8） D (5)，(7)1A→(CB)，B→A，D→C = A→D證明：（1） A 附加前提(2) A→(CB) 前提 (3) CB （1），（2）(4) B→A 前提(5) B （1），（4）(6) C （3），（5）(7) D→C 前提(8) D （6），（7）(9) A→D CP，（1），（8）1(PQ)(RQ) （PR）Q證明、(PQ)(RQ) (PQ)(RQ)(PR)Q （PR）Q(PR)Q1P(QP)P(PQ)證明、P(QP)P(QP)(P)(PQ)P(PQ)1（PQ）（PR），(QR)，SPS證明、(1) （PQ）（PR） 前提 （2） P (QR) (1) （3） (QR) 前提 （4） P （2），(3) (5) SP 前提 (6) S (4),(5)1PQ，QR，RS P證明、(1) P 附加前提 （2） PQ 前提 （3） Q （1），（2） （4） QR 前提 (5) R （3），（4） (6 ) RS 前提 （7） R （6） （8） RR （5），（7）1用真值表法證明ＰＱ (ＰＱ)(ＱＰ)證明、列出兩個(gè)公式的真值表：P Q PQ （PQ）（QP） F FF TT FT TT TF FF FT T由定義可知，這兩個(gè)公式是等價(jià)的。1P→QP→(PQ)證明、設(shè)P→(PQ)為F，則P為T，PQ為F。所以P為T，Q為F ，從而P→Q也為F。所以P→QP→(PQ)。1用先求主范式的方法證明(P→Q)(P→R) (P→（QR）證明、先求出左右兩個(gè)公式 的主合取范式(P→Q)(P→R) (PQ)(PR) (PQ(RR)))(P()R) (PQR)(PQR)(PQR)(PQR) (PQR)(PQR)(PQR) (P→（QR）) (P（QR）) (PQ)(PR)(PQ(RR))(P()R) (PQR)(PQR)(PQR)(PQR) (PQR)(PQR)(PQR)它們有一樣的主合取范式，所以它們等價(jià)。(P→Q)(QR) P證明、設(shè)(P→Q)(QR)為T，則P→Q和(QR)都為T。即P→Q和QR都為T。故P→Q，Q和R)都為T，即P→Q為T，Q和R都為F。從而P也為F，即P為T。從而(P→Q)(QR) P2為慶祝九七香港回歸祖國(guó)，四支足球隊(duì)進(jìn)行比賽，已知情況如下，問結(jié)論是否有效?前提: (1) 若A隊(duì)得第一，則B隊(duì)或C隊(duì)獲亞軍。(2) 若C隊(duì)獲亞軍，則A隊(duì)不能獲冠軍。(3) 若D隊(duì)獲亞軍，則B隊(duì)不能獲亞軍。(4) A 隊(duì)獲第一。結(jié)論: (5) D隊(duì)不是亞軍。證明、設(shè)A：A隊(duì)得第一。B: B隊(duì)獲亞軍。C: C隊(duì)獲亞軍。D: D隊(duì)獲亞軍。則前提符號(hào)化為A（BC），CA，DB，A；結(jié)論符號(hào)化為 D。 本題即證明 A（BC），CA，DB，AD。（1） A 前提 （2） A（BC）前提 （3） BC （1），（2） （4） CA 前提 （5） C （1），（4） （6） B （3），（5） （7） DB 前提 （8） D （6），（7）2用推理規(guī)則證明PQ, (QR),PR不能同時(shí)為真。證明、 (1) PR