Юрий Ивлев - Логика для юристов: Учебник.

Кроме атрибутивных суждений и суждений об отношениях иногда в качестве специальных видов простых суждений выделяют суждения существования (типа “Инопланетяне существуют”) и суждения тождества (равенства) типа “ а = в ”. Мы специально не рассматриваем суждения этих видов, поскольку суждения существования можно, с определенными оговорками, истолковать как атрибутивные суждения равенства — как суждения об отношениях.

Упражнение 2

Какими по качеству и количеству являются следующие суждения об отношениях?

1. Студент Петров не знает английского языка.

2. Каждый юрист знает некоторого философа лучше, чем некоторого журналиста.

3. Некоторые города расположены между Москвой и Одессой.

4. Все студенты сдают какие-то экзамены.

5. Некоторые студенты нашего факультета знают польский язык лучше, чем английский.

6. Производитель обязан поставить получателю все комплектующие изделия в срок до 21 декабря по каждому из указанных в договоре адресов.

Сложными являются суждения, в которых можно выделить правильные части, являющиеся суждениями. Сложные суждения образуются из простых, а также из других сложных суждений с помощью логических союзов “если..., то...”, “или”, “и”, и т.д., с помощью отрицания “неверно, что”, модальных терминов “возможно, что”, “необходимо, что”, “случайно, что”, и т.д. Эти союзы в обыденном языке употребляются в различных смыслах. В языке права им придается точный смысл.

Соединительные суждения — это суждения, в которых утверждается наличие двух или более ситуаций. Пример: “Понятые присутствуют, и протокол составляется”. Чаще всего такие утверждения выражаются посредством предложений, содержащих союз “и”.

Встречающийся в естественном языке союз “и” употребляется в нескольких значениях. Сравним суждения: “Идет дождь, и идет снег”, “Я вышел на улицу и сломал ногу”. Если в первом суждении можно переставить составляющие его простые суждения без изменения смысла суждения в целом, то во втором суждении этого сделать нельзя. В логике находит широкое употребление союз “и”, имеющий определенный смысл. Этот союз обозначается символом  (читается “и”), называемым знаком (неопределённой) конъюнкции. Суждение с этим союзом называется (неопределённо) конъюнктивным. Определением знака конъюнкции является таблица, показывающая зависимость истинности конъюнктивного суждения от истинности составляющих его суждений.

Форма конъюнктивного суждения: (А  B) . Каждое из высказываний А и В может принимать как значение "истина", так и значение "ложь". Эти значения для краткости будем обозначать буквами и, л. Таблица истинности имеет вид:

Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются последовательно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами ⊤ 2, ⊤ 3и т.д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками последовательной конъюнкции и соответственно читаются “..., а затем...”, “..., затем..., а затем...” и т.д. Индексы 2,3 и т.д. указывают на местность союза. Форма суждения с двухместным союзом ⊤ : ⊤ 2 (А,В), или (А ⊤ В). Пример суждения этой формы: “Были приглашены понятые, а затем составлен протокол”. Вместо выражения “а затем” чаще всего употребляется союз “и”: “Были приглашены понятые, и был составлен протокол”. Форма суждения с трехместным союзом ⊤: ⊤ 3 (А,В,С). Пример: “Петров вышел на улицу, затем остановил такси, а затем направился в центр города”.

Ещё один смысл союза “и” выделяется посредством знака , называемого знаком одновременной конъюнкции. Ситуации, описываемые истинным суждением с этим союзом, происходят одновременно.

При составлении документов, имеющих юридическую силу, важно указывать, в каком из перечисленных смыслов употребляется союз “и”.

Разделительные суждения — это суждения, в которых утверждается наличие одной из двух, трех и т.д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, то суждение называется строго-разделительным, или строго-дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом “или”, а второго — с союзом “или..., или...” (“либо..., либо”), “или..., или..., или...” и т.д.; но может выражаться и посредством предложений с союзом “или”, если ясно, например, из контекста, что имеет место утверждение о наличии ровно одной из двух ситуаций. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом  (читается “или”), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз “или..., или...”, посредством которого выражается утверждение второго типа, — символом ⊻ (читается “или..., или...”), называемым знаком строгой дизъюнкции.

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

Примеры нестрого-дизъюнктивного и строго-дизъюнктивного суждений: “Иванов является юристом или Иванов является спортсменом”, “Иванов совершил это преступление или Иванов не совершил этого преступления”.

Символ ⊻ (в другой терминологии — ⊻ 2)— это знак двухместной строгой дизъюнкции. Знак трехместной строгой дизъюнкции — ⊻ 3(читается “или..., или..., или...”) определяется посредством следующей таблицы:

Пример суждения этого вида: “Или Иванов совершил это преступление, или Петров, или Сидоров”.