Определите вид сложного суждения запишите модус и определите является ли он правильным

А) Если в документе произведена подчистка, то имеет место повреждение поверхностного слоя бумаги
Поверхностный слой бумаги не поврежден
В документе подчистка не произведена
Условно-категорическое умозаключение
в документе произведена подчистка – a;
имеет место повреждение поверхностного слоя бумаги – b.
a → b
¬b
¬a
Модус правильный (modus tollens), заключение с необходимостью следует
 
б) В документе имеет место либо травление, либо подчистка
    В документе имеет место подчистка
В документе не имеет места травление

Разделительно-категорическое умозаключение
В документе имеет место травление – a;
В документе имеет место подчистка – b.
a ˅ b
b
¬a
Модус правильный (modus ponendo tollens), заключение с необходимостью следует
в) Потерпевшему может быть нанесен моральный, физический, имущественный ущерб