ตกรรศาสตร์ ครับ

[wanaka]

ผมทำไม่ได้เลยหากใหใช้วิธีไหลสมมูล จากโจทย์
[(p=>q)=>p]=>p

หากแทนตัวแปร มันก็จะสมมูลโดย
= (1) 1. (P > Q) > P Assumption
(2) 2. ~P Assumption
(3) 3. P Assumption
(4) 4. ~Q Assumption
(3,4) 5. P & ~Q 3,4 &I
(3,4) 6. P 5 &E
(3) 7. ~Q > P 4,6 CP
(2,3) 8. ~~Q 2,7 MT
(2,3) 9. Q 8 DNE
(2) 10. P > Q 3,9 CP
(1,2) 11. P 1,10 MP
(1,2) 12. P & ~P 11,2 &I
(1) 13. ~~P 2,12 RAA
(1) 14. P 13 DNE
(-) 15. ((P > Q) > P) > P 1,14 CP

แต่หากให้ไหลสมมูลนี่ทำไม่เป็นเลยครับรบกวนทีครับ