Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний

0:00:19 1. Определение логического следования 0:03:11 2. Постановка задачи 0:04:12 3. Пример A→B,C→D |= A\/C→B\/D 0:15:36 4. Пример A→(B→C) |= A&B→C 0:20:14 5. Пример A→B,C→D |= (A→C)→(B→D) 0:30:33 6. Секвенции, аксиомы и правила 0:38:28 7. Что такое вывод? 0:42:42 8. Формулировка теоремы об эквивалентности 0:43:38 9. Пример (P→Q)→R |= неR→P&неQ 0:51:22 10. Доказательство теоремы 0:58:10 11. Пример не(P&Q) |= неP&неQ 1:02:34 12. Пример P\/Q→R |= R \/ не(неP→Q) 1:10:03 13. Заключение по логике высказываний Ссылки плейлист: