§ 16. Другой модус разделительно-категорического силлогизма противоположен предыдущему. Вот его пример:

Орбиты комет – или эллипсы, или параболы, или гиперболы.

Орбита кометы Галлея есть эллипс.

Орбита кометы Галлея не есть ни парабола, ни гипербола.

В этом силлогизме разделительная посылка указывает, какие из исключающих друг друга свойств могут принадлежать предмету. Категорическая посылка устанавливает, какое именно из этих свойств действительно принадлежит предмету. Вывод состоит в заключении, что ни одно из остальных свойств не может принадлежать ему.

Разделительно-категорический силлогизм такого строения называется modus ponendo tollens, т. е. модусом, который «утверждая отрицает». И действительно, то, что категорическая посылка этого модуса утверждает как действительно принадлежащее предмету, ведёт в заключении к отрицанию всех прочих свойств, принадлежащих к тому же роду, но исключающих утверждаемое.