Актуальные проблемы современной науки, № 5, 2013 Лобанов В.И., кандидат технических наук, ведущий научный сотрудник «ЦНИИ «Комета», г. Москва СИНТЕЗ НЕДОСТАЮЩЕЙ ПОСЫЛКИ СИЛЛОГИЗМА Иногда в силлогизме заданы одна из посылок и заключение. <...> Для синтеза недостающей посылки предлагается алгоритм «РЕДАН». <...> Изобразить все возможные ситуации для исходной посылки и заключения с помощью диаграмм Лобанова (ДЛ). <...> Проверить все варианты f(m,y) на соответствие заданной импликации. <...> Найти недостающую посылку в силлогизме Emx & f(m,y) → Exy. <...> Иногда в силлогизме заданы одна из посылок и заключение. <...> Для синтеза недостающей посылки предлагается алгоритм «РЕДАН»! <...>