Proof M.T
เหตุ 1] p->~q
2] q
ผล ~p
proof. 1. [ [p->~q] ^ q]-> ~p
2.~[ [p->~q]^q ] v ~p 1.and implication
3.~[p->~q] v ~q v ~p 2.and De morgan
4.~[~p v ~q] v [~p v~q] 3. , implication and commutative
5. T 4. and excluded middle
ประมาณนี้อ่าคับ
| อยากทราบวิธีการพิสูจน์คุณสมบัติ Transitive Law และ Modus Ponens (ตรรกศาสตร์) |
| 1. p --> ~q 2.~q --> (r --> s) จะได้ p --> (r --> s) มันเหมือนกับ a > b , b > c แล้ว a > c รึป่าวค่ะ ------------------------------------------------------ 1.~p --> (q --> r) 2.~p จะได้ q --> r (จากกฎ Modus Ponens) ถ้า ~p เป็นจริง และ ~p --> (q --> r) เป็นจริง จะได้ว่า (q --> r) เป็นจริงด้วยอย่างนี้เข้าใจถูกต้องรึป่าวค่ะ ------------------------------------------------------ แล้วกฎ Modus Tollens P --> Q, ~Q ------------------ (หาร) ~P อธิบายได้ว่ายังไงอ่ะคะ ขอบคุณค่ะ |
| ผู้ตั้งกระทู้: หางกะทิ เขียนเมื่อ: 7 ก.ค. 2553 เวลา 17:29 น. |
| ความคิดเห็นที่: 1 |
|
| คือ เอาเหตุทั้งหมด มาเชื่อมด้วย and แล้ว implie กับ ผล จากนั้น Proof โดยตรง สุดท้าย จะได้Tautology จะได้ว่า กฎการอนุมานนั้นสมเหตุสมผลคับ เช่น Proof M.T เหตุ 1] p->~q 2] q ผล ~p proof. 1. [ [p->~q] ^ q]-> ~p 2.~[ [p->~q]^q ] v ~p 1.and implication 3.~[p->~q] v ~q v ~p 2.and De morgan 4.~[~p v ~q] v [~p v~q] 3. , implication and commutative 5. T 4. and excluded middle ประมาณนี้อ่าคับ |
|
| ผู้ตอบกระทู้: KIM_MATH เขียนเมื่อ: 18 ก.ค. 2553 เวลา 12:43 น. | |
| ความคิดเห็นที่: 2 |
|
| เข้าใจแล้วค่ะ ^^ ขอบคุณนะคะ |
|
| ผู้ตอบกระทู้: หางกะทิ เขียนเมื่อ: 7 ส.ค. 2553 เวลา 13:08 น. | |
Copyright © 2005 - 2012 All Rights Reserved