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

Зададим переменные простым суждениям:
p – «документы, являющиеся вещественными доказательствами, остаются при деле в течение всего срока хранения последнего»;
q – «документы, являющиеся вещественными доказательствами, передаются заинтересованным лицам».
Разделительная посылка:
«Документы, являющиеся вещественными доказательствами, остаются при деле в течение всего срока хранения последнего (р), либо передаются заинтересованным лицам (q)».
Категорическая посылка:
«Эти документы были переданы заинтересованным лицам (q)».
Заключение:
«Эти документы, являющиеся вещественными доказательствами, не остаются при деле в течение всего срока хранения последнего (¬р)».
Данное умозаключение соответствует утверждающе-отрицающему модусу (ponendo tollens) (первая посылка – строгая дизъюнкция нескольких вариантов чего-либо, вторая утверждает один из них, а вывод отрицает все остальные)