1.2 ตรรกศาสตร์

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