Условно-категорические умозаключения

2.4. Условно-категорические умозаключения
2) Отрицающий модус (modus tollens). Содержит переход от отрицания следствия импликации в категорической посылке к отрицанию основания в заключении. Его форма имеет следующий вид: (((А→В) & ¬В) → ¬А) .
1-ый и 2-ой модусы являются правильными. Два других модуса, в которых переходят от утверждения следствия к утверждению основания и от отрицания основания к отрицанию следствия являются неправильными. Их формы имеют следующий вид:
(((А→В) & В) → А)
(((А→В) & ¬А) → ¬В) .

2.5. Разделительно-категорические умозаключения
Называются так потому, что содержат одну разделительную посылку, а другую – категорическую (утверждение либо отрицание одной из частей дизъюнкции). Имеют два правильных модуса:
1) Отрицающе-утверждающий. Содержит переход от отрицания одного из дизъюнктов в категорической посылке к утверждению другого в заключении. Его форма имеет следующий вид:
(((А V В) & ¬А) → В) .

2.5. Разделительно-категорические умозаключения
2) Утверждающе-отрицающий. Содержит переход от утверждения одного из дизъюнктов в категорической посылке к отрицанию другого в заключении. Необходимо, чтобы разделительная посылка была строгой, исключающей. Форма данного модуса имеет следующий вид: (((А V В) & А) → ¬В) .

2.6. Условно-разделительные (лемматические) умозаключения
Называются так потому, что содержат по крайней мере две условных посылки и одну разделительную. Леммы, содержащие две условных посылки называются дилеммами, более чем две – полилеммами.
Леммы, в которых от утверждения возможных оснований в разделительной посылке переходят к утверждению возможных следствий в заключении, называются конструктивными.