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

Лекция 2 по математическому анализу для студентов первого курса ФМИАТ УлГУ (продолжает лекцию 1: • Язык математики ). Прочитана 2 сентября 2020 г. доцентом кафедры Прикладной математики Верёвкиным Андреем Борисовичем.
Продолжение (3 лекция): • Предикаты и парадокс Р...
Темы:
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 - предикаты (начало).

[@useruser7176]

лекция была очень для меня полезной, ее порекомемдовали на курсе мат. анализа никитина.
Я почерпнул много нового, хотя на импликации было не совсем все понятно, особенно на правилах modus ponens&modus ponendo tollens

[@user-mv5st5bm7z]

Чтобы убедиться в их правильности, достаточно построить таблицу истинности.