Математика как иностранный. A1-4. Простейший формализм.

Повторяем пройденное и строим логику высказываний. Поговорим о правилах построения формул в простейшем языке с переменными и логическими связками. Немного затронем тему булевых функций и понятие равносильности формул. Постараюсь прояснить различие уровней математичекого языка при работе с формальными системами. Ссылки: 1. Спецкурс по теореме Гудстейна на канале Маткульт-привет: 2. Вторая теореме Гёделя о неполноте на канале Маткульт-привет: