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

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา

ข้อย่อย 1

ข้อความ

Error

Too many requests (f061ab2)

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

สมมติใ้ห้

Error

Too many requests (f061ab2)

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

Error

Too many requests (f061ab2)

ด้วย

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

เนื่องจาก และ

Error

Too many requests (f061ab2)

เราได้ว่า

เกิดข้อขัดแย้งกับสมมติฐานที่ว่า

Error

Too many requests (f061ab2)

ดังนั้น เราสามารถสรุปได้ว่า

ดังนั้นถ้า

Error

Too many requests (f061ab2)

แล้ว

ข้อย่อย 2

จากโจทย์ให้ เป็นจริง ต้องการแสดงว่า ถ้า

Error

Too many requests (f061ab2)

แล้ว เป็นจริงด้วย

สำหรับ ค่าใด ๆ จาก หมายถึง สมมูลกับ สมมูลกับ จาก จะได้ ซึ่งรู้ว่าประโยคนี้จริง จะได้ว่า จริงด้วย
ดังนั้นเราจึงสรุปได้ว่า ให้ ถ้า แล้ว

ข้อย่อย 3

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

เราจะได้ว่า

ฉะนั้น x และ y มีค่าเท่ากับ 0 ทั้งคู่ เกิดข้อขัดแย้งกับสมมติฐานที่ว่า x และ y ไม่เท่ากับ 0 ทั้งคู่

ดังนั้น

Error

Too many requests (f061ab2)

ข้อย่อย 4

จากโจทย์ให้

Error

Too many requests (f061ab2)

เป็นจำนวนจริง ต้องการแสดงว่า ถ้า แล้ว

สมมติให้ เป็นจริง
จาก
จะได้
จะได้
จะได้ เนื่องจาก
ดังนั้นเราจึงสรุปได้ว่าเมื่อให้ เป็นจำนวนจริง ถ้า แล้ว

รายการเลือกการนำทาง