ผลต่างระหว่างรุ่นของ "418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 4"

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
(สร้างหน้าใหม่: == ข้อย่อย 2 == อ.วัฒนา == ข้อย่อย 4 == อ.วัฒนา)
 
แถว 1: แถว 1:
 +
== ข้อย่อย 1 ==
 +
ข้อความ <math>B \cap C = \emptyset</math> หมายความว่าเซต <math>B \cap C</math> ไม่มีสมาชิก กล่าวคือ <math>\forall x, x \not\in B \cap C</math> ซึ่งสมมูลกับข้อความว่า <math>\forall x, \not(x \in B \cap x \in C) </math>
 +
 +
สมมติใ้ห้ <math>x \in A</math>
 +
 +
เนื่องจาก <math>A \subseteq C</math> เราได้ว่า <math>x \in C</math> ด้วย
 +
 +
สมมติเพื่อให้เกิดข้อขัดแย้งว่า <math>x \in B</math>
 +
 +
เนื่องจาก <math>x \in B</math> และ <math>x \in C</math> เราได้ว่า <math>x \in B \cap C</math>
 +
 +
แต่ <math>B \cap C = \emptyset</math> ดังนั้น <math>x \in \emptyset</math>
 +
 
== ข้อย่อย 2 ==
 
== ข้อย่อย 2 ==
 
อ.วัฒนา
 
อ.วัฒนา

รุ่นแก้ไขเมื่อ 11:34, 25 มิถุนายน 2552

ข้อย่อย 1

ข้อความ หมายความว่าเซต ไม่มีสมาชิก กล่าวคือ ซึ่งสมมูลกับข้อความว่า

สมมติใ้ห้

เนื่องจาก เราได้ว่า ด้วย

สมมติเพื่อให้เกิดข้อขัดแย้งว่า

เนื่องจาก และ เราได้ว่า

แต่ ดังนั้น

ข้อย่อย 2

อ.วัฒนา

ข้อย่อย 4

อ.วัฒนา