Дедуктивное умозаключение, состоящее из трех категорических суждений (двух посылок и вывода), включающих три термина, и в котором вывод осуществляется на основе знания отношений двух терминов к некоторому третьему термину, называется: