ผลต่างระหว่างรุ่นของ "418531 ภาคต้น 2552/โจทย์ปัญหาการพิสูจน์ I/เฉลยข้อ 4"
ไปยังการนำทาง
ไปยังการค้นหา
Cardcaptor (คุย | มีส่วนร่วม) |
Cardcaptor (คุย | มีส่วนร่วม) |
||
| แถว 1: | แถว 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 \ | + | ข้อความ <math>B \cap C = \emptyset</math> หมายความว่าเซต <math>B \cap C</math> ไม่มีสมาชิก กล่าวคือ <math>\forall x, x \not\in B \cap C</math> ซึ่งสมมูลกับข้อความว่า <math>\forall x, \neg(x \in B \wedge x \in C) \equiv \forall x, x \not\in B \vee x \not\in C \equiv \forall x, (x \in B) \rightarrow (x \not\in C)</math> |
สมมติใ้ห้ <math>x \in A</math> | สมมติใ้ห้ <math>x \in A</math> | ||
| แถว 11: | แถว 11: | ||
แต่ <math>B \cap C = \emptyset</math> ดังนั้น <math>x \in \emptyset</math> | แต่ <math>B \cap C = \emptyset</math> ดังนั้น <math>x \in \emptyset</math> | ||
| − | + | ||
== ข้อย่อย 2 == | == ข้อย่อย 2 == | ||
อ.วัฒนา | อ.วัฒนา | ||
รุ่นแก้ไขเมื่อ 11:35, 25 มิถุนายน 2552
ข้อย่อย 1
ข้อความ หมายความว่าเซต ไม่มีสมาชิก กล่าวคือ ซึ่งสมมูลกับข้อความว่า
สมมติใ้ห้
เนื่องจาก เราได้ว่า ด้วย
สมมติเพื่อให้เกิดข้อขัดแย้งว่า
เนื่องจาก และ เราได้ว่า
แต่ ดังนั้น
ข้อย่อย 2
อ.วัฒนา
ข้อย่อย 4
อ.วัฒนา
