Разделительные умозаключения

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

имеет 2 модуса:

- утвержающе-отрицающий: путём утверждения одного из членов дизъюнкции производится отрицание всех остальных членов; разделительная посылка должна представлять собой строгую дизъюнкцию

(p V’ q) (p V’ q)

p или q

q p

- отрицающее-утверждающий :путём отрицания всех членов дизъюнкции,кроме одного, производиться утверждение оставшегося члена

(р V q), p или (p V q), q

q p

в разделительной посылке должны быть перечислены все возможные альтернативы

16.