При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...

Логические требуют умения рассуждать, а математические — решения с помощью специальных математических средств. Иначе, логические задачи не требуют вычислений, они решаются с помощью рассуждений. Приведем примеры Курс логики был введен в советских школах в 1947 году. Школьникам выпускного класса его давали один час в неделю. Из школьной программы этот предмет был исключен в 1955 году. Тогда коммунистические власти посчитали, что логика не имеет прикладного значения для подготовки кадров народному хозяйству...