Логика для юристов

Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются последовательно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами Т₂, Т₃ и т.д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками последовательной конъюнкции и соответственно читаются а затем...”, затем..., а затем...” и т.д. Индексы 2,3 и т.д. указывают на местность союза.

Форма суждения с двухместным союзом Т : Т₂ (А,В), или (АТВ). Пример суждения этой формы: “Были приглашены понятые, а затем составлен протокол”. Вместо выражения “а затем” чаще всего употребляется союз “и”: “Были приглашены понятые, и был составлен протокол”. Форма суждения с трехместным союзом Т: Т₃ (А,В,С). Пример: “Петров вышел на улицу, затем остановил такси, а затем направился в центр города”.

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

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

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

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

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

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

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

В общем случае строго-дизъюнктивное суждение ⊻_n (A₁, ... A_n), где n > 2, можно определить так: это суждение, которое истинно тогда и только тогда, когда истинно одно и только одно суждение из составляющих его суждений, т.е. из (A₁, ... A_n).

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

Для более строгого определения условного суждения следует охарактеризовать необходимые и достаточные условия для события, действия и т.д. Условие называется необходимым для данного события (ситуации, действия и т.д.), если при его отсутствии это событие не происходит. Например: наличие атмосферы является необходимым условием для возникновения на Земле существующих видов высокоорганизованных животных, так как в случае отсутствия атмосферы эти виды не могли бы возникнуть. Условие называется достаточным для данного события, если всякий раз, когда имеется это условие, событие происходит. Например: выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми.

Условия могут быть “достаточными, но не необходимыми”, “необходимыми, но не достаточными”, “необходимыми и достаточными”. Например: делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6, делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6, делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2.

В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом “если” и словом “то”. Часть условного суждения, которая находится после слова “то”, называется следствием. В суждении “Если идет дождь, то крыши домов мокрые” основанием является простое суждение “идет дождь”, а следствием — “крыши домов мокрые”.