Определить какой это вид дедуктивного умозаключения (условно-категорическое (УКУ)

Определить, какой это вид дедуктивного умозаключения (условно-категорическое (УКУ), разделительно-категорическое (РКУ), условно-разделительное (УРУ)).
Вид: разделительно-категорическое умозаключение (РКУ).
2)Записать его в виде формулы, определить модус. Если это УКУ или РКУ, определить его корректность (УКУ – по модусам, РКУ – по разделительной посылке) . Дилеммы просто записать в виде формулы и установить вид.
Формула: ((р ≠ q) ʌ q) → р.
Модус: отрицающе-утверждающий (tollendo ponens).
Корректность РКУ определяется по разделительной посылке.
«Заключение по этому модусу достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием