หัวข้อ: logic
ดูหนึ่งข้อความ
  #1  
Old 14 มกราคม 2011, 02:29
kalakid kalakid ไม่อยู่ในระบบ
เริ่มฝึกวรยุทธ์
 
วันที่สมัครสมาชิก: 14 มีนาคม 2009
ข้อความ: 15
kalakid is on a distinguished road
Default logic

ในการพิสูจน์ $A\subseteq B\cap C $ โดยวิธี contradiction
เราสามารถสมมุติ ให้ $x\in A$ และ $x\not\in B$ หรือ $x\not\in C$

นั่นคือ ถ้า $x\in B \rightarrow x\not\in C$

ดังนั้นจะมี สองเงื่อนไขคือ $x\in A$ และ $x\in B$ แต่ดันไปพิสูจน์ได้ว่า $x\in C$ แบบนี้เกิดข้อขัดแย้งกับ $x\not\in C$ แบบนี้ได้ไหมครับ

14 มกราคม 2011 02:29 : ข้อความนี้ถูกแก้ไขแล้ว 1 ครั้ง, ครั้งล่าสุดโดยคุณ kalakid
ตอบพร้อมอ้างอิงข้อความนี้