Правилом modus ponens называют процедуру перехода от двух формул вида
(Отметьте один правильный вариант ответа.)
Варианты ответа
A и AB к одной формуле вида А для любых A и B
В и AB к одной формуле вида B для любых A и B
A и AB к одной формуле вида B для любых A и B(Верный ответ)
A и ВА к одной формуле вида B для любых A и B