Тарихтан: Математикалық логиканың негізін қалаушы ретінде ұлы неміс математигі Лейбниц есептеледі. Ол, XVII ғасырда,
бірінші логикалық есептеулерді құруға талпынған. Лог есептеулерге жақындатып, логикалық символиканы дəл жетілдірген.
Лейбниц құрған іргетастың үстіне, басқа ұлы математ Джордж Буль
(«Овод» романының авторы Э. Войничтың əкесі), ғылымның жаңа аймағын –
математикалық логиканы құрған. Ол Готфрид Вильгельм фон Лейбниц (1646—1716)—
нем.философы, математик, заңгер, дипломат. 2
Джордж Буль (1815— 1864)—
ағылшын математигі жəне логигі. Математикалық логика қалаушылардың бірі. логикалық құрылымдар үшін, ерекше алгебра –
логикалар алгебрасы (Буль алгебрасы) атты тұтас бір, тың математикалық б өмірге келтірді. Онда, дағдылы алгебрадан айырмасы, сандар емес, пікірлер белгіленеді.
Қазіргі математикалық логика, оқиғалар ықтималдығы ақпарат теориясы атты дискреттік математика тараптар алгебрасының мысалдық, көрнектемелері жəне модельдік болып табылады