Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или».
Разделительное суждение может быть как двух-, так и многосоставным: р Ú q Ú r Ú … n
В языке разделительное суждение может быть выражено одной из трех логико-грамматических структур.
1) Разделительная связка представлена в сложном субъекте по схеме: S1 или S2 есть Р.
2) Разделительная связка представлена в сложном предикате по схеме: S есть P1 или P2.
3) Разделительная связка представлена сочетанием первых двух способов по схеме: S1 или S2 есть P1 или P2.
Нестрогая и строгая дизъюнкция. Поскольку связка «или» употребляется в естественном языке в двух значениях — соединительно-разделительном и исключающе-разделительном, то следует различать два типа разделительных суждений: 1) нестрогую (слабую) дизъюнкцию и 2) строгую (сильную) дизъюнкцию.
1) Нестрогая дизъюнкция — суждение, в котором связка «или» употребляется в соединительно-разделительном значении (символ v).
|
|
2) Строгая дизъюнкция — суждение, в котором связка «или» употребляется в разделительном значении (символ).
Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными.
Разделительная связка в языке обычно выражается с помощью союзов «или», «либо». С целью усиления дизъюнкции до альтернативного значения нередко употребляют удвоенные союзы: вместо выражения «р или q» употребляют «или р, или q», а вместе «р либо q» — «либо р, либо q». Поскольку в грамматике отсутствуют однозначные союзы для нестрогого и строгого разделения, то вопрос о типе дизъюнкции в юридических и других текстах должен решаться содержательным анализом соответствующих суждений.