Каждое сложное суждение состоит из простых суждений, соединенных каким-либо союзом. Возможно определить сложное суждение и таким образом: сложным называется суждение, в составе которого выделяется хотя бы одно простое суждение. В зависимости от союза, с помощью которого простые суждения входят в состав сложного, выделяется, как правило, шесть видов сложных суждений.
1. Конъюнктивное суждение , или конъюнкция – это сложное суждение с соединительным союзом и , который обозначается в логике условным знаком Ù. Например, сложное суждение: Сверкнула молния, и загремел гром является конъюнктивным, или конъюнкцией (соединением) двух простых суждений: 1. Сверкнула молния. 2. Загремел гром . Конъюнкция может состоять не только из двух, но и из большего количества простых суждений. Например: Сверкнула молния, и загремел гром, и пошел дождь (aÙbÙc) .
Дизъюнктивное суждение , или дизъюнкция или .
2. Нестрогая дизъюнкция – это сложное суждение с разделительным союзом или в его неисключающем (нестрогом) значении, который обозначается условным знаком Ú. Например, сложное суждение: Он изучает английский, или он изучает немецкий является нестрогим дизъюнктивным или нестрогой дизъюнкцией двух простых суждений: 1. Он изучает английский. 2. Он изучает немецкий . Как видим, эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно.
3. Строгая дизъюнкция – это сложное суждение с разделительным союзом или в его исключающем (строгом) значении, который обозначается условным знаком Ú . Например, сложное суждение: Он учится в 9 классе, или он учится в 11 классе является строгим дизъюнктивным, или строгой дизъюнкцией (разделением) двух простых суждений: 1. Он учится в 9 классе. 2. Он учится в 11 классе . Эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9 и в 11 классе.
4. Импликативное суждение , или импликация – это сложное суждение с условным союзом если... то , который обозначается условным ® знаком. С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы a ® b (читается если а, то b ), где а и b – это два каких-либо простых суждения. Например, сложное суждение: Если вещество является металлом, то оно электропроводно представляет собой импликативное суждение, или импликацию (причинно-следственную связь) двух простых суждений: 1. Вещество является металлом. 2. Вещество электропроводно .
5. Эквивалентное суждение , или эквиваленция – это сложное суждение с союзом если… то не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае союз обозначается условным знаком «, с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы a « b (читается если a, то b, и если b, то a ), где a и b – это два каких-либо простых суждения. Например, сложное суждение: Если число является четным, то оно делится без остатка на 2 представляет собой эквивалентное суждение, или эквиваленцию (равенство, тождество) двух простых суждений: 1. Число является четным. 2. Число делится без остатка на 2 .
6. Отрицательное суждение , или отрицание – это сложное суждение с неверно, что…, который обозначается условным знаком Ø. С помощью этого знака отрицательное суждение можно представить в виде формулы Øa (читается неверно, что a ), где a – это какое-либо простое суждение. Давая определение сложному суждение, мы говорили, что оно состоит из простых суждений, связанных какими-либо союзом, или, другими словами, сложным является суждение, в котором возможно выделить хотя бы одно самостоятельное простое суждение. В случае с отрицанием мы имеем как раз такую ситуацию, когда сложное суждение состоит не из двух или нескольких простых суждений, а включает в свой состав одно самостоятельное простое суждение (а). Пример отрицательного суждения: Неверно, что все мухи являются птицами .
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное агентство по образованию
Санкт-Петербургский государственный университет сервиса и экономики
Юридический институт
По дисциплине: Логика
на тему: Сложные суждения
Санкт-Петербург
Понятие простого суждения
Суждение – форма мышления, посредством которой что-либо утверждается или отрицается о предмете (ситуации) и которая обладает логическим значением истины или ложности. Данное определение характеризует простое суждение.
Наличие утверждения или отрицания описываемой ситуации отличает суждение от понятия .
Характерной особенностью суждения с логической точки зрения является то, что оно – при логически правильном его построении – всегда истинно или ложно. И связано это как раз с наличием в суждении утверждения или отрицания чего-либо. Понятие, которое в отличие от суждения содержит только описание предметов и ситуаций с целью их мысленного выделения, не имеет истинностных характеристик.
Суждение следует отличать и от предложения. Звуковая оболочка суждения – предложение . Суждение всегда является предложением, но не наоборот. Суждение выражается в повествовательном предложении, в котором утверждается, отрицается или сообщается что-либо. Таким образом, вопросительное, побудительное и повелительное предложения суждениями не являются. Структуры предложения и суждения не совпадают. Грамматический строй одного и того же предложения различается в разных языках, тогда как логический строй суждения всегда одинаков у всех народов.
Следует отметить также отношения между суждением и высказыванием. Высказывание – это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение о ложности или истинности высказывания должно иметь смысл. Суждение является содержанием любого высказывания. Такие предложения, как «число n является простым» , невозможно считать высказыванием, так как о нем нельзя сказать, является ли оно истинным или ложным. В зависимости от того, какое содержание будет иметь переменная «n», можно установить его логическое значение. Подобные выражения называются пропозициональными переменными. Высказывание обозначается одной какой-либо буквой латинского алфавита. Оно рассматривается как неразложимая единица. Это значит, что в нем не разглядывается никакая структурная единица в качестве его части. Такое высказывание называется атомарным (элементарным) и соответствует простому суждению. Из двух и более атомарных высказываний посредством логических операторов (связок) образуется сложное или молекулярное высказывание. В отличие от высказывания суждение представляет собой конкретное единство субъекта и объекта, связанных по смыслу.
Примеры суждений и высказываний:
Простое высказывание – А; простое суждение – «S есть (не есть) P».
Сложное высказывание – A→B; сложное суждение – «если S1 есть P1, то S2 есть P2».
Состав простого суждения
В традиционной логике установилось членение суждения на субъект, предикат и связку.
Субъект – часть суждения, в которой выражается предмет мысли.
Предикат – часть суждения, в которой что-либо утверждается либо отрицается о предмете мысли. Например, в суждении «Земля – планета Солнечной системы» субъектом является «Земля», предикатом «планета солнечной системы». Нетрудно заметить, что логический субъект и предикат не совпадают с грамматическими, т. е. с подлежащим и сказуемым.
Вместе субъект и предикат называются терминами суждения и обозначаются соответственно латинскими символами S и P.
Кроме терминов, суждение содержит связку. Как правило, связка выражается словами «есть», «суть», «является», «быть». В приведенном примере она опущена.
Понятие сложного суждения
Сложное суждение – суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.
Логический союз – это способ соединения простых суждений в сложное, при котором логическое значение последнего устанавливается в соответствии с логическими значениями составляющих его простых суждений.
Особенность сложных суждений заключается в том, что их логическое значение (истинность или ложность) определяется не смысловой связью простых суждений, составляющих сложное, но двумя параметрами:
1) логическим значением простых суждений, входящих в сложное;
2) характером логической связки, соединяющей простые суждения;
Современная формальная логика отвлекается от содержательной связи между простыми суждениями и анализирует такие высказывания, в которых эта связь может отсутствовать. Например, «Если квадрат гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения».
Логическое значение сложного суждения устанавливается при помощи таблиц истинности. Таблицы истинности строятся следующим образом: на входе выписываются все возможные комбинации логических значений простых суждений, из которых состоит сложное суждение. Число этих комбинаций можно высчитать по формуле: 2n, где n – число простых суждений, составляющих сложное. На выходе выписывается значение сложного суждения.
Помимо всего прочего, суждения делятся на сравнимые , имеющие общий субъект или предикат и несравнимые , не имеющие между собой ничего общего. В свою очередь, сравнимые делятся на совместимые , полностью или частично выражающие одну и ту же мысль и, несовместимые , если из истинности одного из них необходимо следует ложность другого (при сопоставлении таких суждений нарушается закон непротиворечия). Отношение по истинности между суждениями, сравнимыми через субъекты отображается логическим квадратом.
Логический квадрат лежит в основе всех умозаключений и представляет собой сочетание символов A, I, E, O означающих определенный тип категорических высказываний.
A – Общеутвердительные: Все S являются P .
I – Частноутвердительные: По крайней мере, некоторые S являются P .
E – Общеотрицательные: Все (ни одни) S не являются P.
O – Частноотрицательные: По крайней мере, некоторые S не являются P.
Из них общеутвердительные и общеотрицательные являются подчиняющими, а частноутвердительные и частноотрицательные – подчиненными.
Суждения A и E противопоставлены друг другу;
Суждения I и O противоположны;
Суждения, расположенные по диагонали – противоречивы.
Противоречивые и противопоставленные суждения ни в коем случае не могут быть одновременно истинными. Противоположные суждения могут быть или не быть одновременно истинными, но, по крайней мере, истинным должно быть одно из них.
Закон транзитивности обобщает логический квадрат, становясь основой всех непосредственных умозаключений и, определяет что, из истинности подчиняющих суждений логически следует истинность суждений им подчиненных и ложность противоположных подчиненных суждений.
Логические связки. Конъюнктивное суждение
Конъюнктивное суждение – суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения.
Образуется посредством логического союза конъюнкции, выражающегося грамматическими союзами «и», «да», «но», «однако». Например, «Светит, да не греет».
Символически обозначается следующим образом: А˄В, где А, В – переменные, обозначающие простые суждения, ˄– символическое выражение логического союза конъюнкции.
Определению конъюнкции соответствует таблица истинности:
| А | В | А ˄ В |
| И | И | И |
| И | Л | Л |
| Л | И | Л |
| Л | Л | Л |
Дизъюнктивные суждения
Имеется два вида дизъюнктивных суждений: строгая (исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.
Строгая (исключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинно только одно из входящих в него суждений или «которое ложно тогда, когда оба высказывания ложны». Например, «Данное число либо кратно, либо не кратно пяти».
Логический союз дизъюнкция выражается посредством грамматического союза «либо…либо».
Символически записывается А˅В.
Логическое значение строгой дизъюнкции соответствует таблице истинности:
| А | В | А ˅ В |
| И | И | Л |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
Нестрогая (неисключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда,когда истинным является, по крайней мере, одно (но может быть ибольше) из простых суждений, входящих в сложное. Например, «Писатели могут быть или поэтами, или прозаиками (или тем и другимодновременно)» .
Нестрогая дизъюнкция выражается посредством грамматического союза «или…или» в разделительно-соединительном значении.
Символически записываетсяА˅ В. Нестрогой дизъюнкции соответствует таблица истинности:
| А | В | А ˅ В |
| И | И | И |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
Импликативные (условные) суждения
Импликация – сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент ) истинно, а последующее (консеквент ) ложно.
В естественном языке импликация выражается союзом «если..., то» в смысле«наверно, что А и не В». Например, «Если число делится на 9, то оноделится и на 3».
Символически импликация записывается А→ В (если А, то В).
Логическое значение представлено в таблице истинности:
| А | В | А → В |
| И | И | И |
| И | Л | Л |
| Л | И | И |
| Л | Л | И |
Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквентна, но ненаоборот. Достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление. Например, «быть березой» достаточное условие, чтобы включить ее в класс деревьев, так как все березы – деревья и ни одна не береза не является деревом.
В то же время истинность консеквентна является необходимым условием истинности антецедента, но недостаточным. Необходимым для явления считается такое условие, без которого оно (явление) не имеет место. Например, класс берез включен в класс деревьев, но не равен ему. Есть деревья, которые не являются березами. Однако условие «быть деревом» для березы является обязательным, так как все березы – деревья.
Парадоксы материальной импликации
Так обозначается смысловое расхождение операции материальной импликации с ее символической формулой: А→В. Согласно материальной импликации истинность А, для истинности формулы А→В, необходимо, чтобы и В было истинно. В этом случае речь идет о содержательном понимании ложности и истинности высказывания. Однако формула А→В истинна не только в указанном случае, но и тогда, когда А – ложно, а В – истинно и тогда, когда они оба ложны. Из данного факта вытекает парадокс материальной импликации: из ложного высказывания следует любое высказывание, все что угодно и истинное высказывание следует из любого высказывания.
Суждения эквивалентности
Эквивалентность – сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением, т. е. одновременно либо истинны, либо ложны.
Логический союз эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если». Например, «Если и только если треугольник равносторонний, то он и равноугольный».
Символически эквивалентность записывается А «В или А ºВ («если и только если А , то В»).
Логическое значение эквивалентности соответствует таблице истинности:
Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое: (А→ В)˄(В→ А).
Равносильность выражений (А«В) и (А→ В)˄(В→А) может быть доказана с помощью таблицы истинности.
Отрицание
Отрицание – это логическая операция, с помощью которой из одного высказывания получают новое, при этом простое суждение Pпревращается в сложное, и если исходное простое суждение истинно, то новое сложное суждение ложно – «неверно, что P» или «высказывание А ложно тогда, когда высказывание А¯ истинно»
Двойное отрицание – это операция по отрицанию отрицательного суждения. Повторное отрицание ведет к утверждению или, иначе, отрицание отрицания равносильно утверждению: А→ А˭– «если А, то неверно, что не-А», или А˭ºА – «неверно, что не-А, если и только если верно, что А».
Выражение одних логических связок посредством других
Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие. Например:
А→ В= А˅В – импликация через дизъюнкцию
А→ В = В→ А – импликация через импликацию
А→ q= А˄ В – импликация через конъюнкцию
А˅В= А˄ В – дизъюнкция через конъюнкцию
А˄В= А˅ В – конъюнкция через дизъюнкцию
Таблицы истинности
Таблица истинности – это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию, и значениями функции.
Таблицы истинности находят широкое применение для
· Вычисления истинности сложных высказываний;
· Установления эквивалентности высказываний;
· Определения тавтологий.
Равносильные формулы логики высказывания – это выказывания, которые принимают одинаковое значение истинности при одних и тех же значениях элементарных высказываний, входящих в эти формы. Например, А→В, В¯→А¯
Тождественно-истинная формула (тавтология) – это формула, которая принимает значения истины при всех значениях, входящих в нее элементарных высказываний
Тождественно-ложная формула (противоречие) – формула, которая при всех значениях, входящих в нее элементарных высказываний, принимает значение лжи.
(А¯˅ В)→(А˄В)
Список использованной литературы
1. М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк «Логика. Учебное пособие», Омск, 2005.
2. Гладкий А.В. «Введение в современную логику», МЦМНО, 2001.
3. Челпанов Г.И. «Учебник логики», Москва, 1897.
Виды сложных суждений - раздел Философия, ПРЕДМЕТ ЛОГИКИ КАК НАУКИ По Характеру Логической Связи Выделяют Пять Основных Видов Сложных Суждений: ...
По характеру логической связи выделяют пять основных видов сложных суждений: соединительные (конъюнктивные), разделительные (дизъюнктивные), условные (импликативные), эквивалентные, отрицаемые.
Соединительное или конъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «и», обозначаемого символом «». Например, суждение: «Сегодня я пойду на лекцию по логике и в кино» является конъюнктивным суждением, состоящим из двух простых суждений (обозначим их соответственно – А , В ): : «Сегодня я пойду на лекцию по логике» (А ), «Сегодня я пойду в кино» (В ). Символически данное сложное суждение можно записать как: АВ , где А ,В – элементы конъюнкции; «» - символ логического союза – конъюнкции. В русском языке конъюнктивный логический союз выражается многими грамматическими союзами: и, а, но, да, хотя, однако, а также... Нередко подобные грамматические союзы заменяются запятой, двоеточием, точкой с запятой. Например, в суждении «Русские долго запрягают, да быстро ездят».
Конъюнктивное суждение истинно только при истинности всех составляющих его элементов и ложно при ложности хотя бы одного из них (см. табл.1 – столбец 3).
Знание особенностей истинностного значения конъюнкции имеет особое значение в практике мышления, т.к. достаточно одного ложного суждения, чтобы придать всей, даже весьма сложной, конъюнктивной мысли ложность. Этот факт лежит в основе многих русских пословиц, например, о том, что делает ложка дегтя в бочке меда. Эту особенность важно учитывать в юридической практике, в дискуссиях – когда выстраивается сложная цепь мыслей, которая при одном ложном звене может распасться. С другой стороны, достаточно обнаружить хотя бы один ложный аргумент в доводах оппонента, чтобы опровергнуть все его рассуждение в целом.
Разделительное илидизъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «или», обозначаемого символом «». Например, суждение: «Право может способствовать экономическому развитию или препятствовать ему» является дизъюнктивным суждением, состоящим из двух простых: «Право может способствовать экономическому развитию», «Право может препятствовать экономическому развитию». Соответственно обозначив их через буквы А , В – выделим его логическую форму: АВ.
Поскольку связка «или» употребляется в двух разных значениях – неисключающем и исключающем, то различают слабую исильную дизъюнкции соответственно. Выше приведенный пример является слабой дизъюнкцией, т.к. право одновременно в одном отношении может способствовать развитию экономики, но препятствовать в другом. Слабая дизъюнкция является истинной в тех случаях, когда истинно по крайней мере одно из составляющих ее суждений (или оба вместе) и ложна , когда оба составляющих ее суждения ложны (Табл.1 – столбец 4).
Сильная дизъюнкция (символ «») отличается от слабой тем, что ее составляющие исключают друг друга. Например: «Преступление может быть умышленным или по неосторожности». Для того, чтобы подчеркнуть строго разделительный, исключающий характер связи, в естественном языке используется усиленная двойная форма разделения: «...либо...либо», «или...или», например: «Либо я найду путь, либо я проложу его». Строгая дизъюнкция истинна лишь тогда, когда одно из составляющих ее суждений истинно, а другое – ложно (Табл. 1 – столбец 5).
Среди дизъюнктивных суждений следует различать также полную инеполную дизъюнкцию, когда соответственно: перечислены все признаки, виды определенного рода или это перечисление остаетсяоткрытым (неполным) , что в естественном языке выражается словами: «и т.д.», «и др.».
Дизъюнктивные суждения широко распространены в практике мышления. Именно в них выражается логическая операция деления.
Условное илиимпликативное суждение – это сложное суждение, в котором суждения объединяются логическим союзом «если..., то» (символ «»), например: «Если правительство нарушает закон, то порождает неуважение к нему», «Если число делится на 2 без остатка, то оно четное». Условное суждение состоит из двух составляющих его суждений. Суждение, выраженное после слова «если» называется основанием или антецедентом (предыдущим), а суждение – после слова «то» называется следствием или консеквентом (последующим). Формула условного суждения: АВ , где А – основание, В – следствие. При этом, суждения, выполняющие роль основания и следствия, сами по себе могут быть как простыми, так и сложными суждениями.
Образуя условное суждение, прежде всего, имеют в виду, что не может быть так, чтобы то, о чем говорится в основании имело место, а то, о чем говорится в следствии отсутствовало. Иными словами, не может случится, чтобы антецедент был истинным, а консеквент – ложным. Это и определяет то, что условное суждение истинно во всех случаях, кроме одного: когда предшествующее есть, а последующего нет (т.е. – суждение по форме АВ – ложно только в одном случае, когда А – истинно, а В – ложно). Это выражено в таблице 1 – столбец 6.
В форме условных суждений выражают как объективные зависимости одних объектов от других, так и права и обязанности людей, связанные с теми или иными условиями.
Эквивалентное суждение – это сложное суждение, в котором объединяются суждения с взаимной условной зависимостью. Поэтому они также называются двойной импликацией. Они образуются с помощью логического союза «если и только если..., то», который обозначается символом «». Формула эквивалентности: АВ, гдеА, В – суждения, из которых образуется эквивалентное суждение, например: «Человек имеет право на пенсию по возрасту, если и только если он достиг пенсионного возраста». В естественном языке, в том числе в экономических и юридических текстах, для выражения эквивалентных суждений используются грамматические союзы: «лишь при условии, что..., то», «только тогда, когда..., то», «в том и только в том случае, когда..., тогда».
Условия истинности эквивалентных суждений представлены в 7-ом столбце таблицы 1: эквивалентное суждение истинно в двух случаях – когда оба составляющих его суждения истинны или когда оба ложны . Иными словами, связь (отношение) между элементами эквивалентного суждения можно охарактеризовать как необходимую: истинность А достаточна для признания истинности В и наоборот; ложность А служит показателем ложности В и наоборот.
Отрицаемое суждение – это сложное суждение, образованное с помощью логического союза «неверно, что... » (или просто «не»), который именуется знаком отрицания (символ «~»). В отличие от вышеотмеченных бинарных союзов он относится к одному суждению. Прибавление его к какому-либо суждению означает образование нового суждения, которое находится в определенной зависимости от исходного: отрицаемое суждение истинно, если исходное ложно, и наоборот. Это выражено в таблице1 – столбцы 8,9. Например, если исходное суждение: «Все свидетели правдивы», то отрицаемое: «Неверно, что все свидетели правдивы».
Все выделенные виды сложных суждений используются в обычных рассуждениях и контекстах, в том числе экономических и правовых. Для более точного уяснения смысла этих контекстов важно овладение навыками логического анализа сложных суждений с использованием символического языка для выражения их логической структуры. Часто для достижения определенности высказывания необходимо выявить главную связь в суждении. Например, высказывание «Преступление совершено А и В или С » не отличается определенностью, поскольку не ясно, какая из двух логических связок – конъюнкция или дизъюнкция – является главной. Поэтому данное высказывание может быть истолковано как конъюнктивное суждение (1): «А и (В или С )», а может и как дизъюнктивное суждение (2): «(А и В ) или С ». Но по логической значимости, т.е. по их истинностному значению, они не эквиваленты. Это можно определить, построив для них истинностные таблицы, и по ним сравнить истинностные значения этих суждений.
С этой целью важно знать, как вообще строятся истинностные таблицы для различных сложных суждений. Осуществляется это следующим образом.
На входе таблицы :
1. Выписывают все простые суждения (А , В , С , D ...), входящие в рассматриваемое сложное суждение. Пусть их число будет n .
2. Определяют число к строк в таблице по формуле к = 2 n
3. В столбцах входа таблицы выписывают все возможные комбинации истинностных значений простых суждений в следующем порядке: в самом правом столбце чередуют и и л по одному; во втором справа столбце чередуют подряд два значения и и два значения л ; в третьем столбце чередуют подряд четыре значения и и четыре значения л ; в четвертом столбце – восемь значений и подряд и восемь значений л подряд и т.д.
На выходе таблицы :
4. Слева направо выписывают логические формы всех сложных суждений, входящих в рассматриваемое суждение, по порядку: в начале суждения 1-ой степени сложности (т.е. с одним логическим знаком); затем 2-ой степени (с двумя логическими союзами); далее 3-ей степени (с тремя логическими союзами) и так до тех пор, пока последнее суждение не будет представлять логическую форму исходного сложного суждения.
5. Столбцы истинностных значений для выписанных логических форм образуют исходя из: (1) смысла логического союза (см. таблицу 1) и (2) значений истинности, которые принимают простые суждения, входящие в данную форму (см. строки входа таблицы).
Мы можем сравнить вышеотмеченные суждения (1) и (2). С этой целью теперь построим таблицу 2 для конъюнктивного суждения (1), выразив его символически как «А (В С )», и таблицу 3 для дизъюнктивного суждения (2), записав его символически как «(А В )С ».
МЫШЛЕНИЕ КАК ОБЪЕКТ ЛОГИКИ
В настоящее время существует огромное множество самых разных отраслей научного знания. В зависимости от объекта исследования выделяют, прежде всего, науки о природе – естественные науки и науки об
Логический закон
Как отмечалось выше, все мысли имеют содержание и форму. С этими сторонами мысли связано различение «истинности» и «правильности» нашего мышления. Истинность относится к содержанию мыслей, а правил
Основные законы логики
Логических законов бесконечно много. В этом отличие логики от большинства наук. Правильное или, как обычно говорят, логичное мышление – это мышление в соответствии с законами логики, по тем абстрак
Понятие как логическая форма мышления
Мышление современного человека носит преимущественно понятийный характер. Наши понятия простираются на весь окружающий нас мир: от ближайших повседневных предметов труда и быта до наиболее удаленны
Виды понятий
В практике мышления функционирует огромное множество самых разнообразных понятий, которые подчиняются собственным правилам. Поэтому в логике выделяют виды понятий по логическим характеристикам их с
Отношения между понятиями
Отношения между самими предметами находят свое отражение в отношениях между понятиями. Все многообразие этих отношений также можно классифицировать на основе их структурных характеристик – со сторо
О п р е д е л е н и е п о н я т и й
Определение – логическая операция, раскрывающая содержание понятия. Это одно из важнейших логических средств, обеспечивающее ясность, определенность употребляемых понятий. Отличите
П р а в и л а о п р е д е л е н и я
Правильность определения понятия зависит от его структуры, от соответствия логическим требованиям связей структурных элементов определения. Эти требования формулируются в логике в виде логических п
Д е л е н и е п о н я т и й
Деление – это логическая операция, раскрывающая объем понятия путем выделения в нем возможных видов объектов. Так, понятие «Конституция», как общее родовое, поняти
П р а в и л а д е л е н и я
Требования, предъявляемые в теории логики к осуществлению операции деления, в практике мышления формулируются как правила деления. Основными из этих правил являются следующие:
1. Д
Суждение как форма мышления
Суждение более сложная форма мышления, чем понятие. Оно включает понятия в качестве своих составных элементов, но не сводится к нему. Объективную основу понятия составляют сами объекты, обладающие
Простые суждения. Логическая структура и виды
Простые суждения включают в себя в качестве структурных элементов: субъект, предикат, связку и кванторное слово. Субъектом суждения называется
Виды простых суждений
По характеру признака, выражаемого предикатом суждения, выделяют три вида простых суждений:
1. Атрибутивные – суждения, в которых признак связан с наличием или отсутствием
Отношения между суждениями
Между суждениями существуют логические отношения. Суждения как и понятия, могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми. Но есть существенные различия, вызванные их различной
Дедуктивные умозаключения
Традиционная формальная логика изучает дедуктивные умозаключения. Поскольку в этих умозаключениях логическая связь между посылками и заключением имеет необходимый
Непосредственные умозаключения
В человеческом общении люди выражают свои мысли по-разному. Зачастую трудно узнать одну и ту же мысль в «разных одеждах» слова. Но в споре, дискуссии, юридической практике надо реагировать быстро,
Простой категорический силлогизм (ПКС)
Дедуктивные опосредованные умозаключения в логике, идущей от Аристотеля, называют силлогизмами (от греч. syllogismos – сосчитывание, выведение следствия). Силлогистика, которую по имени ее основате
Правила терминов
1. В силлогизме должно быть только три термина (S, Р, М). Нарушение этого правила ведет к логической ошибке, называемой «учетверением терминов», которое часто возн
Правила посылок
1. Из двух отрицательных посылок вывода сделать нельзя, т.к. в этом случае средний термин не может связать субъект и предикат. Например из посылок:
Ни один юрист не являет
Энтимема
При помощи силлогизмов мы оформляем свои мысли таким образом, что их истинность становится ясной. Но развернутые (полные) силлогизмы в практике мышления довольно редки: очевидные посылки, а иногда
Дедуктивные умозаключения из сложных суждений
В практике мышления человек оперирует умозаключениями не только из простых суждений, но и из сложных. Логическое следование заключения из сложных суждений определяетсяне субъектно-
Отрицательный модус
Схема: Если А, то В Символически: ((А→В)~
Недедуктивные умозаключения
Важнейшее свойство недедуктивных умозаключений – отсутствие логического следования заключений из посылок.Между посылками и заключением этих умозаключений иная логическая св
Индуктивные умозаключения
Индуктивным называется умозаключение, в котором совершается переход от знания об отдельных предметах класса или о некоторых его частях к знанию обо всем классе в целом. Этот
Метод сходства
При: А В С D – имеет место «а»
А Е F G – имеет место «а»
Метод сопутствующих изменений
При: А В С D – имеет место «а»
А1 В С D – имеет место «а1»
Метод остатков
При: А В С D – имеет место «авсd»
В – имеет место «в»
С – имеет место «с»
Умозаключения по аналогии
В практике мышления часто возникает задача перехода к знанию одной и той же степени общности, т.е. от единичных суждений к единичным, от частных – к частным, от общих – к общим. Основанием таких ум
Аргументативный процесс и его структура
Аргументация – это мыслительная деятельность, цель которой состоит в обосновании истинности или ложности некоторого положения, выраженного суждением (высказыванием).
Виды аргументативного процесса
По способу аргументации различают два вида доказательства выдвинутого положения: прямое и косвенное.
Правила и ошибки по отношению к тезису.
Правильное рассуждение предполагает соблюдение двух правил в отношении тезиса, выражающих необходимость его определенности и неизменности.
1. Тезис должен быть ясно и точно сформул
Тезис должен оставаться неизменным на протяжении всего процесса обоснования.
Типичной ошибкой, возникающей в результате этого правила, является «подмена тезиса». Подмена проявляется в том, что выдвинув одно положение в процессе рассуждения фактически обосновыв
Аргументы должны быть истинными, доказанными суждениями.
Нарушения этого правила ведет к двум ошибкам. Одна из них называется «основное заблуждение», поскольку состоит в использовании в качестве аргумента ложного суждения. Эта оши
Истинность аргументов должна быть установлена независимо от тезиса.
Ошибка: «круг в доказательстве» состоит в том, что тезис обосновывается аргументами, а аргументы тезисом.
3. Аргументы не должны противоречить друг другу. Эт
Правила и ошибки демонстрации
Логическая связь аргументов с тезисом осуществляется в форме различных видов умозаключений: дедуктивных, индуктивных, по аналогии. Логическая правильность демонстрации зависит от соблюдения
ТОЛКОВЫЙ СЛОВАРЬ
Аналогия- недедуктивное умозаключение, в котором на основе сходства двух объектов по каким-либо параметрам делается заключение об их сходстве по другим параметрам.
Основная
1. Бочаров В.А., Маркин В. И. Основы логики. М., «Форум-Инфра», 2011.
2. Будбаева С.П. Логика. М., 2010.
3. Ивин АА. Логика. М., "Гардарики", 2004.
4. Ивлев Ю.В
Дополнительная
1. Вольфенгаген В.Э. Логика. М., "ЦенрЮрИнфор", 2004.
2. Жоль К.К. Логика. М., "ЮНИТИ", 2004.
3. Жоль К.К. Логика для юристов. М., "ЮНИТИ", 2004.
Понятие сложных суждений неразрывно связано с конъюнкцией, дизъюнкцией, импликацией, эквиваленцией и отрицанием.
Это так называемые логические связки. Они используются в качестве объединяющего звена, привязывающего одно простое суждение к другому. Именно так образуются сложные суждения. То есть сложные суждения - это суждения, созданные из двух простых.
Отношение истинности суждений отображается в таблицах. Эти таблицы отражают все возможные случаи истинности и ложности суждений, причем каждое из простых суждений, входящее в состав сложного, отражается в «шапке» таблицы в виде буквы (например, a, b). Истинность или ложность отражается в виде букв «И» или «Л» (истина и ложь соответственно).
Прежде чем рассматривать конъюнкцию, дизъюнкцию, импликацию, эквиваленцию и отрицание, имеет смысл дать им краткую характеристику. Данные логические связки называют логическими постоянными.
В литературе можно встретить их иное название - логические константы, однако от этого не меняется их суть. В нашем языке эти постоянные выражаются определенными словами. Так, конъюнкция выражается союзами «да», «но», «хотя», «зато», «и» и другими, а дизъюнкция - при помощи союзов «или», «либо» и др. Можно говорить об истинности конъюнкции, если истинны оба простых суждения, входящих в нее. Дизъюнкция истинна, когда истинно только одно простое суждение. Это относится к строгой дизъюнкции, нестрогая же истинна при условии истинности хотя бы одного из составляющих ее простых суждений. Импликация характеризуется истинностью всегда, кроме одного случая.
Рассмотрим сказанное выше подробнее.
Конъюнкция (a^b) - это способ связи простых суждений в сложные, при котором истинность полученного суждения напрямую зависит от истинности составных. Истинность таких суждений достигается только тогда, когда оба простых суждения (и а, и b) так же истинны. Если хотя бы одно из данных суждений ложно, то ложным следует признать и образованное из них новое, сложное суждение. Например, в суждении «Этот автомобиль очень качественный (а) и пробежал всего десять тысяч метров (b)» истинность зависит как от его правой стороны, так и от левой. Если оба простых суждения истинны, то истинно и сложное, образованное из них. В противном случае (если хотя бы одно из простых суждений ложно) оно является ложным. Это суждение является характеристикой конкретному автомобилю. Ложность одного из простых суждений, очевидно, не исключает истинности другого, и это может приводить к ошибкам, связанным с определением истинности сложных суждений, образованных при помощи конъюнкции. Конечно, истинность одного простого суждения не исключается ложностью другого, но не следует забывать, что мы даем характеристику предмету, и с этой точки зрения ложность одного из простых суждений рассматривается с другой стороны. Это связано с тем, что с ложностью суждения по одному из пунктов данной характеристики характеристика в целом становится ложной (другими словами, ведет к передаче неверной информации о машине в целом).
Дизъюнкция (a V b) бывает строгой и нестрогой. Отличие между этими двумя видами дизъюнкции состоит в том, что при нестрогом виде члены ее не исключают друг друга. Примером нестрогой дизъюнкции может быть: «Для получения заготовки деталь можно довести на станке (а) или предварительно обработать напильником (b)». Очевидно, что здесь а не исключает b и наоборот. Истинность подобного сложного суждения зависит от истинности его членов следующим образом: если ложны оба члена, ложным признается и образованное при их посредстве дизъюнктивное суждение. Однако, если ложно только одно простое суждение, такая дизъюнкция признается истинной.
Строгая дизъюнкция характерна тем, что ее члены исключают друг друга (в отличие от нестрогой дизъюнкции). Суждение «Сегодня я сделаю уроки (а) или пойду гулять на улицу (b)» является примером строгой дизъюнкции. Действительно, можно совершить в данный момент только одно действие - сделать домашнюю работу либо идти гулять, оставив уроки на потом. Поэтому строгая дизъюнкция истинна, только когда истинно лишь одно из простых суждений, входящих в нее. Это единственный случай истинности строгой дизъюнкции.
Эквивалентнция характеризуется тем, что образованное сложное суждение истинно только в тех случаях, когда истинны оба простых суждения, входящих в его состав, и ложно при ложности обоих этих суждений. В буквенном выражении эквивалентность выглядит как а = b.
При отрицании суждения, отображающееся как а, истинно тогда, когда ложно отрицаемое понятие. Это связано с тем, что отрицание и отрицаемое простое суждение не только противоречат, но и исключают (отрицают) друг друга. Таким образом, получается, что, когда истинно понятие а, ложно понятие а. И наоборот, если ложно а, то отрицающее его а является истинным.
Импликация (a - › b) истинна во всех случаях, кроме одного. Другими словами, если оба входящих в импликацию простых суждения истинны или ложны либо если ложно суждение а, импликация истинна. Однако при ложности суждения b ложным становится и сама импликация. Это можно рассмотреть на примере: «Мы бросим исправный патрон в костер (а), он взорвется (b)». Очевидно, что если первое суждение верно, то верно и второе, так как взрыв патрона, брошенного в костер, произойдет с неизбежностью. Поэтому, рассмотрев первый случай, мы можем сделать вывод о том, что если второе суждение ложно, то ложна и вся импликация.
Все рассмотренные выше примеры конъюнкции, дизъюнкции, импликации состояли из двух переменных. Однако это не всегда бывает так. Возможно наличие трех и более переменных. Рассматривая сложные суждения на предмет истинности, мы получаем буквенные формулы. Последние могут характеризоваться как истинностью, так и ложностью. В связи с этим тождественно-истинной называется формула, которая истинна при любых комбинациях своих переменных. Наименование тождественно-ложной имеет формула, которая принимает только ложное значение (значение «ложь»). Последним видом таких формул является выполнимая формула. В зависимости от комбинаций переменных, входящих в нее, она может принимать как значение «истина», так и значение «ложь».
2. Выражение высказываний
Выражение высказываний происходит при помощи символов - переменных и знаков, обозначающих логические термины. Других символов для этой цели нет. Переменные высказывания выражаются в виде букв латинского алфавита (a, b, c, d и т. д.). Такие буквы называют переменными высказываниями, а также пропозициональными переменными. Говоря простым языком, под этой группой символов понимаются простые суждения, составляющие высказывание. Выражаются данные суждения в виде повествовательных предложений. Другая группа символов , использующаяся для выражения высказываний в виде формул, это знаки. Они обозначают логические термины, такие как конъюнкция и дизъюнкция, которая может быть строгой и нестрогой, отрицание, эквиваленция и импликация. Конъюнкция отображается в виде галочки, направленной вверх (^) дизъюнкция как галочка, направленная вниз (V). При строгой дизъюнкции выше галочки ставится точка. Импликация имеет знак «-›», отрицание (-), эквиваленция (=).
Последним видом символов, при помощи которых выражаются высказывания, являются круглые скобки.
Символы, обозначающие логические термины, типы связки, характеризуются разной силой. Так, связка ^ считается самой сильной, т. е. она связывает сильнее всех остальных. Связка V сильнее, чем -, что важно только в некоторых случаях. Так, определение силы связок становится немаловажным в случае записи формул без использования скобок. Если мы имеем высказывание, выраженное формулой (a^b )V c , можно не писать скобки, а прямо указывать, что a^b V c. То же правило действует и при использовании символа - ›. Однако данное правило справедливо не во всех случаях. То есть во многих случаях недопустимо опускать скобки. Например, когда конъюнктивная связка понятия а осуществляется с двумя другими понятиями, связанными отношением импликации и отделенными круглыми скобками, опускать последние недопустимо (a^(b - c)). Это очевидно, так как в противном случае пришлось бы вначале осуществлять связку конъюнкции и только затем импликацию. Из школьного курса математики мы знаем, что опускать скобки в подобном случае нельзя. Иллюстрацией подобной ситуации может быть следующий пример: 2 X (2 + 3) = 10 и 2 X 2 + 3 = 7. Результат очевиден.
В связи со сказанным выше можно отметить, что далеко не каждое символьное выражение высказываний является формулой. Для этого необходимо наличие определенных признаков. Например, формула должна быть построена правильно. Примерами такого построения могут быть: (a^b), (a V b), (a - b), (a = b). Это построение отмечается как ППФ, т. е. правильно построенная формула. Примерами неправильно построенных формул могут быть: a^b, a V b , V b, a - b, (a^b) и др. В первых трех случаях неправильность формулы заключается в том, что понятия, объединенные связками, должны быть заключены в скобки. Последняя формула имеет незакрытую скобку, третий же пример характеризуется тем, что одно простое понятие не объединено с другим, несмотря на то что имеется символ дизъюнкции.
В своей повседневной жизни мы часто, иногда не замечая этого, пользуемся не только простыми, но и сложными суждениями. Такие суждения, как уже было сказано выше, образуются из двух или нескольких простых суждений при помощи логических связок, которые носят название дизъюнкции, конъюнкции, импликации и отрицания, а также эквиваленции. Данные связки выражаются при помощи знаков: ^ для конъюнкции, V для дизъюнкции, - > для импликации. Знаком = отображают эквивалентность, а знак a означает отрицание. Есть два варианта отображения дизъюнкции. Первый - это простая галочка, направленная вниз - для простой дизъюнкции. При сложной используется такая же галочка, но с точкой сверху. Графическое изображение формул сложных суждений очень важно, так как позволяет более ясно понять их структуру, природу и смысл.
Логические связки объединяют простые суждения , которые по сути являются повествовательными предложениями. И тут вариантов достаточно много. Предложения могут состоять из существительных и прилагательных, из глаголов, причастий и т. д. Некоторые предложения представляют собой простые суждения, другие - сложные. Сложные суждения или высказывания характеризуются тем, что могут быть разбиты на два простых, объединенных логической постоянной. Однако это возможно не со всеми сложными предложениями. Когда в результате расчленения высказывание изменяет свой смысл, такая операция недопустима. Например, когда мы говорим «Район был старый, и дома в нем давно одряхлели», мы имеем в виду конъюнкцию, где одна сторона, «район был старый», объединена союзом «и» со второй частью - «дома в нем давно одряхлели». Смысл высказывания не изменился, несмотря на то что мы рассмотрели простые суждения в отрыве друг от друга. Однако в высказывании «На стоянке припаркована красивая и быстрая машина» попытка разделения приведет к искажению первоначально передаваемой информации. Так, рассматривая простые суждения отдельно, мы получим: «на стоянке припаркована красивая (машина)» - это первое суждение, объединенное со вторым союзом «и». Второе суждение таково: «(на стоянке припаркована) быстрая машина». В результате можно подумать, что машин было две - одна красивая, другая быстрая.
Логика - это, безусловно, самостоятельная наука, имеющая свой понятийный аппарат, инструментарий, информационную базу. Любая самостоятельная наука отделена от других и зачастую в корне отличается подходом к тому или иному предмету. Это следует иметь в виду, когда мы рассматриваем с точки зрения логики конструкции русского языка. Логика изучает такие построения более изолированно. Так, зачастую фактор времени не принимается в расчет при рассмотрении различных суждений. В русском языке фактор времени, в соответствующих случаях, учитывается всегда. Здесь следует сказать о коммутативности конъюнкции, которая неразрывно связана с указанными выше особенностями языка и логики. Коммутативность - это эквивалентность суждений (высказываний), когда (a^b) = (b^a). В языке закон коммутативности конъюнкции не действует, так как принимается во внимание фактор времени. Действительно, невозможно себе представить эквивалентность некоторых суждений, одно из которых по времени раньше другого, и наоборот. Например, не будут эквивалентны высказывания «Пошел дождь, и мы промокли» (a^b) и «Мы промокли, и пошел дождь» (b^a). Та же ситуация просматривается в высказываниях «Грянул выстрел, и зверь упал» и «Зверь упал, и грянул выстрел». Очевидно, здесь учитывается фактор времени, согласно которому одно событие или действие, отраженное в сложном суждении, предшествует другому, отчего зависит смысл всего высказывания.
Логика абстрагируется от времени и оценивает суждение только с точки зрения его правильного построения, а также истинности либо ложности. В связи с этим приведенные выше высказывания являются эквивалентными, так как в каждом отдельно взятом случае истинны обе их части.
Таким образом, конъюнктивные высказывания в логике коммутативны , использование же в суждениях союза «и» с точки зрения языка (в случае, когда учитывается фактор времени) некоммутативно.
Несмотря на то что выше были указаны предлоги, при помощи которых образуется конъюнкция, нельзя говорить о том, что при отсутствии в суждении этих предлогов конъюнкция невозможна. Это не так. Зачастую в предложениях, представляющих собой сложные суждения, в качестве связок используются разные знаки препинания. Например, это может быть запятая или тире, а иногда и точка.
Используемые в высказываниях знаки препинания ставятся между простыми суждениями и связывают их друг с другом. В качестве примера использования знаков препинания как логических связок можно привести предложение «Тучи разошлись, выглянуло солнце» или «На улице ударил мороз, вся живность попряталась, на крышах образовались сосульки». В целом вопросами языкового выражения конъюнкции занимались многие ученые. Поэтому данный вопрос хорошо проработан и освещен.
Дизъюнкция (напомним, что ее символьное обозначение V, а также аналогичная галочка, но с точкой наверху) бывает строгой и нестрогой. Различия этих двух видов, как уже говорилось, заключаются в том, что члены нестрогой дизъюнкции исключают друг друга, в то время как члены строгой - нет.
Закон коммутативности при дизъюнкции действует независимо от того, какой ее вид имеется в виду. Вспомним, что дизъюнкция выражается союзами , главные из которых, определенно, «или» и «либо». Приведем примеры строгой и нестрогой дизъюнкции и используем их для иллюстрации действия закона коммутативности. Суждение «Я выпью воды с газом или без газа» является примером нестрогой дизъюнкции, в то время как суждение «Я пойду в университет или останусь дома» - строгой. Различие между ними состоит в том, что в первом случае действие все равно будет совершено, вне зависимости от выбранного типа воды. Во втором же случае действие (пойду в университет) исключается, если выбрать второй вариант и остаться дома. Во многих случаях союз «или» можно просто заменить союзом «либо». Например, в предложении «Или я съеду с горы на лыжах, или упаду по пути» можно использовать союз «либо» без каких-нибудь изменений. Однако есть союз, который используется самостоятельно и также является дизъюнктивной связкой. Это союз «то ли, то ли». Он достаточно часто используется при построении предложений «Сегодня приезжал то ли ревизор, то ли аудитор»; «Он живет то ли на Московской, то ли на Комсомольской улице» и т. д.
Как уже было сказано выше, закон коммутативности в дизъюнктивных высказываниях действует независимо от типа дизъюнкции. Возьмем для примера следующее суждение: «Я выпью воды с газом или без газа» и «Я выпью воды без газа или с газом». Очевидно, что разницы между ними нет, смысл остается одним. Так же можно проверить и другие примеры, скажем, «Я пойду в университет или останусь дома» и «Я останусь дома или пойду в университет». Содержание и объем сложного суждения, образованного при помощи дизъюнкции, не меняются от перестановки его членов. Именно поэтому мы и говорим об универсальной коммутативности.
Выражение логических связок в языке очень многообразно, существует множество схем, по которым строятся высказывания. По каждой из этих схем можно построить огромное количество сложных суждений. Особенно это характерно для русского языка во всей его неоднозначности. Например, импликация строится по таким схемам, как, например, «для А необходимо В»; «для В достаточно А»; «если А, то В», «А, только если В» и др. Например: «Для того чтобы много знать, необходимо много учиться»; «Для прыжка с вышки достаточно правильно оттолкнуться ногами»; «Если машина застрянет, то ее придется толкать»; «Вы сможете сдать сессию вовремя, только если начнете готовиться немедленно».
Ряд формул существует и для эквиваленции: «А, если В, и В, если А»; «для А необходимо и достаточно В»; «А тогда и только тогда, когда В» и др. Приведем примеры суждений, построенных на основе указанных схем. Например: «Если человек занимается тяжелой атлетикой, он станет сильнее» и «Человек станет сильнее, если он занимается тяжелой атлетикой»; «Для поступления в вуз необходимо и достаточно сдать вступительные экзамены»; «Вы достигли вершины тогда и только тогда, когда ступили на самую высокую точку горы».
В связи с этим необходимо упомянуть также о неоднозначности союзов, выражающих логические постоянные (конъюнкцию, дизъюнкцию, импликацию и т. д.). Например, союз «если» может зачастую выражать не импликацию, а конъюнкцию. Это зависит от наличия содержательной связи между суждениями. В связи с этим необходимо рассматривать выражения естественного языка с позиций их многообразия и неоднородности.
Кроме логических связок , выражаемых в русском языке при посредстве союзов, которые используются при образовании общих и частных суждений, существуют кванторы. Это квантор существования и квантор общности.
Квантор общности выражается в русском языке словами «каждый», «всякий», «все», «ни один» и т. д. Обычно формула с квантором общности читается как «все предметы обладают определенным свойством».
Квантор существования выражается словами «большинство», «меньшинство», «некоторые», «многие» и «немногие», «немало» и «немного», «почти все» и т. д. Этот квантор выражается как «существуют некоторые объекты, обладающие определенным свойством». Имеется вариант употребления квантора существования, при котором «существуют некоторые объекты, которые больше определенного значения». В данном построении под объектами понимаются числа.
Некоторые суждения, построенные при помощи импликации, выражены в сослагательном наклонении. Они имеют такую же формулу, как и другие импликации (a - › b), но их принято называть контрафактическими. Сослагательное наклонение дает нам понять, что основание и следствие таких суждений ложны. Однако эта ложность не универсальна, т. е. при определенных обстоятельствах возможна истинность подобных высказываний. Другими словами, такие суждения могут правильно и объективно отражать предмет.
Истинность возможна, если отношения между основанием и следствием подразумевают, что истинность следствия вытекает из истинности основания. В противном случае мы можем констатировать ложность такого суждения.
Высказывание, построенное в сослагательном наклонении, имеет структуру «если бы А, то было бы В». Например, «Если бы вы ходили на все занятия по логике, вы успешно сдали бы экзамен»; «Если бы поезд не опоздал, мы опоздали бы на поезд» и «Если бы пациент не упал, у него не болела бы нога».
Контрафактические высказывания имеют большое значение для истории, философии, в определенной степени математики и некоторых других наук. Они используются при построении гипотез, рассмотрении исторических и иных вопросов и определении возможных направлений протекания тех или иных процессов. Например, до сих пор не умолкают дискуссии на тему Великой Отечественной войны. В рамках этой дискуссии рассматривается вопрос о возможностях ее альтернативного хода и результатах, которые могли бы быть при другом стечении обстоятельств. Также в рамках химии, физики, астрономии зачастую используются контрафактические суждения. Например, практическая физика иногда приходит к выводу, что теоретически определить точное течение какого-либо процесса не представляется возможным. В этом случае для достижения необходимого результата приходится использовать метод интеллектуального перебора и подтверждать результаты практикой.
Следующее суждение может быть примером контрафактического суждения в физике: «Если мы пропустим электрический ток через медный проводник, то разряд получится сильнее». Так как истинность контрафактического суждения неоднозначна, а по умолчанию как основание его, так и следствие (а соответственно, и все суждение в целом) признаются ложными, данное суждение приходится проверять на практике. В данном случае суждение может быть как истинным, так и ложным. Это зависит от того, какой проводник мы использовали ранее. Например, если перед медным мы брали железный проводник, наше суждение будет истинным, так как медь дает меньшее сопротивление при движении по проводнику электрического тока. Однако если ранее мы использовали в качестве проводника золото, суждение окажется ложным, опять же по причине, связанной с проводимостью материалов, - золото обладает проводимостью гораздо большей, нежели медь. Астрономия ставит под вопрос некоторые свойства орбит небесных тел и особенностей движения последних, взаимное расположение планет, звезд, систем и галактик и т. д. Вследствие этого также используются контрафактические высказывания. Иногда для своего оправдания или чтобы сгладить острую ситуацию, люди говорят: «Если бы этого не произошло, то все пошло бы иначе». Это тоже пример использования сослагательного наклонения.
Однако следует помнить о том, что контрафактические суждения состоят из ложных основания и следствия. Поэтому при использовании подобных конструкций в науке необходимо соблюдать известную осторожность.
Контрафактические суждения могут выражаться при помощи формул. В таких формулах отражается количество членов высказывания, вид связки между ними и знак импликации. Импликация в контрафактическом суждении имеет определенную специфику: она соответствует, кроме прочего, союзу «если… то». Слева в такой формуле отражаются члены контрафактического высказывания, соответствующие союзу «если», справа же - союзу «то». Разделены левая и правая части знаком импликации, отличным от применяемого в классической логике высказываний. Отличие этих двух символов состоит в том, что на задней стороне стрелочки, обозначающей импликацию (классический вариант (-›)), в контрафактической импликации имеется вертикальная черта (| - ›). Такой знак в классической логике высказываний не применяется.
3. Отрицание сложных суждений
Отрицание суждения в логике - это замена существующей связки внутри сложного высказывания на другую, противоположную последней. Если мы говорим о формуле, в которой можно выразить отрицание сложных суждений, то нужно отметить, что отрицание графически выражается как горизонтальная черта над отрицаемым суждением. Таким образом, мы получим два понятия, объединенных логической связкой, над которыми проведена горизонтальная черта. Если такая черта уже есть, то для осуществления отрицания необходимо такую черту удалить.
Все сказанное выше относится к операциям, производимым с применением конъюнкции и дизъюнкции. Однако сказанное выше не означает, что отрицание сложных суждений возможно, только если они содержат исключительно связки конъюнкцию и дизъюнкцию. В случае, если необходимо осуществить операцию отрицания по отношению к суждению, содержащему импликацию, необходимо заменить это суждение так, чтобы при отсутствии каких-либо его изменений отбросить импликацию. Это означает, что необходимо подобрать суждение, эквивалентное данному, которое при этом не содержало бы импликации. Когда мы говорим о суждении, эквивалентном содержащему импликацию, но не содержащему ее, подразумевается замена этой связки на конъюнкцию или дизъюнкцию. Графически это выглядит как (a - b) = (a V b). Затем производится описанная выше операция, при которой знак конъюнкции меняется на дизъюнкцию, и наоборот.
Обычно в речи выражение отрицания сводится к добавлению приставки «не». Действительно, так как указанная приставка является отрицательной, ее применение для установления противоположности вполне оправдано.
Необходимо упомянуть о законах де Моргана. Они применяются в процессе отрицания сложных суждений и имеют формульное выражение. Таких законов и, соответственно, формул всего четыре:
Рассмотрев сказанное выше, можно отметить, что отрицание сложного суждения, где содержится конъюнкция или дизъюнкция, является «простым» вариантом, при котором достаточно лишь проведения операции отрицания.
Формула, образованная при помощи законов де Моргана, выглядит следующим образом:
(a ^b) V (c ^e) = (a V b) ^(c V e).
Приведем примеры операции отрицания. Отрицание сложного суждения, в котором нет импликации: «Я закончу работу и пойду гулять и зайду в магазин» - «Я закончу работу, но не пойду гулять и не зайду в магазин». Отрицание сложного суждения, в котором необходимо сначала изменить импликацию на конъюнкцию или дизъюнкцию, можно проиллюстрировать следующим примером: «Если я куплю машину, то поеду за город или заверну на дачу» - «Я куплю машину, но не поеду за город и не заверну на дачу». В этом примере мы для удобства опустили этап исключения импликации.
Необходимо сказать, что суждения, отрицающие друг друга, не могут быть одновременно истинными или ложными. Ситуация противоречия или отрицания характеризуется тем, что одно из противоречащих понятий всегда истинно, а другое при этом ложно. Другого положения в этом случае быть не может.
Нельзя отождествлять операцию отрицания, в результате которой образуется новое суждение, от отрицания, являющегося частью отрицательных суждений. Отрицание суждений может производиться как в отношении всего суждения, так и его частей и выражается словами «не является», «не суть», «не есть», а также «неверно» и др. Исходя из сказанного можно сделать вывод, что есть два вида отрицания - внутреннее и внешнее. Как нетрудно догадаться, внешнее отрицает все суждение в целом. Например, «Некоторые солдаты не являются десантниками» - это внутреннее отрицание, в то время как суждение «Неверно, что Луна является планетой» - это отрицание внешнее. Таким образом, внешнее отрицание - это отрицание всего суждения в целом, тогда как внутреннее показывает факт противоречия или несоответствия предиката субъекту.
В виде формул можно отобразить следующие виды отрицательных суждений: «все S есть Р» и «некоторые S не есть Р» (это общие суждения); «ни одно S не является Р» и «некоторые S являются Р» (частные суждения). Последний вид отрицательных суждений выглядит как «это S является Р» и «это S не является Р» (суждения, называемые единичными).
Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) услов-| ные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых.1. Соединительные (конъюнктивные) суждения, j
Соединительным, или конъюнктивным называют суждение, со" стоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество относится к умышленным преступлениям». Если первое обозначать р, а второе - q, то соединительное;
суждение символически можно выразить как р л q, где р и q - члены.^ конъюнкции (или конъюнкты), л - символ конъюнкции.
|В естественном языке конъюнктивная связка может быть пред-^ ставлена и такими выражениями, как: «а», «но», «а также», «как и»,1 «хотя», «однако», «несмотря на», «одновременно» и другими. На-] пример: «При установлении судом размеров подлежащего возмеще-| нию ущерба должны учитываться не только причиненные убытки,! (р), но и та конкретная обстановка, при которой убытки были при-. чинены (q), а также материальное положение работника (г)». Сим-,| волически это суждение можно выразить так: р л q л г.
Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р л q л г л... л п. Приведем пример соединительного суждения, включающего более 20 конъюнктов:
«Возок несется чрез ухабы, Мелькают мимо будки, бабы, Мальчишки, лавки, фонари, Дворцы, сады, монастыри, Бухарцы, сани, огороды, Купцы, лачужки, мужики, Бульвары, башни, казаки, Аптеки, магазины моды, Балконы, львы на воротах И стаи галок на крестах».
(А.С. Пушкин)
В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур.
1. Соединительная связка представлена в сложном субъекте по схеме: Si и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».
2) Связка представлена в сложном предикате по схеме: S есть Pi и Pi. Например: «Преступление - это общественно опасное и противоправное деяние».
3) Связка представлена сочетанием первых двух способов по схеме: Si и Si есть Pi и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Гоголь). р q pAq и И. И и Л Л л И Л л Л Л
Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р л q показаны в таблице (рис. 31), где истинность обозначена И, а ложность - Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэтому все возможные сочетания значений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построчных вариантов истинным оно является лишь в 1-й строке, когда истинны оба конъюнкта: и р, и q. Во всех рис- 31 остальных случаях оно ложно: во 2-й
и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.
2. Разделительные (дизъюнктивные) суждения.
Разделительным, или дизъюнктивным, называют суждение, ее стоящее из нескольких простых, связанных логической связко «или». Например, суждение «Договор купли-продажи может быт заключен в устной или письменной форме» является разделите.? ным суждением, состоящим из двух простых: «Договор купли-про;
жи может быть заключен в устной форме»; «Договор купли-прода? может быть заключен в письменной форме».
Если первое обознг чить р, а второе - q, то разделительное суждение символичес! можно выразить как р v q, где р и q - члены дизъюнкции (дизъюр ты), v - символ дизъюнкции.Разделительное суждение может быть как двух-, так и многое ставным: р v q v ... v п.
В языке разделительное суждение может быть выражено одно1| из трех логико-грамматических структур. ;
1) Разделительная связка представлена в сложном субъекте п2) Разделительная связка представлена в сложном предикате п3) Разделительная связка представлена сочетанием первых дву способов по схеме: Si или S2 есть PI или Р2. Например: «Ссылка ил! высылка могут применяться в качестве основной или дополнитель|
ной санкции». |
Нестрогая и строгая дизъюнкция. Поскольку связка «или» упощ ребляется в естественном языке в двух значениях - соединительнс разделительном и исключающе-разделительном, то следует разлд чать два типа разделительных суждений: 1) нестрогую (слабую) дг зъюнкцию и 2) строгую (сильную) дизъюнкцию.
1) Нестрогая дизъюнкция - суждение, в котором связка «или употребляется в соединительно-разделительном значении (си»(вол v). Например: «Холодное оружие может быть колющим i режущим» символически р v q. Связка «или» в данном случае F деляет, поскольку отдельно существуют такие виды оружия, и единяет^ ибо есть оружие, одновременно и колющее, и режуще
Условия истинности нестрогой дизъюнкции представлены в Те лице (рис. 32). Суждение р v q будет истинно при истинности XG бы одного члена дизъюнкции (1, 2, 3-я строки - ИИ, ИЛ, Л!
Р q pvq И И И И Л И л И и л Л л
Дизъюнкция будет ложной при ложности обоих ее членов (4-я строка - ЛЛ).
2) Строгая дизъюнкция - суждение, в котором связка «или» употребляется в разделительном значении (символ?). Например: «Деяние может быть умышленным или неосторожным», символически р? q.
Члены строгой дизъюнкции, называемые альтернативами, не могут быть одновременно истинными. Если деяние совершено умышленно, то его нельзя считать неосторожным, и, наоборот, - деяние, совершенное по неосторожности, не может быть отнесено к умышленным. р q P^q и и Л и л И л и И л л л
Условия истинности строгой дизъюнкции представлены в таблице (рис. 33). Суждение р? q будет истинным при истинности одного и ложного другого члена (2-я и 3-я строки ИЛ, ЛИ); оно будет ложным, если оба члена истинны (1-я строка - ИИ) или оба ложны (4-я строка - ЛЛ). Таким образом, суждение строгой дизъюнкции будет истинным при истинности одной альтернативы и ложным - как при одновременной ложности, так и одновременной истинности альтернатив.
Разделительная связка в языке обычно выражается с помощью союзов «или», «либо». С целью усиления дизъюнкции до альтернативного значения нередко употребляют удвоенные союзы: вместо выражения «р или q» употребляют «или р, или q», а вместе «р либо q» - «либо р, либо q». Поскольку в грамматике отсутствуют однозначные союзы для нестрогого и строгого разделения, то вопрос о типе дизъюнкции в юридических и других текстах должен решаться содержательным анализом соответствующих суждений.
В правовых, политических и других контекстах дизъюнкция используется для раскрытия содержания и объема понятий, описания разновидностей правонарушений или санкций, описания составов преступлений и гражданских правонарушений.
Полная и неполная дизъюнкция. Среди дизъюнктивных суждений следует различать полную и неполную дизъюнкцию.
Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды определенного рода.
Символически это суждение можно записать следующим образо» . Например: «Леса бывают лиственные, хвойные ил» смешанные». Полнота этого разделения (в символической записи^ обозначается знаком <...>) определяется тем, что не существуете помимо указанных, других видов лесов. |
Неполным или открытым называют дизъюнктивное суждение^ в котором перечислены не все признаки или не все виды определен-^ ного рода. В символической записи неполнота дизъюнкции можев! быть выражена многоточием: р v qv r v... В естественном языке не| полнота дизъюнкции выражается словами; «и т.д.», «и др.», «и то» подобное», «иные» и другими.
3. Условные (импликативные) суждения.
Условным, или импликативным, называют суждение, состоя* щее из двух простых, связанных логической связкой «если.., то...»., Например: «Если предохранитель плавится, то электролампа гас-| нет». Первое суждение - «Предохранитель плавится» называют ан" тецедентом (предшествующим), второе - «Электролампа гаснет» -консеквентом (последующим). Если антецедент обозначить р, консеквент - q, а связку «если..., то...» знаком «->», то имплика-тивное суждение символически можно выразить как p->q:
Условия истинности импликативного суждения показаны в таблице (рис. 34). Импликация истинна во всех случаях, кроме одного: Р q p-»q и И И и Л Л л И И л л И
при истинности антецедента и ложности консеквента (2-я строка) импликация всегда будет ложной, i Сочетание истинного антецедента, например «Предохранитель плавится», и ложного консеквента - «Электролампа не гаснет» - является показателем ложности импликации. I
Истинность импликации объясняется следующим образом. В 1-й^ строке истинность р имплицирует
истинность q, или другими словами: истинность антецедента достаточна для признания истинности консеквента. И действительно, если предохранитель плавится, то электролампа обязательно гаснет в силу их последовательного включения в электрическую цепь.
В 3-й строке при ложном антецеденте - «Предохранитель не плавится» консеквент является истинным - «Электролампа гаснет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин - отсутствия тока в цепи, перегорания нити в лампе, замыкания
электропроводки и т.д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.
В 4-й строке при ложном антецеденте - «Предохранитель не плавится» ложным является и консеквент - «Электролампа не гаснет». Такая ситуация возможна, но она не ставит под сомнение факт условной зависимости р и q, ибо при истинности р всегда будет истинным q.
В естественном языке для выражения условных суждений используется не только союз «если..., то...», но и другие союзы:
«там..., где», «тогда..., когда...», «постольку..., поскольку...» и т.п. В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространственные, временные, правовые, а также семантические, логические и другие зависимости. Примером причинного суждения может служить следующее высказывание: «Если воду нагреть при нормальном атмосферном давлении до 100°С, то она закипит». Пример семантической зависимости: «Если число делится на 2 без остатка, то оно четное».
В юридических текстах в форме условиях суждений нередко фиксируют правовые предписания: разрешения, запреты, обязывания. Грамматическими показателями импликации могут служить, помимо союза «если..., то...», такие словосочетания, как: «при наличии..., следует», «в случае..., следует...», «при условии..., наступает...» и другие. Вместе с тем юридические импликации могут конструироваться в законе и других текстах без особых грамматических показателей. Например: «Тайное похищение чужого имущества (кража) наказывается...» или «Заведомо ложный донос о совершении преступления наказывается...» и т.п. Каждое из таких предписаний имеет импликативную формулу: «Если совершено определенное противоправное деяние, то за ним следует правовая санкция».
В форме условных суждений нередко выражают логические зависимости между высказываниями. Например: «Если все преступное наказуемо, то не все наказуемое преступно». Или другой пример рассуждения: «Если верно, что некоторые птицы улетают зимой в теплые края, то неверно, что ни одна птица не улетает в теплые края».
В условном суждении антецедент выполняет функцию фактического или логического основания, обусловливающего принятие в кон-секвенте соответствующего следствия. Зависимость между антецедентом-основанием и консеквентом-следствием характеризуется свойством достаточности. Это означает, что истинность основа-
ния обусловливает истинность следствия, т.е. при истинности оснс вания следствие всегда будет истинным (см. 1-я строка в таблице рис. 34). При этом основание не характеризуется свойством необл димости аля. следствия, ибо при его ложности следствие может бь как истинным, так и ложным (см. 3-я и 4-я строки в таблице рис.34).
4. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качесг.^ составных два суждения, связанных двойной (прямой и обратной^ условной зависимостью, выражаемой логической связкой «если i только если.
.., то...». Например: «Если и только если человек на гражден орденами и медалями (р), то он имеет право на ношеш соответствующих орденских планок (q)».Логическая характеристика этого суждения состоит в том, 41 истинность утверждения о награждении (р) рассматривается к&« необходимое и достаточное условие истинности утверждения о на" личии права на ношение орденских планок (q). Точно так же истин" ность утверждения о наличии права на ношение орденских плано! (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией pt^q, которая читав-ся: «Если и только если р, то q». Эквивалентность выражают другим знаком: р = q.
В естественном языке, в том числе и в юридических текстах, дл. выражения эквивалентных суждений используют союзы: «лишь при. условии что..., то...», «в том и только в том случае когда..^ тогда...», «только тогда когда..., то...» и другие. р q p=q и И И и Л Л л И Л л Л И
Условия истинности эквивалентного суждения представлены таблице (рис. 35). Суждение р = . истинно в тех случаях, когда оба суждения принимают одинаковый значения, являясь одновременно либо истинными (1-я строка), либв ложными (4-я строка). Это значит| что истинность р достаточна для| признания истинным q, и наоборот. 1 рис-35 Отношение между ними характери-^
зуется и как необходимое: ложность р служит показателем ложности q, а ложность q указывает ложность р.
В заключение приведем сводную таблицу условий истинности сложных суждений (рис. 36). Р q PAQ pvq P^q P-»q psq И И И И Л И И И Л Л И И Л Л Л И Л И И И Л Л Л Л Л л И И
Сложные суждения и толкование норм.
(^ложные суждения - соединительные, разделительные, условные и эквивалентные - используются в обычных рассуждениях и правовых контекстах как самостоятельно, так и комбинированно, т.е. в различных сочетаниях. Так, например, в соединительном суждении в качестве конъюнктов могут выступать разделительные суждения: (р v q) л (m v п). В разделительном суждении в качестве его членов могут выступать соединительные суждения, например: (р nq) v (m л п). Антецедентом и консеквентом условного суждения также могут быть конъюнктивно или дизъюнктивно связанные суждения, например: (р v q) -> (m л п).
С помощью комбинации сложных суждений описывают нормативные предписания, определяют правовые понятия, а также составы уголовных правонарушений и деликтов. В процессе толкования норм права и различного рода правовых документов (договоров, соглашений и т.п.) требуется тщательный и точный логико-грамматический анализ их структуры, выявление типов и последовательности логических связей между составляющими сложного суждения.
Важную роль при этом выполняют такие технические знаки, как скобки. В логике их функция аналогична использованию скобок в языке математики. К примеру, арифметическое выражение «2 х 3 4=...» нельзя признать определенным и ясным до тех пор, пока не будет установлена последовательность операций умножения и сложения. В одном случае оно принимает значение «(2 х 3) 4=10», в другом «2 х (3 4)=14».
Не отличается определенностью и высказывание - «Преступление совершил А и В или С», поскольку не ясно, какая из двух логических связок - конъюнкция или дизъюнкция - является главной. Высказывание может быть истолковано как «А и (В или С)»; его можно истолковать и по-другому - «(А и В) или С». По логической значимости эти два высказывания далеко не эквивалентны.
В качестве примера выявим структуру, или логическую форму, статьи, предусматривающую ответственность за мошенничество, которая гласит: «Завладение личным имуществом граждан или приобретением права на имущество путем обмана или злоупотребления доверием (мошенничество) наказывается лишением свободы на срок до двух лет со штрафом до... или исправительными работами на срок до Двух лет».
В целом это высказывание, несмотря на отсутствие явных грамматических показателей, является условным суждением типа «D-»S». В качестве антецедента в нем указаны юридически значимые действия (D), а в качестве консеквента-санкция (S). При этом антецедент и консеквент представляют собой сложные структурные образования.
В антецеденте (D) перечислены действия, в совокупности составляющие мошенничество: «Завладение личным имуществом граждан (di) или приобретение права на
имущество (d2) путем обмана (di) или злоупотребления доверием (d4)». Грамматич. кий анализ позволяет представить связь между отмеченными действиями в следуя шем виде: di или d2 и d3 или d4; символически - (di v dz) л (d3 vd4). Разумеется, что таком виде антецедент не отличается достаточной определенностью, поскольку i пускает двойное прочтение: первый вариант (di v dz) n(d3 v d4); второй вариант di v (d2 л ((d3 v d4)).
В этом случае грамматический анализ текста статьи следует дополнить логичЕсли при этом сопоставить понятие мошенничества с другими имущественны» преступлениями, то можно заключить, что из двух приведенных корректным являет первый вариант истолкования. Под мошенничеством в этом случае понимают дейс вия, связанные с завладением личным имуществом граждан или с приобретена права на имущество; при этом как первое, так и второе осуществляется путем обма) или злоупотребления доверием. Именно такой смысй представлен формуле (di v d2) л (d3 v d4).
В консеквенте (S) предусмотрена сложная санкция: мошенничество «наказывав лишением свободы на срок до двух лет (Si) со штрафом до... ($2) или исправительньи работами на срок до двух лет (S3)». Связь между составными частями консеквента име следующий вид: Si и S2 или 8з, или символически ((Si л S2) v Sa). Логический анал текста показывает, что такое истолкование является единственно возможным.
Если первоначальное условное суждение D-»S детализировать в соответствии проведенным анализом, то статья о мошенничестве представляется в следующей форм
((di v d2) л (d3 v d4)) -> ((Si л S2) v S3)
Главным знаком этого сложного суждения является импликация: aнтeцeдe^ суждения представляет собой конъюнкцию, оба члена которой - дизъюнктивнь выражения; консеквент суждения - дизъюнктивное выражение, один из членов кОвладение навыками логического анализа сложных высказываний с использовал нием символического языка для уяснения смысла правовых контекстов являете! эффективным средством точного истолкования и правильного применения норм (правовом процессе.
