Разделительные (дизъюнктивные) суждения. Суждение, в котором главный логический союз дизъюнкция

Суждение, в котором главный логический союз дизъюнкция. Выделяют два вида дизъюнктивных суждений:

1) Соединительно-разделительное суждение. В нем простые суждения соединяются слабой дизъюнкцией. Значок - ˅. В естественном языке выражается словами «или» и «хотя бы, что-то одно» Например, «студент является должником, если получил хотя бы одну, две или больше неудовлетворительных отметок»

Имеет следующий смысл: Суждения, которые она соединяет, могут быть одновременно истинными. Например, «оружия бывают колющие или режущие». То есть бывают и по отдельности, но встречаются и вместе.

Таблица истинностных значений слабой дизъюнкции:

Слабая дизъюнкция истинна, если хотя бы одна переменная истинна.

2) Строго разделительное суждение (альтернативное суждение). Суждение, в котором простые суждения соединяются строгой дизъюнкцией. Обозначается галочкой, над которой стоит точка ˅·. Обозначается союзами «либо» и «или».

Значение в том, что выражает альтернативу, то есть суждения, которые им соединяется, не могут иметь одинаковых значений.

Например, «сегодня вечером я буду дома или в гостях». Нельзя быть одновременно дома или в гостях. Поэтому «или» в значении «либо». Если в тексте с задачей встречается союз «либо», то это однозначно строгая дизъюнкция, если «или», то вид дизъюнкции определяется по смыслу сложного суждения.

Например, «Алиса сегодня утром либо будет спать, либо пойдет на лекцию». Выбирается одно.

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

Строгая дизъюнкция истинна, когда её переменные имеют альтернативные значения.