02-05. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И УЧЕБНИК ЛОГИКИ Гусева Д.А. (2015 г.)

НАУЧНОМУ СООБЩЕСТВУ ПРЕДЛОЖЕНА ИННОВАЦИОННАЯ МЕТОДОЛОГИЯ РАСЧЁТА СИЛЛОГИЗМОВ, основанная на принципах работы программных систем ИИ, реализованная в небольшой компьютерной программе - калькуляторе силлогизмов SILL. Какие логические выводы мы получим в силлогизмах, приведённых в классическом учебнике логики Гусева Д.А. при их расчёте в программе Sill? Видеоролик отвечает на этот вопрос. ССЫЛКА ДЛЯ СКАЧИВАНИЯ ДЕМОНСТРАЦИОННОЙ ВЕРСИИ ПРОГРАММЫ SILL (файл Sill10dem): (проверка