เจาะเทคนิคข้อสอบตรรกศาสตร์ ก.พ. สรุปสูตรสมมูลและสัจนิรันดร์ เก็บเต็ม

ทำไมข้อสอบตรรกศาสตร์ ก.พ. ถึงเป็นบ่อแต้มที่ไม่ควรทิ้ง

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

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

พื้นฐานตัวเชื่อมตรรกศาสตร์: แกะโค้ดลับ 4 ตัวที่ออกสอบบ่อย

ก่อนจะไปถึงสูตรลัด คุณต้องแม่นพื้นฐานค่าความจริงของตัวเชื่อมหลักทั้ง 4 ตัวเสียก่อน ในห้องสอบเราไม่มีเวลามานั่งวาดตารางค่าความจริงเต็มรูปแบบ 16 ช่อง ดังนั้นจำเฉพาะ "จุดเด่นหรือจุดสะดุด" ของแต่ละตัวเชื่อมก็เพียงพอแล้วครับ

• ตัวเชื่อม "และ" (สัญลักษณ์ ∧): จุดเด่นคือ "จริงใจยาก" ประพจน์รวมจะเป็นจริงได้กรณีเดียวเท่านั้น คือ ทั้งหน้าและหลังต้องเป็น จริง ∧ จริง = จริง นอกนั้นถ้ามีเท็จโผล่มาแม้แต่ตัวเดียว ผลลัพธ์จะกลายเป็นเท็จทันที
• ตัวเชื่อม "หรือ" (สัญลักษณ์ ∨): จุดเด่นคือ "ใจกว้าง" ขอแค่มีจริงโผล่มาตัวเดียว ผลลัพธ์เป็นจริงทันที จะเป็นเท็จได้กรณีเดียวเท่านั้น คือ เท็จ ∨ เท็จ = เท็จ
• ตัวเชื่อม "ถ้า...แล้ว..." (สัญลักษณ์ →): ตัวนี้ออกสอบบ่อยที่สุดและเป็นหัวใจสำคัญ จุดเด่นคือจะเสียคำพูดหรือเป็นเท็จได้กรณีเดียว คือ "สัญญาว่าจะทำ (หน้าจริง) แต่กลับไม่ทำตามสัญญา (หลังเท็จ)" นั่นคือ จริง → เท็จ = เท็จ ส่วนกรณีอื่นถือว่าเป็นจริงทั้งหมด
• ตัวเชื่อม "ก็ต่อเมื่อ" (สัญลักษณ์ ↔): จุดเด่นคือ "เหมือนกันเป็นจริง ต่างกันเป็นเท็จ" หน้าหลังมีค่าความจริงเหมือนกัน (จริงทั้งคู่ หรือ เท็จทั้งคู่) จะได้ผลลัพธ์เป็นจริง
• ตัวปฏิเสธ "นิเสธ" (สัญลักษณ์ ~): หมายถึงความหมายตรงกันข้าม เปลี่ยนจริงเป็นเท็จ และเปลี่ยนเท็จเป็นจริง

สูตรสมมูลยอดฮิต: คัมภีร์แปลงร่างข้อสอบ ก.พ.

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

1. สูตรแปลง ถ้า...แล้ว เป็น หรือ

สูตรนี้คือราชาแห่งข้อสอบ ก.พ. ภาค ก ออกแทบทุกรอบ:

p → q ≡ ~p ∨ q

หลักการจำง่ายๆ คือ "เปลี่ยนลูกศรเป็นหรือ แล้วเติมนิเสธตัวหน้า"

ตัวอย่างการนำไปใช้: โจทย์ให้ข้อความว่า "ถ้าสมชายขยันอ่านหนังสือ แล้วเขาจะสอบผ่าน ก.พ." เมื่อแปลงเป็นสัญลักษณ์จะได้ว่า p → q หากในช้อยส์ไม่มีรูปประโยคนี้ ให้มองหารูปแบบ ~p ∨ q ซึ่งแปลเป็นภาษาไทยได้ว่า "สมชายไม่ขยันอ่านหนังสือ หรือ เขาจะสอบผ่าน ก.พ." ข้อความทั้งสองนี้มีน้ำหนักทางตรรกศาสตร์เท่ากันทุกประการ

2. สูตรแย้งสลับที่ (Contraposition)

นี่คืออีกหนึ่งสูตรที่ใช้วัดความเข้าใจบ่อยที่สุด:

p → q ≡ ~q → ~p

หลักการจำคือ "สลับที่หน้าหลัง แล้วเติมนิเสธทั้งสองฝั่ง"

ตัวอย่างการนำไปใช้: จากประโยคเดิม "ถ้าฝนตก แล้วถนนจะเปียก" (p → q) ข้อความที่สมมูลกันคือ "ถ้าถนนไม่เปียก แล้วฝนไม่ตก" (~q → ~p) สังเกตนะครับว่า โจทย์มักจะมีตัวเลือกลวง เช่น "ถ้าถนนเปียก แล้วฝนตก" หรือ "ถ้าฝนไม่ตก แล้วถนนไม่เปียก" ซึ่งในทางตรรกศาสตร์ถือว่า ไม่สมมูล และห้ามเลือกเด็ดขาด

3. กฎเดอมอร์แกน (De Morgan's Laws)

กฎการกระจายนิเสธเข้าไปในวงเล็บ มีหลักการจำคือ "แจกนิเสธให้ทุกตัว แล้วกลับหัวตัวเชื่อม":

• ~(p ∧ q) ≡ ~p ∨ ~q (แจกนิเสธ เปลี่ยน และ เป็น หรือ)
• ~(p ∨ q) ≡ ~p ∧ ~q (แจกนิเสธ เปลี่ยน หรือ เป็น และ)

ข้อสอบชอบเอามาใช้ตอนที่ให้ข้อความปฏิเสธ เช่น "ไม่จริงที่ว่า นายดำทุจริตและนายขาวช่วยเหลือ" เมื่อใช้กฎนี้จะแปลงได้ทันทีเป็น "นายดำไม่ทุจริต หรือ นายขาวไม่ได้ช่วยเหลือ"

สัจนิรันดร์กับการตรวจสอบความสมเหตุสมผล

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

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