Выведите заключение из данных посылок и проверьте правильность вывода в соответствии с правилами модусов умозаключений

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