Qidiruv

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

Алгебра логики — раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически А.