Логика для юристов - [19]
| А | В | (А В) |
| и | и | и |
| и | л | л |
| л | и | л |
| л | л | л |
Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются последовательно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами ⊤>2, ⊤>3 и т.д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками последовательной конъюнкции и соответственно читаются “..., а затем...”, “..., затем..., а затем...” и т.д. Индексы 2,3 и т.д. указывают на местность союза. Форма суждения с двухместным союзом ⊤ : ⊤>2(А,В), или (А⊤В). Пример суждения этой формы: “Были приглашены понятые, а затем составлен протокол”. Вместо выражения “а затем” чаще всего употребляется союз “и”: “Были приглашены понятые, и был составлен протокол”. Форма суждения с трехместным союзом ⊤: ⊤>3(А,В,С). Пример: “Петров вышел на улицу, затем остановил такси, а затем направился в центр города”.
Ещё один смысл союза “и” выделяется посредством знака , называемого знаком одновременной конъюнкции. Ситуации, описываемые истинным суждением с этим союзом, происходят одновременно.
При составлении документов, имеющих юридическую силу, важно указывать, в каком из перечисленных смыслов употребляется союз “и”.
Разделительные суждения — это суждения, в которых утверждается наличие одной из двух, трех и т.д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, то суждение называется строго-разделительным, или строго-дизъюнктивным. Чаще всего утверждение первого типа осуществляется посредством предложений с союзом “или”, а второго — с союзом “или..., или...” (“либо..., либо”), “или..., или..., или...” и т.д.; но может выражаться и посредством предложений с союзом “или”, если ясно, например, из контекста, что имеет место утверждение о наличии ровно одной из двух ситуаций. Союз “или”, посредством которого выражается утверждение первого типа, обозначается символом (читается “или”), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз “или..., или...”, посредством которого выражается утверждение второго типа, — символом ⊻ (читается “или..., или...”), называемым знаком строгой дизъюнкции.
Табличные определения знаков нестрогой и строгой дизъюнкции:
| А | В | (A B) |
| и | и | и |
| и | л | и |
| л | и | и |
| л | л | л |
| А | В | (A⊻B) |
| и | и | л |
| и | л | и |
| л | и | и |
| л | л | л |
Примеры нестрого-дизъюнктивного и строго-дизъюнктивного суждений: “Иванов является юристом или Иванов является спортсменом”, “Иванов совершил это преступление или Иванов не совершил этого преступления”.
Символ ⊻ (в другой терминологии — ⊻>2 )— это знак двухместной строгой дизъюнкции. Знак трехместной строгой дизъюнкции — ⊻>3 (читается “или..., или..., или...”) определяется посредством следующей таблицы:
| А | В | C | ⊻>3(А,В,С) |
| и | и | и | л |
| и | и | л | л |
| и | л | и | л |
| и | л | л | и |
| л | и | и | л |
| л | и | л | и |
| л | л | и | и |
| л | л | л | л |
Пример суждения этого вида: “Или Иванов совершил это преступление, или Петров, или Сидоров”.
В общем случае строго-дизъюнктивное суждение ⊻>п(A>1,... A>n), где п > 2, можно определить так: это суждение, которое истинно тогда и только тогда, когда истинно одно и только одно суждение из составляющих его суждений, т.е. из (A>1,..., A>n).
Условные и импликативные суждения. Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой, называется условным. Условные суждения чаще всего выражаются предложениями с союзом “если..., то...”.
Для более строгого определения условного суждения следует охарактеризовать необходимые и достаточные условия для события, действия и т.д. Условие называется необходимым для данного события (ситуации, действия и т.д.), если при его отсутствии это событие не происходит. Например: наличие атмосферы является необходимым условием для возникновения на Земле существующих видов высокоорганизованных животных, так как в случае отсутствия атмосферы эти виды не могли бы возникнуть. Условие называется достаточным для данного события, если всякий раз, когда имеется это условие, событие происходит. Например: выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми.
Условия могут быть “достаточными, но не необходимыми”, “необходимыми, но не достаточными”, “необходимыми и достаточными”. Например: делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6, делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6, делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2.
В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом “если” и словом “то”. Часть условного суждения, которая находится после слова “то”, называется следствием. В суждении “Если идет дождь, то крыши домов мокрые” основанием является простое суждение “идет дождь”, а следствием — “крыши домов мокрые”.
Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием. Условный союз “если..., то...” обозначается стрелкой (
