#1
|
|||
|
|||
ตกรรศาสตร์ ครับ
ผมทำไม่ได้เลยหากใหใช้วิธีไหลสมมูล จากโจทย์
[(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 แต่หากให้ไหลสมมูลนี่ทำไม่เป็นเลยครับรบกวนทีครับ |
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
|
|