Matematik mantiq asoslari mantiqiy munosabatlar va tuzilmalarni matematik usullar bilan o'rganadi. Bu soha XIX asrda George Boole va Augustus De Morgan kabi matematiklar tomonidan rivojlantirilgan. Matematik mantiqda asosiy operatorlar o'z ichiga oladi: va (∧), yoki (∨), emas (¬). Nazariyaning eng muhim qismi aksiomalar va ularning mantiqiy natijasidir