การหานิเสธของข้อความที่มีคำว่า “ทุกตัว” และ “บางตัว”

การหานิเสธของข้อความที่มีคำว่า “ทุกตัว” และ “บางตัว”

การหานิเสธเป็นพื้นฐานสำคัญในตรรกศาสตร์และคณิตศาสตร์ระดับสูงหลายแขนงครับ ไม่ว่าจะเป็นการพิสูจน์ทางคณิตศาสตร์ การทำความเข้าใจนิยาม หรือแม้แต่การแก้ปัญหาที่ซับซ้อน น้องๆ จำเป็นต้องแม่นยำเรื่องนี้ ดังนั้น เรามาปูพื้นฐานให้แน่นกันก่อนนะครับ

ปูพื้นฐาน: ข้อความและนิเสธคืออะไร?

ก่อนที่เราจะไปเจาะลึกเรื่อง “ทุกตัว” และ “บางตัว” เรามาทบทวนความหมายของคำว่า “ข้อความ” และ “นิเสธ” กันก่อนนะครับ

ข้อความ (Statement) คือ ประโยคหรือข้อความที่สามารถระบุค่าความจริงได้ว่าเป็น จริง (True) หรือ เท็จ (False) อย่างใดอย่างหนึ่งเท่านั้น เช่น

• “2 + 2 = 4” เป็นข้อความที่เป็นจริง
• “กรุงเทพฯ เป็นเมืองหลวงของประเทศญี่ปุ่น” เป็นข้อความที่เป็นเท็จ
• “เขาเป็นคนดี” ไม่เป็นข้อความ เพราะไม่สามารถระบุค่าความจริงได้ชัดเจน (ขึ้นอยู่กับว่า “เขา” คือใคร และ “ดี” ในที่นี้หมายถึงอะไร)

นิเสธ (Negation) ของข้อความ คือ ข้อความที่กล่าวแย้งหรือตรงกันข้ามกับข้อความเดิม โดยมีค่าความจริงตรงกันข้ามกับข้อความเดิมเสมอ ถ้าน้องมีข้อความ P นิเสธของ P จะเขียนแทนด้วย $neg P$ ครับ

• ถ้า P เป็นจริง $neg P$ จะเป็นเท็จ
• ถ้า P เป็นเท็จ $neg P$ จะเป็นจริง

ตัวอย่างเช่น นิเสธของ “2 + 2 = 4” คือ “2 + 2 $neq$ 4″ หรือ “2 + 2 ไม่เท่ากับ 4” ครับ

Quantifiers: “ทุกตัว” และ “บางตัว”

ในทางคณิตศาสตร์และตรรกศาสตร์ เรามักจะเจอข้อความที่มีคำว่า “ทุกตัว” หรือ “บางตัว” เพื่อบอกปริมาณของสิ่งที่กล่าวถึงครับ คำเหล่านี้เรียกว่า ตัวบ่งปริมาณ (Quantifiers) ซึ่งมี 2 ชนิดหลักๆ คือ

• ตัวบ่งปริมาณสำหรับทุกตัว (Universal Quantifier) ใช้คำว่า “ทุกตัว”, “ทั้งหมด”, “สำหรับทุกๆ” หรือ “แต่ละ” สัญลักษณ์ที่ใช้คือ $forall$ (อ่านว่า For all หรือ สำหรับทุกตัว) ครับ
• ตัวบ่งปริมาณสำหรับบางตัว (Existential Quantifier) ใช้คำว่า “บางตัว”, “มีอย่างน้อยหนึ่ง”, “มีอยู่” หรือ “มี” สัญลักษณ์ที่ใช้คือ $exists$ (อ่านว่า There exists หรือ มีบางตัว) ครับ

กฎการหานิเสธของข้อความที่มีตัวบ่งปริมาณ

ทีนี้มาถึงหัวใจของบทความนี้กันแล้วครับ น้องๆ ต้องจำหลักการสำคัญ 2 ข้อนี้ไว้ให้ขึ้นใจเลย

1. การหานิเสธของข้อความที่มี “ทุกตัว”

เมื่อน้องๆ ต้องการหานิเสธของข้อความที่ขึ้นต้นด้วย “ทุกตัว” หรือ “สำหรับทุกตัว” ให้เปลี่ยนจาก “ทุกตัว” เป็น “บางตัว” และเปลี่ยนประพจน์ข้างหลังให้เป็นนิเสธของมันครับ

หลักการ: นิเสธของ “สำหรับทุกตัว x, P(x) เป็นจริง” คือ “มีบางตัว x ที่ทำให้ P(x) ไม่เป็นจริง”

เขียนเป็นสัญลักษณ์ได้ว่า:

$neg (forall x P(x)) equiv exists x neg P(x)$

ตัวอย่างที่ 1:

ข้อความเดิม: “นักเรียนทุกคนในห้องนี้สอบผ่านวิชาคณิตศาสตร์”

วิเคราะห์: นี่คือข้อความที่บอกว่า “สำหรับทุกๆ นักเรียน x ในห้องนี้, x สอบผ่านวิชาคณิตศาสตร์”

