ОТРИЦАЮЩЕУТВЕРЖДАЮЩИЙ МОДУС РАЗДЕЛИТЕЛЬНОКАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА

один из правильных модусов разделительно-категорического силлогизма: «Есть или А, или В. Нет А. Следовательно, есть В».