Matematik mantiq asoslari mantiqiy munosabatlar va tuzilmalarni matematik usullar bilan o'rganadi. George Boole va Augustus De Morgan kabi matematiklar tomonidan rivojlantirilgan