Bu dersin temel amacı, öğrencilerin; - mantığın kapsamını, - mantıksal uslamlamanın nasıl ayrıklaştırılabileceğini ve formalize edilebileceğini, - önermeler mantığını, - yüklemler mantığını ve - kasıtlı mantığı, - neden formel mantığın mantıklı olan her şeyi işleyemeyeceğini anlamalarıdır.

Kapsanan konular: - Mantığın temel kavramları - İspat ve ispat şemaları - Mantıksal sabitler - Mantıksal dizgeler -Önermeler mantığı - Yüklemler mantığı - Yüklem ispat önermelerinin çözümlemesi - Formel diller - Formel bir dilin sözdizimi - Backur-Naur biçimi - Formel bir dilin anlamsallığı - Sözdizimsel geçerlik - Anlambilimsel geçerlik - Birinci derece yüklem mantığı - Tümdengelim dizgeleri