Это такие суждения, в которых утверждается наличие одной из двух и более ситуаций. Если утверждается наличие, по крайней мере, одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, то суждение называется строго-разделительным, или строго-дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом «или», а второго – с союзом «или…, или…», а также с союзом «либо…, либо…». Союз «или», посредством которого выражается утверждение первого типа, обозначается символом
(читается «или»), называется знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз «или…, или…», посредством которого выражается утверждение второго типа, – символом(читается «или…, или…»), называемым знаком строгой дизъюнкции.
Вот таблица нестрогой дизъюнкции:
|
A |
B |
(A |
|
и и л л |
и л и л |
и и и л |
А вот таблица строгой дизъюнкции:
|
A |
B |
(A |
|
и и л л |
и л и л |
л и и л |
Примеры нестрого-дизъюнктивного и строго-дизъюнктивного суждений: «Иванов является юристом или Иванов является спортсменом»; «Либо Иванов совершил это преступление, либо Иванов не совершал этого преступления».