นิเสธ: “มีนักเรียนบางคนในห้องนี้ ที่สอบไม่ผ่านวิชาคณิตศาสตร์”

ตัวอย่างที่ 2:

ข้อความเดิม: “สำหรับทุกจำนวนจริง x, $x^2 geq 0$” (อ่านว่า x กำลังสองมากกว่าหรือเท่ากับศูนย์)

นิเสธ: “มีจำนวนจริง x บางจำนวน ที่ทำให้ <math data-latex="x^2 x 2 < 0 x^2 < 0 ” (อ่านว่า x กำลังสองน้อยกว่าศูนย์)

เห็นไหมครับว่าเราเปลี่ยนจาก $forall$ เป็น $exists$ และนิเสธของ $geq$ คือ <math data-latex=" < < ครับ

2. การหานิเสธของข้อความที่มี “บางตัว”

ในทางกลับกัน เมื่อน้องๆ ต้องการหานิเสธของข้อความที่ขึ้นต้นด้วย “บางตัว” หรือ “มีบางตัว” ให้เปลี่ยนจาก “บางตัว” เป็น “ทุกตัว” และเปลี่ยนประพจน์ข้างหลังให้เป็นนิเสธของมันครับ

หลักการ: นิเสธของ “มีบางตัว x ที่ทำให้ P(x) เป็นจริง” คือ “สำหรับทุกตัว x, P(x) ไม่เป็นจริง”

เขียนเป็นสัญลักษณ์ได้ว่า:

$neg (exists x P(x)) equiv forall x neg P(x)$

ตัวอย่างที่ 3:

ข้อความเดิม: “มีจำนวนเต็มบางจำนวนที่หารด้วย 3 ลงตัว”

วิเคราะห์: นี่คือข้อความที่บอกว่า “มีบางจำนวนเต็ม x, x หารด้วย 3 ลงตัว”

นิเสธ: “จำนวนเต็มทุกจำนวนหารด้วย 3 ไม่ลงตัว”

ตัวอย่างที่ 4:

ข้อความเดิม: “มีจำนวนจริง x บางจำนวน ที่ทำให้ $x = x+1$” (เป็นข้อความที่เป็นเท็จ)

นิเสธ: “สำหรับทุกจำนวนจริง x, $x neq x+1$” (เป็นข้อความที่เป็นจริง)

ข้อผิดพลาดที่พบบ่อยและจุดที่ต้องระวัง!

พี่กฤษณ์สังเกตเห็นว่าน้องๆ หลายคนมักจะพลาดในจุดเหล่านี้ครับ

• ลืมหานิเสธของประพจน์ P(x): น้องๆ มักจะเปลี่ยนแค่ตัวบ่งปริมาณ แต่ลืมเปลี่ยนข้อความข้างหลังให้เป็นนิเสธด้วย เช่น
  • ข้อความเดิม: “สำหรับทุกจำนวนเต็ม x, x เป็นจำนวนคู่”

    นิเสธที่ผิด: “มีจำนวนเต็มบางจำนวน x, x เป็นจำนวนคู่”

    นิเสธที่ถูก: “มีจำนวนเต็มบางจำนวน x, x ไม่เป็นจำนวนคู่” หรือ “มีจำนวนเต็มบางจำนวน x, x เป็นจำนวนคี่”

• สับสนกับคำว่า “ไม่ทุกตัว”: บางครั้งน้องๆ อาจเจอประโยคที่ขึ้นต้นว่า “ไม่ทุกตัว” ให้จำไว้ว่า “ไม่ทุกตัว” มีความหมายเหมือนกับ “มีบางตัวที่ไม่…” ครับ เช่น
  • “ไม่ใช่นักเรียนทุกคนจะชอบวิชาคณิตศาสตร์”

    ประโยคนี้มีค่าความจริงเท่ากับ “มีนักเรียนบางคนที่ไม่ชอบวิชาคณิตศาสตร์” ครับ

    ดังนั้น นิเสธของ “ไม่ใช่นักเรียนทุกคนจะชอบวิชาคณิตศาสตร์” จะเป็น “นักเรียนทุกคนชอบวิชาคณิตศาสตร์” ครับ

การหานิเสธของข้อความที่มีตัวบ่งปริมาณมากกว่าหนึ่งตัว

บางครั้งน้องๆ อาจเจอข้อความที่มีตัวบ่งปริมาณซ้อนกัน เช่น “สำหรับทุก x, มีบาง y ที่ทำให้ P(x,y) เป็นจริง” หลักการก็ยังคงเดิมครับ คือให้นิเสธไปทีละตัวจากซ้ายไปขวา และนิเสธที่ประพจน์สุดท้ายเสมอ

กฎทั่วไป:

• $neg (forall x exists y P(x, y)) equiv exists x forall y neg P(x, y)$
• $neg (exists x forall y P(x, y)) equiv forall x exists y neg P(x, y)$

ตัวอย่างที่ 5:

