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

Умозаключение состоит из трёх простых суждений:
«Проступки бывают гражданскими» – p.
«Проступки бывают административными» – q.
«Проступки бывают дисциплинарными» – r.
Схема вывода:
р q r
p
q, r
Дан утверждающе-отрицающий (ponendo tollens) модус . В утверждающе-отрицающем модусе первая посылка представляет собой строгую дизъюнкцию нескольких вариантов чего-либо, вторая утверждает один из них, а вывод отрицает все остальные