Яворская Т.Л. - Математическая логика - 9. Выводимость в логике I порядка. Исчисление предикатов.

0:00:19 1. Логика высказываний 0:03:54 2. Аналогичное исчисление для логики I порядка 0:15:28 3. Пример 1 0:18:28 4. Пример 2 0:21:50 5. Пример 3 0:23:54 6. Пример 4 0:26:06 7. Пример 5 0:40:01 8. Пример 6 0:46:59 9. Как связаны выводимость и логическое следование? 0:53:13 10. Примеры Ссылки плейлист: