Отрицающе-утверждающий модус разделительно-категорического силлогизма
Утверждающе-отрицающий модус разделительно-категорического силлогизма
modus роnеndо-tollеns) один из правильных модусов разделительно-категорического силлогизма: «Есть только А, или только В. Есть А. Следовательно, нет В».
Источник: Традиционная логика. Словарь по книге