Матлогика 2. Предикаты. Кванторы

Таймкоды: 00:00:00 - тавтология 00:02:21 - лемма 1 00:05:38 - лемма 2 00:06:16 - логическая эквивалентность 00:06:47 - лемма 3 (свойства эквивалентности) 00:13:52 - вывод законов де Моргана 00:20:54 - рассуждение, атомы 00:25:57 - “определение“ корректности рассуждения 00:31:25 - лемма 4 (достаточное условие корректности рассуждения) 00:33:38 - атомы, предикат 00:39:00 - разложение высказывания на атомы 00:42:39 - “определение“ n-местного предиката 00:47:05 - примеры предикатов 00:50:35 - “система уравнений“ 00:53:32 - кванторы 01:02:54 - кванторы существования и всеобщности 01:12:56 - связь между кванторами Лекция: Лектор: Дашков Евгений Владимирович Плейлист: