Мантиқ фани бўлими. У математика услублари асосида ривожлантирилади. Унга фикр (ҳукм) ларни асослаш, исботлар, мантиқий хулосалар чиқариш киради. Бунинг учун математик мантиқда алгебра услублари ва алгоритмлар назарияси қўлланилади.инглизчаmathematical logicрусчаматематическая логика