บทที่ 33 ตรรกศาสตร์

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

ควรรู้ก่อนเริ่ม

หน้า 33.5 ใช้สัญลักษณ์ของเซต เช่น $\{1, 2, 3\}$ และ $\mathbb{R}$ ซึ่งอยู่ในบทที่ 32 หน้าอื่นอ่านได้เลยโดยไม่ต้องรู้เรื่องเซต

ในบทนี้

หน้า	ได้อะไร
33.1 ประพจน์และตัวเชื่อม	แปลประโยคเป็นสัญลักษณ์และระบุค่าความจริงได้
33.2 ค่าความจริงและตาราง	สร้างตารางและย้อนหาค่าความจริงของประพจน์ย่อยได้
33.3 การอ้างเหตุผล	ใช้กรณีเหตุจริงทั้งหมดแต่ผลเท็จตรวจข้ออ้างได้
33.4 สมมูล นิเสธ และสัจนิรันดร์ เพิ่มเติม	ใช้รูปแบบสมมูลเขียนนิเสธและตรวจสัจนิรันดร์ได้
33.5 ตัวบ่งปริมาณ เพิ่มเติม	เขียนนิเสธและหาค่าความจริงโดยระบุเอกภพสัมพัทธ์ได้
33.6 แบบฝึกหัด	12 ข้อ เว็บตรวจคำตอบให้ทันที

ผ่านบทนี้เมื่อ

บอกได้ว่าประโยคใดเป็นประพจน์ และเขียนประโยคภาษาไทยเป็นสัญลักษณ์ $\wedge$ $\vee$ $\rightarrow$ $\leftrightarrow$ $\sim$ ได้
หาค่าความจริงของประพจน์ที่มีตัวเชื่อมหลายตัว และย้อนหาค่าความจริงของประพจน์ย่อยจากค่าความจริงของทั้งประโยคได้
สร้างตารางค่าความจริงของรูปแบบประพจน์ที่มีสามตัวแปร แล้วนับได้ว่ามีกี่กรณีที่เป็นจริง
สายเพิ่มเติม ตรวจได้ว่ารูปแบบสองรูปแบบสมมูลกันไหม เขียนนิเสธของประโยคได้ และตรวจได้ว่ารูปแบบใดเป็นสัจนิรันดร์
ตรวจได้ว่าการอ้างเหตุผลสมเหตุสมผลไหม และสำหรับสายเพิ่มเติม หาค่าความจริงของประโยคที่มีตัวบ่งปริมาณตัวเดียวได้
ทำแบบฝึกหัดท้ายบทถูกอย่างน้อย 10 จาก 12 ข้อ ถ้าเรียนสายพื้นฐาน ให้ถูกอย่างน้อย 6 จาก 7 ข้อที่ไม่มีป้ายเพิ่มเติม