Установите вид дедуктивного умозаключения и его правильность

Зададим переменные простым суждениям:
p – «судья участвовал в данном деле в качестве эксперта»;
q – «судья не может участвовать в рассмотрении дела».
Схема вывода:
р q, р
q
Рассуждение идет согласно условно-категорическому умозаключению (УКУ) в утверждающем модусе (modus ponens): можно строить достоверные умозаключения от утверждения основания к утверждению следствия.