ตรรกศาสตร์เบื้องต้น

ยินดีต้อนรับสู่โลกของ "ตรรกศาสตร์" (Logic)

สวัสดีครับน้อง ๆ ม.4 ทุกคน! เคยสงสัยไหมว่า ทำไมบางประโยคเราถึงบอกได้ทันทีว่า "จริง" หรือ "ไม่จริง" แต่บางประโยคเรากลับเถียงกันไม่จบ? วิชาตรรกศาสตร์จะช่วยให้เรามีระบบความคิดที่มีเหตุมีผลมากขึ้น ช่วยให้เราวิเคราะห์ประโยคและเงื่อนไขต่าง ๆ ได้อย่างแม่นยำเหมือนคอมพิวเตอร์เลยล่ะ!

ถ้ารู้สึกว่าวิชานี้ดูมีสัญลักษณ์แปลก ๆ เยอะไปหมด ไม่ต้องกังวลนะ! เราจะค่อย ๆ แกะรหัสไปด้วยกันแบบง่าย ๆ ครับ

1. ประพจน์ (Statement) คืออะไร?

ประพจน์ คือ ประโยคบอกเล่าหรือประโยคปฏิเสธ ที่เราบอกได้ชัดเจนว่ามันเป็น "จริง" (True - T) หรือเป็น "เท็จ" (False - F) อย่างใดอย่างหนึ่งเท่านั้น

ลองดูตัวอย่างกัน:

- "2 + 2 = 4" -> เป็นประพจน์ (เพราะบอกได้ว่าเป็น จริง)
- "เชียงใหม่เป็นเมืองหลวงของไทย" -> เป็นประพจน์ (เพราะบอกได้ว่าเป็น เท็จ)
- "กินข้าวหรือยัง?" -> ไม่เป็นประพจน์ (เพราะเป็นประโยคคำถาม บอกไม่ได้ว่าจริงหรือเท็จ)
- "ว้าว! สวยจัง" -> ไม่เป็นประพจน์ (เพราะเป็นประโยคอุทาน/ความรู้สึก)

จุดสำคัญ: อะไรที่เป็นคำสั่ง, คำถาม, คำขอร้อง หรือความรู้สึกส่วนตัว จะ ไม่เป็นประพจน์ ครับ

2. ตัวเชื่อมประพจน์ (Logical Connectives)

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

1) และ (AND) แทนด้วยสัญลักษณ์ \( \land \)

ให้นึกถึงกฎระเบียบที่เข้มงวด: "จะสอบผ่านได้ ต้องเข้าเรียน และ ส่งงาน"
ถ้าทำอย่างใดอย่างหนึ่งไม่ครบ ก็ถือว่าไม่ผ่านทันที!
กฎเหล็ก: จะเป็น จริง (T) ได้กรณีเดียวเท่านั้นคือ จริงทั้งคู่

2) หรือ (OR) แทนด้วยสัญลักษณ์ \( \lor \)

ให้นึกถึงความใจดี: "เย็นนี้กินข้าว หรือ ก๋วยเตี๋ยวก็ได้"
กินอย่างใดอย่างหนึ่งเราก็แฮปปี้แล้ว!
กฎเหล็ก: จะเป็น เท็จ (F) ได้กรณีเดียวเท่านั้นคือ เท็จทั้งคู่

3) ถ้า...แล้ว... (IF...THEN...) แทนด้วยสัญลักษณ์ \( \rightarrow \)

ให้นึกถึง "คำสัญญา": "ถ้าสอบได้เกรด 4 แล้ว แม่จะซื้อเกมให้"
แม่จะผิดคำสัญญา (เป็นเท็จ) แค่กรณีเดียวคือ สอบได้เกรด 4 (หน้าจริง) แต่แม่ไม่ซื้อเกมให้ (หลังเท็จ)
กฎเหล็ก: \( T \rightarrow F \) เป็น F นอกนั้นเป็น T ทั้งหมด

4) ก็ต่อเมื่อ (IF AND ONLY IF) แทนด้วยสัญลักษณ์ \( \leftrightarrow \)

ให้นึกถึง "กระจกเงา": ทั้งสองฝั่งต้องเหมือนกันถึงจะเป็นจริง
กฎเหล็ก: เหมือนกันเป็น T (T-T หรือ F-F) ต่างกันเป็น F

5) นิเสธ (NOT) แทนด้วยสัญลักษณ์ \( \sim \)

คือการใส่คำว่า "ไม่" เข้าไปข้างหน้า เพื่อทำให้ค่าความจริงตรงข้ามกัน
เช่น ถ้า \( P \) เป็นจริง, \( \sim P \) จะเป็นเท็จทันที

