โครงสร้างคณิตศาสตร์-การให้เหตุผลเชิงนิรนัยและอุปนัยทางคณิตศาสตร์
โครงสร้างของระบบคณิตศาสตร์ พจนานุกรมฉบับราชบัณฑิตยสถาน พ.ศ.2525 หน้า 162 ได้ให้ความหมายของคณิตศาสตร์ไว้ ดังนี้ “คณิตศาสตร์เป็นวิชาที่ว่าด้วยการคำนวณ”
ประวัติตรรกศาสตร์ นักคณิตศาสตร์สำคัญเรื่องตรรกศาสตร์
Logic มีทีมาจากคำว่า Logos ในภาษากรีก ว่าด้วยความเป็นเหตุเป็นผล ตรรกศาสตร์ คือกระบวนการใช้เหตุผลที่สร้างข้อสรุปจากข้อสมมติพื้นฐาน
การแจกแจงค่าความจริง และ สมบัติการสมมูล ตรรกศาสตร์ คณิตศาสตร์ ม.ปลาย
การแจกแจงค่าความจริง ตรรกศาสตร์ โดยมีเนื้อหาตั้งแต่ สมบัติการสมมูล ประพจน์ การหาค่าความจริง สัจนิรันดร์ การอ้างเหตุผล และตัวบ่งปริมาณ การแจกแจงค่าความจริง จริง ใช้สัญลักษณ์ T เท็จ ใช้สัญลักษณ์ F