разделительное суждение

разделительное суждение
дизъюнктивное (от лат. disjunctio - разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки "или". Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn - суждение (член дизъюнкции, альтернатива), a v - знак дизъюнкции. Существуют два вида Р. с.: строго разделительные и нестрого разделительные. В строго разделительных суждениях связка "или", "либо" употребляется в строго разделительном смысле (см.: Дизъюнкция), т. е. когда члены дизъюнкции (альтернативы) в двучленном суждении A1 v A2 несовместимы (одно из них является истинным, а другое - ложным). Таково суждение: "Этот человек является виновным (A1) либо этот человек не является виновным (А2)". Естественно, что данный человек не может быть одновременно виновным и невиновным, имеет место лишь одна из альтернатив. В нестрого разделительных суждениях (см.: Дизъюнкция) альтернативы не являются несовместимыми. Таково суждение "Этот ученик является способным или он является прилежным". В этом суждении не исключается, что ученик может быть одновременно способным и прилежным.
Р. с. в обычном языке формулируются чаще всего в сокращенной форме и имеют, напр., вид: "S есть Р1 или P2 или "Р1 или P2 принадлежит S". Так, суждение "Данный треугольник прямоугольный или непрямоугольный" означает Р. с. "Данный треугольник прямоугольный или данный треугольник непрямоугольный" Связка "либо" вместо связки "или" используется обычно в строго разделительных суждениях.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.