รู้หรือไม่? วิธีจำง่าย ๆ สำหรับ \( \rightarrow \) คือ "หน้าจริง หลังเท็จ เป็นเท็จ" ที่เหลือจริงหมด!

3. ตารางค่าความจริง (Truth Tables)

เมื่อเรามีประพจน์มาเชื่อมกันเยอะ ๆ การสร้างตารางจะช่วยให้เราเห็นภาพรวมได้ชัดเจนครับ

เทคนิคการสร้างตาราง:

1. ถ้ามีประพจน์ \( n \) ตัว จะมีกรณีทั้งหมด \( 2^n \) กรณี
2. เช่น มี 2 ตัว (\( P, Q \)) จะมี \( 2^2 = 4 \) กรณี (T-T, T-F, F-T, F-F)

ข้อผิดพลาดที่พบบ่อย: น้อง ๆ มักจะลืมสลับกรณีให้ครบ หรือสับสนระหว่างสัญลักษณ์ \( \land \) (และ) กับ \( \lor \) (หรือ) ให้จำว่า \( \land \) เหมือนตัว And (และ) ส่วน \( \lor \) เหมือนปากถุงที่อ้ารับอะไรก็ได้ (หรือ)

4. การสมมูลกัน (Equivalence)

การสมมูลกัน (\( \equiv \)) คือประพจน์สองชุดที่มีค่าความจริง เหมือนกันทุกกรณี เหมือนเราพูดเรื่องเดียวกันแต่ใช้คำต่างกันนั่นเอง

สูตรสมมูลที่ใช้บ่อยมาก (ต้องจำ!):

1. กฎการเปลี่ยนกลุ่ม: \( (P \land Q) \land R \equiv P \land (Q \land R) \)
2. กฎของเดอมอร์แกน: \( \sim(P \land Q) \equiv \sim P \lor \sim Q \) (กระจาย \( \sim \) เข้าไปแล้วเปลี่ยนเครื่องหมาย)
3. สูตรเปลี่ยนถ้า...แล้ว...: \( P \rightarrow Q \equiv \sim P \lor Q \) (สูตรนี้ออกสอบบ่อยที่สุด!)

5. สัจนิรันดร์ (Tautology)

สัจนิรันดร์ คือ รูปแบบของประพจน์ที่มีค่าความจริงเป็น "จริง (T)" ทุกกรณี ไม่ว่าประพจน์ย่อยจะเป็นอะไรก็ตาม

วิธีเช็กสัจนิรันดร์แบบเซียน:

แทนที่จะสร้างตารางยาว ๆ ให้ใช้วิธี "จับผิด" (หาข้อขัดแย้ง)
สมมติให้ประพจน์นั้นเป็น เท็จ (F) แล้วลองไล่หาค่าดู ถ้าไล่ไปแล้วเจอสิ่งที่ ขัดแย้งกันเอง แสดงว่าเป็น สัจนิรันดร์ (เพราะมันจะเป็นเท็จไม่ได้เลย)

จุดสำคัญ: ถ้าโจทย์ถามว่า \( P \rightarrow Q \) เป็นสัจนิรันดร์ไหม? ให้ลองสมมติว่าตัวหน้าเป็น T และตัวหลังเป็น F แล้วดูว่ามันขัดแย้งกันไหม

สรุปส่งท้ายบทเรียน

ตรรกศาสตร์ ม.4 ไม่ใช่เรื่องของการคำนวณเลขเยอะ ๆ แต่เป็นเรื่องของ "เงื่อนไข" และ "ความสัมพันธ์" ครับ
- ประพจน์ คือ ประโยคที่บอก จริง/เท็จ ได้ชัดเจน
- ตัวเชื่อม มี 5 ตัวหลัก (\( \land, \lor, \rightarrow, \leftrightarrow, \sim \))
- สมมูล คือ หน้าตาต่างกันแต่ความหมาย (ค่าความจริง) เหมือนกัน
- สัจนิรันดร์ คือ จริงเสมอไม่มีข้อยกเว้น

ถ้ารู้สึกยากในตอนแรก ไม่ต้องกังวลนะ! ลองทำโจทย์บ่อย ๆ แล้วน้องจะเริ่มมองเห็นรูปแบบ (Pattern) ของมันเอง ตรรกศาสตร์เหมือนการเล่นเกมจับผิดภาพ ยิ่งฝึกยิ่งมองออกเร็วครับ สู้ ๆ!