Формализовать и проверить правильность мышлений. Существует ли между основаниями и выводами отношения логического следования? Формалізувати і перевірити правильність міркувань. Чи існує між засновками та висновками відношення логічного слідування?

Судья не может принимать участие в ведении уголовного дела и подлежит отводу, если он лично заинтересован в этом деле. Судья К заинтересован в этом деле, поэтому он не может принимать участие в его ведении и подлежит отводу.