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

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

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

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