ผลต่างระหว่างรุ่นของ "418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 4"
ไปยังการนำทาง
ไปยังการค้นหา
Cardcaptor (คุย | มีส่วนร่วม) (สร้างหน้าใหม่: == ข้อย่อย 2 == อ.วัฒนา == ข้อย่อย 4 == อ.วัฒนา) |
Cardcaptor (คุย | มีส่วนร่วม) |
||
แถว 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
อ.วัฒนา