Логические операции

Лекция 2 по математическому анализу для студентов первого курса ФМИАТ УлГУ (продолжает лекцию 1: https://youtu.be/Em_CdIG74rw ). Прочитана 2 сентября 2020 г. доцентом кафедры Прикладной математики Верёвкиным Андреем Борисовичем.
Продолжение (3 лекция): https://youtu.be/qv2eDFKhiDo
Темы:
0:07 - дизъюнкция и её свойства;
14:54 - об истине;
19:18 - таблица истинности;
32:45 - импликация и её свойства;
36:31 - парадоксальные свойства импликации;
50:19 - о доказательстве от противного;
54:02 - modus ponens;
54:44 - modus ponendo tollens;
56:50 - об элементарности;
1:00:40 - предикаты (начало).

Видео Логические операции канала Андрей Верёвкин