creatio ex nihilo

ศล
Location :
กรุงเทพ Thailand

[Profile ทั้งหมด]

ให้ทิปเจ้าของ Blog [?]
ฝากข้อความหลังไมค์
Rss Feed
Smember
ผู้ติดตามบล็อก : 85 คน [?]




Group Blog
 
All Blogs
 
Friends' blogs
[Add ศล's blog to your web]
Links
 

 
บทพิสูจน์ว่ามาริโอ้เกลียดเห็ด



กำหนดให้

A = มาริโอ้เกลียดเห็ด
B = ถ้า B เป็นจริงแล้ว A เป็นจริง

อาจเขียนแทน B ด้วย B → A เราจะใช้วิธีพิสูจน์โดยใช้ข้อขัดแย้งนะครับ (proof by contradiction) เริ่มต้นกำหนดให้ B เป็นเท็จ ดังนั้น B → A เป็นเท็จ วิชาตรรกศาสตร์ ม.4 บอกเราว่า "ถ้า...แล้ว..." หรือตัวเชื่อมประพจน์ "→" ให้ค่าความจริงเป็นเท็จเมื่อตัวหน้าจริงและตัวหลังเท็จ นั่นคือ B ต้องเป็นจริง ซึ่งขัดแย้งกับที่กำหนดไว้ตอนแรกว่า B เป็นเท็จ ดังนั้น B เป็นจริง เมื่อพิสูจน์ได้แล้วว่า B เป็นจริง ที่เหลือก็ไม่ยากอะไรครับ B → A เป็นจริงโดยที่ B เป็นจริง หรืออาจเขียน T → A เป็นจริง จากวิชาตรรกศาสตร์ ม.4 อีกเช่นกันที่บอกเราว่า ตัวเชื่อมประพจน์ "→" ให้ค่าความจริงเป็นจริงเมื่อตัวหน้าเป็นจริงก็ต่อเมื่อตัวหลังเป็นจริงด้วยเท่านั้น (เพราะ T → F = F) ดังนั้น A เป็นจริง "มาริโอ้เกลียดเห็ด"

Q.E.D.



ป.ล. ขำ ๆ นะครับ Loeb's paradox




Create Date : 03 มิถุนายน 2552
Last Update : 3 มิถุนายน 2552 22:18:52 น. 0 comments
Counter : 1735 Pageviews.

ชื่อ : * blog นี้ comment ได้เฉพาะสมาชิก
Comment :
  *ส่วน comment ไม่สามารถใช้ javascript และ style sheet
 
 Pantip.com | PantipMarket.com | Pantown.com | © 2004 BlogGang.com allrights reserved.