ข้อความเดิม: “สำหรับทุกจำนวนจริง x, จะมีจำนวนจริง y ที่ทำให้ $x+y=0$“

(เขียนในรูปสัญลักษณ์: $forall x in mathbb{R}, exists y in mathbb{R} text{ s.t. } x+y=0$)

นิเสธ: “มีจำนวนจริง x บางจำนวน, สำหรับทุกจำนวนจริง y, ทำให้ $x + y neq 0$“

(เขียนในรูปสัญลักษณ์: $exists x in mathbb{R}, forall y in mathbb{R} text{ s.t. } x+y neq 0$)

การประยุกต์ใช้ในการทำความเข้าใจโจทย์และการพิสูจน์

การเข้าใจการหานิเสธของตัวบ่งปริมาณมีความสำคัญอย่างมากในหลายๆ ด้านของคณิตศาสตร์ครับ

• การพิสูจน์แบบขัดแย้ง (Proof by Contradiction): เป็นเทคนิคการพิสูจน์ที่สำคัญ โดยเริ่มจากการสมมติให้นิเสธของสิ่งที่เราต้องการพิสูจน์เป็นจริง จากนั้นก็พยายามหาข้อขัดแย้งเกิดขึ้น ถ้าเจอข้อขัดแย้ง ก็แสดงว่าสมมติฐานเริ่มต้นของเราเป็นเท็จ ซึ่งหมายความว่าสิ่งที่เราต้องการพิสูจน์นั้นเป็นจริงนั่นเองครับ การจะสมมตินิเสธได้ถูกต้อง ก็ต้องหานิเสธของข้อความเริ่มต้นให้เป็นก่อน
• การตีความนิยามทางคณิตศาสตร์: นิยามหลายอย่างในคณิตศาสตร์ชั้นสูง เช่น ลิมิตของฟังก์ชัน (Limits of functions) หรือความต่อเนื่อง (Continuity) มักจะมีตัวบ่งปริมาณซ้อนกันอยู่หลายชั้น การเข้าใจนิเสธจะช่วยให้น้องๆ สามารถเข้าใจว่าเมื่อใดที่ฟังก์ชันไม่เป็นไปตามนิยามเหล่านั้นครับ
• การแก้ปัญหาในข้อสอบ: ข้อสอบ O-NET, A-Level หรือข้อสอบเข้ามหาวิทยาลัยหลายสนามมักจะมีข้อสอบเกี่ยวกับตรรกศาสตร์ และการหานิเสธของข้อความที่มีตัวบ่งปริมาณเป็นหัวข้อพื้นฐานที่ออกสอบบ่อยครั้ง หากน้องๆ เข้าใจหลักการนี้อย่างถ่องแท้ ก็จะทำข้อสอบได้ถูกต้องและรวดเร็วขึ้นครับ

สรุปแนวคิดสำคัญ

เพื่อให้น้องๆ จำได้ง่ายๆ พี่กฤษณ์ขอสรุปหลักการสำคัญของการหานิเสธของข้อความที่มีคำว่า “ทุกตัว” และ “บางตัว” ไว้ดังนี้ครับ

• เมื่อหานิเสธของข้อความที่มี $forall$ (ทุกตัว):
  • เปลี่ยน $forall$ เป็น $exists$
  • หานิเสธของประพจน์ P(x)

  เช่น $neg (forall x P(x)) equiv exists x neg P(x)$

• เมื่อหานิเสธของข้อความที่มี $exists$ (บางตัว):
  • เปลี่ยน $exists$ เป็น $forall$
  • หานิเสธของประพจน์ P(x)

  เช่น $neg (exists x P(x)) equiv forall x neg P(x)$

จำให้แม่นยำและนำไปฝึกฝนเยอะๆ นะครับ!

เป็นยังไงบ้างครับน้องๆ พอจะเข้าใจหลักการหานิเสธของข้อความที่มีตัวบ่งปริมาณกันมากขึ้นแล้วใช่ไหมครับ นี่เป็นพื้นฐานที่สำคัญมากๆ ในการเรียนคณิตศาสตร์ระดับสูง และจะช่วยให้น้องๆ มีตรรกะในการคิดวิเคราะห์ที่ดีขึ้นด้วยครับ หากน้องๆ อยากลงลึกในรายละเอียด หรือต้องการโจทย์ฝึกฝนเพิ่มเติม เพื่อสร้างความเข้าใจที่แน่นปึ้กในเรื่องตรรกศาสตร์และคณิตศาสตร์ทุกบทเรียน น้องๆ สามารถศึกษาเพิ่มเติมกับพี่กฤษณ์ได้เลยนะครับ พี่กฤษณ์มีทั้งคอร์สเรียนสด คอร์สเรียนออนไลน์ และคอร์สตัวต่อตัว ที่ออกแบบมาเพื่อตอบโจทย์การเรียนรู้ของน้องๆ ทุกสไตล์เลยครับ สามารถดูรายละเอียดเพิ่มเติมได้ในเว็บไซต์นี้เลยครับ