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

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

Название способа рассуждения и соответствующего правла вывода, позволяющего переходить от конъюнктивной посылки к одному из конъюнктов

(A&B)
A

(A&B)
B

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