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

Следовательно, проступок, совершенный П., является административным.
Категорическая посылка отрицает несколько из альтернатив, а в выводе утверждается оставшаяся альтернатива . Значит, модус отрицающе-утверждающий.
Обозначим альтернативы символами:
А – гражданские проступки,
В – административные проступки,
С – дисциплинарные проступки.
Схема разделительно-категорического умозаключения:
А˅В˅С, ¬В, ¬С
4057651651000 А
В разделительной посылке дизъюнкция простая.