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