Логика

И.И. Веревичев

4.4. Разделительные суждения

Разделительные суждения образуются с помощью логического союза «дизъюнкция». Различают дизъюнкцию простую, которую обозначают V, и строгую – Ý. Члены дизъюнкции называются альтернативами. В случае простой дизъюнкции альтернативы в принципе могут не исключать друг друга («В обед я смогу съесть или первое блюдо, или второе, или десерт»), а в случае строгой одна альтернатива должна исключать другую («Приговор может быть либо обвинительным, либо оправдательным»). Условия истинности простой и строгой дизъюнкции определяются по следующей таблице:

1

Известен и еще один вид разделительного сложного суждения — антиконъюнкция. Антиконъюнкция — есть логическое отрицание конъюнкции, и обозначается знаком р│q. Этот союз характерен тем, что он утверждает несовместимость суждений р и q (они не могут быть одновременно истинными), но допускает их ложность. Таким образом, антиконъюнкция является ложной лишь в том случае, когда составляющие ее части одновременно являются истинными суждениями:

1

В качестве примеров антиконъюнкции приведем следующие суждения: «Крым является частью территории суверенных государств России и (или) Украины», «Клеопатра была женой Юлия Цезаря и (или) Марка Антония» и т. д.