"дезьюкция"

"Дезьюкция" - это логическое правило, которое говорит о том, что если одно утверждение истинно, или другое утверждение истинно, то и оба утверждения являются истинными.