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

 

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

 

(AB),   A
        B

 

Другие названия: правило исключения импликации.

© Автор статьи.