Лекция 2. Натуральное исчисление высказываний

  1. 00:16Общая характеристика натурального исчисления высказываний
  2. 12:37Правила исчисления
  3. 24:00Выводимость (пример 1)
  4. 35:37Выводимость (пример 2)
  5. 48:02Выводимость (пример 3)
  6. 56:45Вывод (определение)
  7. 01:03:12Выводимость (определение)
  8. 01:05:34Специфика натурального исчисления высказываний