Математична логіка вивчає питання застосування математичних методів для вирішення логічних завдань та побудови логічних схемякі також лежать в основі роботи будь-якого комп'ютера.Jul 5, 2018
Логіка систематизує правильні способи міркування, і навіть типові помилки у міркуваннях. Вона надає логічні засоби для точного вираження думок, без якого виявляється малоефективною будь-яка мисленнєва діяльність, починаючи з навчання та закінчуючи науково-дослідною роботою.
Основна мета логіки і її функція: зберегти у незмінному вигляді закони виведення наступних тверджень із попередніх. При цьому істинність висновків, залежать тільки від істинності тверджень, що входять у висновок, і від правильного їх зв'язку між собою. Вивчаючи, як одні думки випливають з інших, логіка виявляє закони мислення.
Предмет математичної логіки Центральним поняттям математичної логіки є “математичне Доведення''. Дійсно, "доказові" (інакше кажучи, дедуктивні) міркування – єдиний вид міркувань, що визнані в математиці.