ทบทวนสูตรตรรกศาสตร์
ตารางค่าความจริง
สิ่งที่จำเป็นสำหรับเรื่องตรรกศาสตร์น้องๆ จะต้องจำตารางค่าความจริงได้นะคะ ส่วนวิธีจำพี่บิวแนะนำให้จำแบบนี้
และ (∧) เป็นจริง กรณีเดียวคือ T∧T
หรือ (v) เป็นเท็จ กรณีเดียวคือ FvF
ถ้า…แล้ว(→) เป็นเท็จ กรณีเดียวคือ T→F
ก็ต่อเมื่อ(↔) เป็นจริง กรณีเหมือนกัน คือ T↔T ,F↔F
-ประพจน์ที่สมมูลกัน
ประพจน์ที่สมมูลกันคือ ไม่ว่า p ,q จะเป็นจริงหรือเท็จ ค่าความจริงของ 2 ประโยคจะเท่ากันเสมอ
ประพจน์ที่เป็นนิเสธกัน
ประพจน์ 2 ประพจน์ที่เป็นนิเสธกัน ก็ต่อเมื่อ ประพจน์ทั้งสองมีค่าความจริงตรงข้ามกันทุกกรณีของค่าความจริงของประพจน์ย่อย
ตัวอย่างประพจน์ที่เป็นนิเสธกันที่ควรทราบมีดังนี้