Отрицающий модус условно-категорического силлогизма

Найдено 1 определение
Отрицающий модус условно-категорического силлогизма (modus tollens)
один из правильных модусов условно-категорического силлогизма: «Если есть А, то есть и В. Нет В. Следовательно, нет А».

Источник: Традиционная логика. Словарь по книге