Знакомим вас сегодня с учебными эпизодами урока в 1-ом классе школы «Интеллектуал», более чем 12-летней давности.
Введение в математическую логику.
Высказывания. Операция отрицания.
Операции с высказываниями.
Операция импликации. Ищем посылки, ищем заключение.