parent clause

Мат. исходное предложение, дизъюнкт-посылка