Лекция 2. Многозначная логика. Трехзначная логика Лукасевича

  1. 00:16Введение
  2. 02:50История возникновения многозначной логики. Проблема логического фатализма и истинностного статуса высказываний о будущем
  3. 19:45Трехзначная логика Лукасевича
  4. 41:25Трехзначная логика Лукасевича: определение закона. Примеры проверки, является ли формула законом
  5. 52:00Трехзначная логика Лукасевича: определение отношения логического следования. Пример проверки, является ли формула следствием
  6. 57:20Формализация логики Лукасевича
  7. 01:08:29Функциональная полнота множества логических связок в логике Лукасевича. Оператор Слупецкого