Лекция 13. Классическая логика высказываний

  1. 00:16Общие принципы построения дедуктивных теорий
  2. 03:20План лекции
  3. 07:55Общая характеристика классической логики высказываний
  4. 11:54Язык классической логики высказываний
  5. 14:47Интерпретация
  6. 26:14Таблицы истинности
  7. 01:02:38Отношения между высказываниями
  8. 01:12:12Проверка умозаключений табличным методом