Лекция 8. Отношения между формулами

  1. 00:16Отношения совместимости и несовместимости между суждениями по истинности и по ложности
  2. 07:38Отношения логического следования
  3. 11:23Метод аналитических таблиц
  4. 33:23Правила редукции
  5. 44:33Квантор общности
  6. 57:48Конфигурация
  7. 01:06:56Примеры