02-08. КАЛЬКУЛЯТОР СИЛЛОГИЗМОВ Sill И ПОСОБИЕ МГУ «ЛОГИКА. КРАТКИЙ КУРС» Ивлева Ю.В. (2018 г.)

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