Словарь по логике
Правило отделения
Встречающееся в математической литературе название для символической формы правила рассуждения
modus ponens
:
(A
B), A
B
Другие названия:
правило исключения импликации
.
© Автор статьи.