Сделать вывод и проверить правильность

Вывод: Девушка, принадлежащая к южно-африканской народности, является черной.
Определим вид умозаключения:
Первая посылка: «Девушки бывают разные: черные, белые, красные» представляет собой сложное дизъюнктивное суждение А˅В˅С
А - Девушки бывают черные
В - Девушки бывают белые
С - Девушки бывают белые.
Во второй посылке отрицаются два из трех дизъюнктов.
Таким образом, данное умозаключение является разделительно-категорическим . Меньшая посылка отрицает один два дизъюнкт, заключение утверждает оставшийся. Это соответствует отрицающе-утверждающему модусу (modus tollendo ponens).
Схема умозаключения:
А˅В˅С
¬В, ¬С
-20955-317500А
Согласно правилу, что если мы отрицаем какой-либо из дизъюнктов, то утверждать оставшиеся мы можем при любом типе дизъюнкции – простой или строгой (исключающей), если соблюдается правило: в разделительной посылке должны быть перечислены все возможные суждения - дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием