สรุปเนื้อหาคณิตศาสตร์ A-Level: บทตรรกศาสตร์ (Logic)
สวัสดีครับน้องๆ ทุกคน! ยินดีต้อนรับเข้าสู่บทเรียนเรื่อง "ตรรกศาสตร์" ซึ่งเป็นหนึ่งในหัวข้อสำคัญของสาระจำนวนและพีชคณิต ในการสอบ A-Level คณิตศาสตร์ประยุกต์ 1 บทนี้เปรียบเสมือน "รากฐานของการใช้เหตุผล" ไม่ใช่แค่ในวิชาเลขเท่านั้น แต่ยังรวมถึงการใช้ชีวิตประจำวันด้วย
ถ้าน้องๆ รู้สึกว่าตรรกศาสตร์ดูซับซ้อน มีตัวย่อเยอะไปหมด ไม่ต้องกังวลนะ! เราจะค่อยๆ ย่อยมันให้กลายเป็นเรื่องเข้าใจง่าย เหมือนการต่อจิ๊กซอว์เลยครับ
1. ประพจน์ (Propositions)
ก่อนอื่นเราต้องรู้จัก "ประพจน์" ก่อน ประพจน์ คือ ประโยคบอกเล่าหรือปฏิเสธที่มีค่าความจริงเป็น "จริง (True: T)" หรือ "เท็จ (False: F)" อย่างใดอย่างหนึ่งเท่านั้น
ตัวอย่าง:
- "เชียงใหม่เป็นจังหวัดในประเทศไทย" (เป็นประพจน์ - ค่าความจริงเป็น จริง)
- "\( 2 + 3 = 10 \)" (เป็นประพจน์ - ค่าความจริงเป็น เท็จ)
- "วันนี้กินอะไรดี?" (ไม่ใช่ประพจน์ เพราะเป็นประโยคคำถาม บอกไม่ได้ว่าเป็นจริงหรือเท็จ)
จุดสำคัญ: ประโยคอุทาน ประโยคคำสั่ง ประโยคขอร้อง หรือประโยคที่มีตัวแปร (ประโยคเปิด) ที่ยังไม่ระบุค่า ไม่ใช่ประพจน์ครับ
2. การเชื่อมประพจน์ (Logical Connectives)
เรามักจะแทนประพจน์ด้วยตัวอักษรภาษาอังกฤษ เช่น \( p, q, r \) แล้วเอามาเชื่อมกันด้วยตัวเชื่อม 4 ตัวหลัก ดังนี้ครับ:
1) "และ" (And) - ใช้สัญลักษณ์ \( \land \)
เปรียบเหมือนกฎระเบียบที่เข้มงวด จะเป็นจริงได้ "ต้องจริงทั้งคู่" เท่านั้น
จำง่ายๆ: \( T \land T \) เท่านั้นที่เป็น \( T \) นอกนั้น \( F \) หมดเลย!
2) "หรือ" (Or) - ใช้สัญลักษณ์ \( \lor \)
เปรียบเหมือนคนใจดี ขอแค่มีจริงอย่างน้อยหนึ่งตัว ก็เป็นจริงแล้ว
จำง่ายๆ: \( F \lor F \) เท่านั้นที่เป็น \( F \) นอกนั้น \( T \) หมดเลย!
3) "ถ้า...แล้ว..." (If...then...) - ใช้สัญลักษณ์ \( \rightarrow \)
เปรียบเหมือน "คำสัญญา" ถ้าเหตุเป็นจริง แต่ผลเป็นเท็จ แสดงว่าผิดสัญญา!
จำง่ายๆ: \( T \rightarrow F \) เป็นกรณีเดียวที่เป็น เท็จ (F) กรณีอื่นจริงหมด
4) "ก็ต่อเมื่อ" (If and only if) - ใช้สัญลักษณ์ \( \leftrightarrow \)
เปรียบเหมือน "ความเหมือนกัน"
จำง่ายๆ: ถ้าเหมือนกันเป็นจริง ต่างกันเป็นเท็จ
\( T \leftrightarrow T \) เป็นจริง, \( F \leftrightarrow F \) เป็นจริง
\( T \leftrightarrow F \) เป็นเท็จ, \( F \leftrightarrow T \) เป็นเท็จ
5) "นิเสธ" (Not) - ใช้สัญลักษณ์ \( \sim \)
คือการเปลี่ยนค่าความจริงเป็นตรงกันข้าม
จำง่ายๆ: ตรงข้ามเสมอ จาก \( T \) เป็น \( F \) และจาก \( F \) เป็น \( T \)
รู้หรือไม่? สัญลักษณ์ \( \lor \) (หรือ) ในทางตรรกศาสตร์ หมายถึง "อย่างใดอย่างหนึ่ง หรือทั้งสองอย่าง" นะครับ ไม่เหมือนเวลาสั่งอาหารที่บอกว่า "รับน้ำเปล่าหรือน้ำส้ม" ซึ่งมักจะเลือกได้อย่างเดียว
3. สัจนิรันดร์ (Tautology)
สัจนิรันดร์ คือ รูปแบบของประพจน์ที่ มีค่าความจริงเป็น "จริง" ในทุกๆ กรณี ไม่ว่าประพจน์ย่อยจะมีค่าความจริงเป็นอย่างไรก็ตาม
วิธีตรวจสอบสัจนิรันดร์ที่นิยมใช้ในข้อสอบ:
1. การสร้างตารางค่าความจริง: ถ้าช่องสุดท้ายเป็น \( T \) ทั้งหมด คือสัจนิรันดร์ (แต่วิธีนี้เสียเวลา)
2. วิธี "จับเท็จ" (สำหรับตัวเชื่อม \( \rightarrow \) หรือ \( \lor \)): สมมติให้ประพจน์ทั้งหมดเป็นเท็จ แล้วลองย้อนกลับไปหาค่า \( p, q \) ถ้าเกิดการ "ขัดแย้ง" แสดงว่าเป็น สัจนิรันดร์
ข้อผิดพลาดที่พบบ่อย: น้องๆ มักจะสับสนว่า "ขัดแย้ง" คือไม่ใช่สัจนิรันดร์ จำไว้นะครับ: ขัดแย้ง = เป็นสัจนิรันดร์ (เพราะเราจับเท็จไม่สำเร็จ)
4. การสมมูลกัน (Equivalence)
ประพจน์สองประพจน์จะ สมมูลกัน (สัญลักษณ์ \( \equiv \)) ก็ต่อเมื่อมีค่าความจริงเหมือนกันทุกกรณี
สูตรสมมูลที่ออกสอบบ่อยที่สุด (ต้องจำ!):
1. เปลี่ยน "ถ้า...แล้ว": \( p \rightarrow q \equiv \sim p \lor q \)
2. แย้งสลับที่: \( p \rightarrow q \equiv \sim q \rightarrow \sim p \)
3. กฎของเดอมอร์แกน:
- \( \sim(p \land q) \equiv \sim p \lor \sim q \)
- \( \sim(p \lor q) \equiv \sim p \land \sim q \)
(จำง่ายๆ: กระจายนิเสธเข้าไป แล้วกลับเครื่องหมายตรงกลาง)
5. ตัวบ่งปริมาณ (Quantifiers)
ในหัวข้อนี้เราจะเจอสัญลักษณ์ที่ดูแปลกตาหน่อย คือ \( \forall \) และ \( \exists \)
1. \( \forall x \) (For All): แทนคำว่า "สำหรับ x ทุกตัว"
- จะเป็นจริง: เมื่อทุกตัวในเอกภพสัมพัทธ์ (U) ทำให้ประโยคเป็นจริง
- จะเป็นเท็จ: ขอแค่มี "ตัวเดียว" ที่เป็นเท็จ ก็พังทันที!
2. \( \exists x \) (For Some): แทนคำว่า "สำหรับ x บางตัว"
- จะเป็นจริง: ขอแค่มี "ตัวเดียว" ที่ทำให้ประโยคเป็นจริง ก็รอดแล้ว!
- จะเป็นเท็จ: ต้องเป็นเท็จ "ทุกตัว" จริงๆ ถึงจะยอมเป็นเท็จ
นิเสธของตัวบ่งปริมาณ:
- \( \sim \forall x [P(x)] \equiv \exists x [\sim P(x)] \)
- \( \sim \exists x [P(x)] \equiv \forall x [\sim P(x)] \)
จำง่ายๆ: เปลี่ยน \( \forall \) เป็น \( \exists \) (และกลับกัน) แล้วใส่ \( \sim \) ไว้หน้าประโยคเปิดครับ
สรุป "จุดสำคัญ" (Key Takeaways)
ถ้ารู้สึกยากในตอนแรก ไม่ต้องกังวลนะ ลองฝึกทำโจทย์โดยจำตารางพื้นฐานเหล่านี้ให้แม่นก่อน:
- \( \land \) (และ) กลัว \( F \) (เจอตัวเดียวพัง)
- \( \lor \) (หรือ) รัก \( T \) (เจอตัวเดียวรอด)
- \( \rightarrow \) (ถ้า...แล้ว) มีจุดอ่อนจุดเดียวคือ \( T \rightarrow F \)
- \( p \rightarrow q \) เปลี่ยนเป็น \( \sim p \lor q \) ได้เสมอ
- การพิสูจน์สัจนิรันดร์คือการ "หาทางทำให้มันเป็นเท็จ" ถ้าทำไม่ได้ แสดงว่ามันจริงเสมอ (เป็นสัจนิรันดร์)
สู้ๆ นะครับน้องๆ ตรรกศาสตร์เป็นบทเก็บคะแนนที่ดีมากบทหนึ่ง ถ้าเราเข้าใจหลักการเชื่อมประพจน์ที่ถูกต้อง คะแนน A-Level อยู่ไม่ไกลเกินเอื้อมแน่นอน!