Стандартное правило вывода обычно называют (Отметьте один правильный вариант ответа.) Варианты ответа modens ponus modus ponens(Верный ответ) ponus modens