Основы математической логики от Багша - очень подробно, занятие №1. 200522 1730.

0:05 Болтовня о том, зачем и для чего нужны основы матлогики (можно смотреть на скорости 1.25) 3:50 Высказывание - определение, как определять, что есть высказывание, что -нет. Как доопределить до высказывания. Примеры. 15:50 кванторы 29:40 Пример - аксиома. Вспомним , как доказывается единственность существования. 35:15 Логические операции: 38:30 1) Отрицание высказывания - определение, примеры, таблица 43:00 2) Конъюнкция - определение, таблица, примеры, отображение конъюнкции в системах уравнений и в электрических цепях. 1:00:00 3) Дизъюнкция - определение, таблица, примеры. Различие между логическим и бытовым "или" 1:13:47 4) Импликация - определение, построчное осмысление строк таблицы. Достаточность посылки и необходимость следствия. Пример на интерпертацию строк таблицы, мини -дз Запись на занятия: https://vk.com/bagsha?w=wall-76134142_384