ตรรกะเป็นศาสตร์ที่ว่าด้วยการใช้เหตุผลอย่างถูกต้อง.

การแก้ปัญหาเชิงตรรกะจำเป็นต้องมีข้อมูลและข้อเท็จจริงประกอบการตัดสินใจ.

ข้อสรุปเชิงตรรกะสามารถเกิดขึ้นโดยไม่มีหลักฐานหรือความจริง.

การอนุมานแบบนิรนัย (Deductive reasoning) คือการสรุปจากข้อมูลทั่วไปสู่ข้อมูลเฉพาะ.