อยากทราบวิธีการพิสูจน์คุณสมบัติ 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 |


ความคิดเห็นที่: 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 น.

 

ตอบกระทู้
ชื่อผู้โพสต์
รหัสผ่าน   
ในช่อง "รหัสผ่าน" ให้พิมพ์ตัวอักษรโรมันตามที่ปรากฏในรูปภาพทางขวามือให้ถูกต้อง ในกรณีที่ปรากฏรูปกากบาทให้คลิกขวาแล้วเลือกคำสั่ง Show Picture
  กรุณาอ่าน ข้อตกลงในการใช้งานระบบเว็บบอร์ดและสมุดเยี่ยม ให้ละเอียด ถ้าท่านเข้าใจแล้วให้ทำเครื่องหมายในช่องนี้... แล้วกดปุ่ม "กดเพื่อส่งข้อมูล" ตามลำดับ
  


Copyright © 2005 - 2012 All Rights Reserved