База вопросов «Что? Где? Когда?»
Вопрос 24: Вид логической задачи (не глагол!), Льюис Кэрролл ее как-то изобрел.
Ответ: Сорит. Эта логическая задача состоит в следующем: даются несколько предложений типа "если А, то Б", из которых нужно сделать один вывод.