Словарь по логике

Правило исключения импликации

Встречающееся в математической литературе название для символической формы правила рассуждения modus ponens:

B), A
B

Правило часто сокращенно обозначается: «и», «И», «ИИ» и т.п

Другие названия: правило отделения.