Правило Отделения

См.: Модус поненс.