Matematikte mantık, akıl yürütmeyi sistematik olarak uygulamaya yarar. Bu bölümde basit ve bileşik önermeleri, totoloji, çelişki, açık önerme ve niceleyiciler gibi kavramları ve matematiksel ispat yöntemlerini öğreneceğiz.
Mantık konusunu şu başlıklar altında inceleyeceğiz.