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

 

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

 

(AB),   ¬A
    B
(AB),   ¬B
    A

 

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


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