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

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