西工大明德學(xué)院離散數(shù)學(xué)試卷a(編輯修改稿)
2025-05-04 02:56 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 。 P(10) H∨G(8)(9)T,Id)P→Q，(┐Q∨R)∧┐R，┐(┐P∧S) 222。┐S(1) (┐Q∨R) ∧┐R (2) ┐Q∨R (1)T,I(3) ┐R (1)T,I(4) ┐Q (2)(3)T,I(5) P→Q P(6) ┐P (4)(5)T,I(7) ┐(┐P∧┐S) P(8) P∨┐S (7)T,E(9) ┐S (6)(8)T,I(2) 證明：a)┐A∨B，C→┐B222。A→┐C(1) ┐(A→┐C) P (2) A (1)T,I(3) C (1)T,I(4) ┐A∨B P(5) B (2)(4)T,I(6) C→┐B P(7) ┐B (3)(6)T,I(8) B∧┐B 矛盾。(5),(7)b)A→(B→C)，(C∧D)→E，┐F→(D∧┐E) 222。A→(B→F)(1) ┐(A→(B→F)) P(2) A (1)T,I(3) ┐(B→F) (1)T,I(4) B (3)T,I(5) ┐F (3)T,(6) A→(B→C) P(7) B→C (2)(6)T,I(8) C (4)(7)T,I(9) ┐F→(D∧┐E) P (10) D∧┐E (5)(9)T,I(11) D (10)T,I(12) C∧D (8)(11)T,I (13) (C∧D) →E P(14) E (12)(13)T,I(15) ┐E (10)T,I(16) E∧┐E 矛盾。(14),(15)c)A∨B→C∧D，D∨E→F222。A→F(1) ┐(A→F) P(2) A (1)T,I(3) ┐F (1)T,I(4) A∨B (2)T,I(5) (A∨B) →C∧D P(6) C∧D (4)(5)T,I(7) C (6)T,I(8) D (6)T,I(9) D∨E (8)T,I(10) D∨E→F P(11) F(9)(10)T,I(12) F∧┐F矛盾。(3),(11)d)A→(B∧C)，┐B∨D，(E→┐F)→┐D，B→(A∧┐E) 222。B→E(1) ┐(B→E) P(2) B (1)T,I(3) ┐E (1)T,I(4) ┐B∨D P(5) D (2)(4)T,I(6) (E→┐F) →┐D P (7) ┐(E→┐F)16
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號(hào)-1