Условие:
Определить, какой это вид дедуктивного умозаключения (условно-категорическое (УКУ), разделительно-категорическое (РКУ), условно-разделительное (УРУ)). Записать его в виде формулы, определить модус. Если это УКУ или РКУ, определить его корректность (УКУ – по модусам, РКУ – по разделительной посылке). Дилеммы просто записать в виде формулы и установить вид.
Установите вид дедуктивного умозаключения и его правильность, если это возможно. Запишите в виде формулы:
Заведующий кафедрой может быть только доктором наук или доцентом. И так как заведующий кафедрой права не является доцентом, значит, он доктор наук.