УДК 378.016:510.6
Авдеева Е.В., кандидат философских наук, доцент кафедры логики, философии и методологии науки, Орловский государственный университет имени И.С. Тургенева
Avdeeva Е.V., Candidate of Philosophy, Associate professor of Department of logic, philosophy and Methodology of science,Orel State University named after I.S. Turgenev
В данной статье рассматриваются различные типы задач математической логики, методика их решения, проанализирован метод формализации, показано использование символов в повседневной жизни. Решение задач позволяет усваивать практическую логику. Изучая математическую логику, студент формирует мыслительную деятельность.
Ключевые слова: математическая логика, формализация,символ, формула, язык логики высказываний, язык логики предикатов.
This article considers various types of mathematical logic problems, methods for solving them, analyzes the formalization method, and shows the use of symbols in everyday life. Solving problems allows learning practical logic. Studying mathematical logic, a student forms mental activity.
Keywords: mathematical logic, formalization, symbol, formula, language of propositional logic, language of predicate logic.
Список литературы
References