matematik mantiq

Mantiq fani boʻlimi. U matematika uslublari asosida rivojlantiriladi. Unga fikr (hukm) larni asoslash, isbotlar, mantiqiy xulosalar chiqarish kiradi. Buning uchun matematik mantiqda algebra uslublari va algoritmlar nazariyasi qoʻllaniladi.английскийmathematical logicрусскийматематическая логика