К какому из перечисленных видов дедуктивного умозаключения относится следующее умозаключение: «Если ...: ответ на тест 1201421 - Логика

К какому из перечисленных видов дедуктивного умозаключения относится следующее умозаключение: «Если судья является родственником потерпевшего, он не может участвовать в рассмотрении дела. Этот судья может участвовать в рассмотрении дела. Следовательно, этот судья не является родственником потерпевшего»?