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

บทเรียน: ตรรกศาสตร์เบื้องต้น (Basic Logic)

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

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

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

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

ตัวอย่างที่เป็นประพจน์:
- "1 + 1 = 3" (เป็นประพจน์ เพราะบอกได้ว่าเป็น เท็จ)
- "กรุงเทพฯ เป็นเมืองหลวงของประเทศไทย" (เป็นประพจน์ เพราะบอกได้ว่าเป็น จริง)

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

จุดสำคัญ: อะไรก็ตามที่เป็นคำถาม คำสั่ง คำอ้อนวอน หรือประโยคที่มีตัวแปร (เช่น x + 1 = 2 โดยไม่บอกว่า x คืออะไร) จะ ไม่เป็นประพจน์ ครับ

2. การเชื่อมประพจน์ (Logical Connectives)

ในชีวิตจริงเรามักจะเชื่อมประโยคเข้าด้วยกัน ในทางตรรกศาสตร์เรามีตัวเชื่อมหลักๆ 4 ตัว ดังนี้ครับ:

1) "และ" (And) สัญลักษณ์: \( \land \)

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

2) "หรือ" (Or) สัญลักษณ์: \( \lor \)

เปรียบเสมือนการเลือกอย่างใดอย่างหนึ่งก็ได้
เทคนิคจำ: "เท็จ หรือ เท็จ" เท่านั้นที่เป็น "เท็จ" นอกนั้นเป็นจริงหมดเลย

3) "ถ้า...แล้ว..." (If... then...) สัญลักษณ์: \( \rightarrow \)

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

4) "ก็ต่อเมื่อ" (If and only if) สัญลักษณ์: \( \leftrightarrow \)

เปรียบเสมือนความสัมพันธ์ที่ต้องไปในทิศทางเดียวกัน
เทคนิคจำ: "เหมือนกันเป็นจริง ต่างกันเป็นเท็จ"
- T \( \leftrightarrow \) T ได้ จริง
- F \( \leftrightarrow \) F ได้ จริง
- ถ้าอันหนึ่งจริง อันหนึ่งเท็จ จะได้ เท็จ

5) "นิเสธ" (Not) สัญลักษณ์: \( \sim \)

คือการกลับค่าความจริงให้เป็นตรงกันข้าม ถ้าเดิมเป็นจริง ใส่ \( \sim \) เข้าไปจะเป็นเท็จทันที

สรุปตารางค่าความจริง (หัวใจสำคัญ!):

- \( T \land T \equiv T \) (นอกนั้น F)
- \( F \lor F \equiv F \) (นอกนั้น T)
- \( T \rightarrow F \equiv F \) (นอกนั้น T)
- \( เหมือน \leftrightarrow เหมือน \equiv T \) / \( ต่าง \leftrightarrow ต่าง \equiv F \)

3. ประพจน์ที่สมมูลกัน (Equivalence)

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

สูตรที่พบบ่อยในข้อสอบ A-Level:
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 \) (จำว่า: กระจายนิเสธเข้าไปแล้วเปลี่ยน "และ" เป็น "หรือ")

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

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

วิธีเช็คสัจนิรันดร์ที่ง่ายที่สุด:
สำหรับ \( p \rightarrow q \) ให้ "สมมติว่าเป็นเท็จ" (คือให้หน้าเป็น T หลังเป็น F) แล้วลองหาข้อขัดแย้งดู
- ถ้าหาข้อขัดแย้งได้ \( \rightarrow \) เป็นสัจนิรันดร์ (แปลว่ามันเป็นเท็จไม่ได้จริงๆ)
- ถ้าหาข้อขัดแย้งไม่ได้ \( \rightarrow \) ไม่เป็นสัจนิรันดร์

รู้อะไรไหม?
คำว่า "สัจจะ" แปลว่าความจริง "นิรันดร์" แปลว่าตลอดไป พอรวมกันเลยหมายถึงประโยคที่เป็นจริงตลอดกาลนั่นเองครับ!

5. ข้อผิดพลาดที่พบบ่อย (Common Mistakes)

- ความสับสนใน \( p \rightarrow q \): หลายคนชอบจำผิดว่าถ้าข้างหน้าเป็นเท็จ (F \( \rightarrow \)...) ผลจะเป็นเท็จเสมอ จริงๆ แล้ว ถ้าข้างหน้าเป็นเท็จ ผลลัพธ์จะเป็นจริง (T) เสมอครับ!
- ลืมกระจายนิเสธ: เมื่อเจอ \( \sim(p \lor q) \) อย่าลืมเปลี่ยนเครื่องหมายตรงกลางจาก \( \lor \) เป็น \( \land \) ด้วยนะ
- ตีความประโยคภาษาไทยผิด: คำว่า "ยกเว้น", "แต่" ในทางตรรกศาสตร์มักจะเทียบเท่ากับตัวเชื่อม "และ"

บทสรุป (Key Takeaway)

ตรรกศาสตร์เบื้องต้นใน A-Level คณิตศาสตร์ประยุกต์ 2 เน้นที่การเข้าใจค่าความจริงของตัวเชื่อมและการหาความสมมูลครับ:

1. ประพจน์ ต้องบอกได้ว่า จริง หรือ เท็จ
2. จำแม่นๆ: และ(ต้องจริงทั้งคู่), หรือ(ต้องเท็จทั้งคู่ถึงจะเท็จ), ถ้าแล้ว(T ไป F เป็นเท็จกรณีเดียว), ก็ต่อเมื่อ(เหมือนกันเป็นจริง)
3. สมมูล: หน้าไปหลัง \( \equiv \) ไม่หน้าหรือหลัง
4. สัจนิรันดร์: คือจริงทุกกรณี

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