Традиционная логика

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

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

  1. отрицающий модус условнокатегорического силлогизма—заперечуючий модус умовнокатегоричного силогзму...Російсько-український словник логіки