Вопрос 2. Разделительные (дизъюнктивные) суждения

Разделительные суждения образуются с помощью логического союза «дизъюнкция», что в русском языке соответствует союзу «или».

Различают:

· нестрогую дизъюнкцию, которую обозначают , и

· строгую дизъюнкцию, которую обозначают .

Члены дизъюнкции называются альтернативами.

1. Нестрогая дизъюнкция – суждение, в котором связка «или» употребляется в соединительно-разделительном значении. Например: «В обед я смогу съесть или первое блюдо, или второе, или десерт». В данном случае альтернативы в принципе могут и не исключать друг друга, ведь возможно съесть и первое, и второе, и третье блюдо. (Или а, или в, или то и другое вместе). Здесь истинность одного высказывания не отрицает истинности другого. Это нестрогая, или соединительно-разделительная дизъюнкция. Ее формула: а в.

Таблица истинности нестрогой дизъюнкции:

А	В	а в
и и л Л	и л и л	И и и л

Суждение а в будет истинным при истинности хотя бы одного члена дизъюнкции (1, 2, 3-я строки). Дизъюнкция будет ложной при ложности обоих ее членов (4-я строка).

2. Строгая дизъюнкция – это суждение, в котором связка «или» употребляется только в разделительном значении. Например: «Приговор может быть или обвинительным, или оправдательным». В данном случае одна альтернатива должна исключать другую. (Либо а, либо в). Здесь члены дизъюнкции не могут быть одновременно истинными. Это строгая, или исключающая дизъюнкция. Ее формула: а в.

Таблица истинности строгой дизъюнкции:

А	В	а в
и и л л	и л и л	Л и и л

Строгая дизъюнкция истинна тогда, когда истинно лишь одно из двух простых суждений. Когда же а и в одновременно истинны, или одновременно ложны, тогда сложное суждение является ложным.