Logika mengkaji struktur argumen yang valid. Ia mengajukan pertanyaan: jika premis-premisnya benar, apakah kesimpulannya pasti benar? Logika formal menggunakan simbol untuk mewakili pernyataan dan aturan untuk menurunkan kesimpulan. Silogisme Aristoteles merupakan sistem awal; logika modern, yang dikembangkan oleh Frege, Russell, dan lainnya, menjadi dasar matematika dan ilmu komputer.

Logika proposisional berkaitan dengan pernyataan yang benar atau salah dan penghubung seperti DAN, ATAU, dan TIDAK. Logika predikat menambahkan kuantifikasi: "untuk semua" dan "ada". Sistem-sistem ini memformalkan penalaran dan mengungkap kekeliruan.

Logika adalah dasar dari pembuktian matematika. Setiap teorema didasarkan pada deduksi logis dari aksioma. Dalam komputasi, gerbang logika mengimplementasikan operasi Boolean, dan bahasa pemrograman menggunakan kondisi logis. Subjek ini juga bersinggungan dengan filsafat, linguistik, dan kecerdasan buatan. Pemikiran yang jernih tentang penalaran sangat berguna jauh melampaui matematika.

• Studi tentang penalaran yang valid
• Menggunakan simbol dan aturan formal
• Logika proposisional dan predikat
• Dasar-dasar pembuktian dan komputasi