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$ แบบนี้ได้ไหมครับ

เกือบถูกแล้วครับ

แต่ถ้า $x\not\in B$ ก็จะยังไม่ขัดแย้งนะครับ