|
(Если A, то B), A B |
или, в символической записи:
(A B), AB |
Modus ponens имеет особое теоретическое значение при построении аксиоматических теорий (см. системы гильбертовского типа).
Символическая форма иногда называется правилом отделения и правилом исключения импликации.