Лекция 15. Аксиоматическое исчисление высказываний

  1. 00:16Вопросы для изучения
  2. 01:14Логические исчисления
  3. 07:54Общий план построения логических исчислений
  4. 26:12Способы построения логических исчислений
  5. 38:09Аксиоматическое классическое исчисление высказывания
  6. 47:04Пример (Система Клини)