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

Правило исключения дизъюнкции

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

B), ¬A
B

B), ¬B
A

Дизъюнкция может пониматься как в нестрогом, так и в строгом смысле. Правило часто сокращенно обозначается: «и», «И», «ИД» и т.п.