Сложным является суждение. Сложные суждения, их структура и виды

Сложные суждения образуются из простых путем разного рода их соединения. Обычно характеристики простых и сложных суждений не вызывают затруднений. Однако возможны ситуации, когда граница между простым и сложным суждениями должна быть признана до определенной степени условной. Это относится к таким конструкциям, в которых не без оснований можно выявить как одно утверждение (или отрицание), так и два, три. Оценка подробного суждения как простого или сложного в известной степени зависит от позиции исследователя. Возьмем суждение: «Этот человек сотрудник ОВД и спортсмен». Его можно рассматривать и как простое, если исходить из того, что словосочетание «сотрудник ОВД и спортсмен» выражает одно понятие. С другой стороны мы можем предположить, что человек, о котором идет речь является сотрудником, но спортом никогда не занимался. Выходит, что рассматриваемая нами конструкция наряду с истинной информацией содержит и ложную. Эта ложная информация не может заключаться в понятии «спортсмен», ибо понятие не обладает значением истинности. Носители истинностного значения выступает суждение. Но может ли одно суждение быть носителем двух значений истинности? Это возможно лишь в том случае, когда суждение состоит из двух суждений, т.е. является сложным. Таким образом, есть основание трактовать данное суждение как сложное, состоящее из двух утверждений: «Этот человек сотрудник ОВД» и «Этот человек спортсмен».

Виды сложных суждений по характеру логического союза.

1. Конъюнктивные (или соединительные) суждения. Они образуются из исходных простых суждений посредством логического союза конъюнкции «и» (символически «») А  В, т.е. А и В. В русском языке логический союз конъюнкции выражается многими грамматическими союзами: и, а, но, да, хотя, а также, не смотря на то, что. «Я буду поступать в институт, несмотря на то, что придется сильно потрудиться». Иногда не требуется никаких союзов. Вот высказывание одного из Американских президентов начала 20 века: «Перед нами новая эра, в которой мы, очевидно, будем управлять миром».

Возможно 4 способа сочетания двух исходных суждений «А» и «В» в зависимости от их истинности и ложности. Конъюнкция истинна в одном случае, если истинно каждое из суждений.Вот таблица конъюнкции.

2. Дизъюнктивные (разделительные) суждения.

а) слабая (нестрогая) дизъюнкция образована логическим союзом «или». Она характеризуется тем, что объединяемые суждения не исключают друг друга. Формула: А V В (А или В). Союзы «или», «либо» используются здесь в разделительно-соединительном значении. Пример: «Понцов является юристом или спортсменом». (Он может оказаться и юристом и спортсменом одновременно).Слабая дизъюнкция истинна когда хотя бы одно из суждений истинно.

Смысловая граница между конъюнкцией и слабой дизъюнкцией в известном отношении условна.

б) сильная (строгая) – логический союз «либо … либо», . Ее составляющие (альтернативы) исключают друг друга: А В. (либо А либо В). Она выражается по существу теми же грамматическими средствами, что и слабая: «или», «либо», но уже в ином разделительно - исключающем значении. «Мы выживем или погибнем». «Амнистия бывает общей или частичной». Строгая дизъюнкция истинна, когда одно из суждений истинно, а другое ложно.

И

3. Импликативные (условные суждения). В них объединяют суждения на основе логического союза «если …, то», и «тогда…, когда» (символ «→»), (А → В; если А, то В). «Если погода наладится, то мы найдём следы преступника». Суждение, стоящее после слов «если», «тогда» называют антецедентом (предшествующее) или основанием, а стоящее после «то», «когда» - консеквентом (последующее) или следствием. Импликация истинна всегда, кроме случая, когда основание истинно, а следствие ложно.Необходимо помнить, что союз «если…, то» может употребляться и в сопоставительном смысле («Если сам порох изобрели в Китае в древности, то оружие на основе использования свойств пороха появилось в Европе только в средневековье») и, как легко убедиться, может выражать вовсе не импликацию, а конъюнкцию.

4. Эквивалентные (равнозначные) суждения. В них объединяются суждения с взаимной (прямой и обратной) зависимостью. Ее образует логический союз «если и только если …, то», «тогда и только тогда…, когда», «только при условии», «лишь в случае» символ «↔» (А ↔ В), если и только если А, то В). «Если и только если у гражданина большие заслуги перед РФ, он имеет право на получение высокой награды ордена «Герой России». Используется также знаки « = », « ≡ ». Эквиваленция истинна, когда оба суждения истинны, или оба ложны.

Эквиваленция может быть истолкована и как конъюнкция двух импликаций, прямой и обратной: (р→q)  (q → р). Эквиваленцию иногда и называют двойной импликацией.

Подытоживая сказанное о сложных суждениях, надо отметить, что некоторые выделяют и, так называемое контрфактическое суждение (союз «если…, то», символ « ● →». Это знак контрфактической импликации. Смысл такой: ситуация, описываемая антицидентом, не имеет места, но если бы она существовала, то существовало бы положение вещей, описываемое консеквентом. Например: «Если бы Понцов был мэром Красноярска, то не жил бы в гостинке».

Сложные суждения – это суждения, образованные их простых посредством той или иной логической связи. Структура сложных суждений отличается от структуры простых суждений.Основными структурообразующими элементами здесь выступают не понятия (термины – субъект и предикат), а самостоятельные простые суждения , внутренняя субъектно-предикатная структура которых уже не учитывается. Связь между элементами сложного суждения осуществляется с помощью логических союзов : «и », «или »; «если...то... »; «если и только если..., то »; «неверно, что... », которые близки к соответствующим грамматическим союзам, но полностью с ними не совпадают. Главное их отличие состоит в том, что логические союзы однозначны, тогда как грамматические союзы имеют множество смыслов и оттенков.

Эти типы связи простых суждений выражаются соответствующими логическими связками: конъюнкцией («и»), дизъюнкцией («или»), строгой дизъюнкцией («либо, ...либо»), импликацией («если..., то»), эквиваленцией (тогда и только тогда, когда...», отрицанием («неверно, что...»). Логические связки обозначают символами: ~ соответственно. Каждый из этих логических союзов, за исключением отрицания, является бинарным, т.е. соединяет только два суждения, независимо от того простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.

Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в него, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов , который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких - ложную. Смысл логических союзов можно определить с помощью, так называемой истинностной таблицы , в которой на входе (см. Табл.1, столбцы 1,2) выписываются все возможные комбинации истинностных значений простых суждений (входящих в рассматриваемое сложное), а на выходе (Таблица 1 – столбцы 3 – 9) – значения сложного суждения, образованного из данных простых с помощью соответствующего логического союза . При этом, исходные простые суждения обозначают буквами: А,В,С,D ..., а значения истинности символами: «и » - истино; «л » - ложно.

Таблица 1.

Виды сложных суждений

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

Соединительное или конъюнктивное суждение – это сложное суждение, образованное из исходных суждений посредством логического союза «и», обозначаемого символом « ». Например, суждение: «Сегодня я пойду на лекцию по логике и в кино» является конъюнктивным суждением, состоящим из двух простых суждений (обозначим их соответственно – А , В ): : «Сегодня я пойду на лекцию по логике» (А ), «Сегодня я пойду в кино» (В ). Символически данное сложное суждение можно записать как: А В , где А ,В – элементы конъюнкции; « » - символ логического союза – конъюнкции. В русском языке конъюнктивный логический союз выражается многими грамматическими союзами: и, а, но, да, хотя, однако, а также... Нередко подобные грамматические союзы заменяются запятой, двоеточием, точкой с запятой. Например, в суждении «Русские долго запрягают, да быстро ездят».

Конъюнктивное суждение истинно только при истинности всех составляющих его элементов и ложно при ложности хотя бы одного из них (см. табл.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), записав его символически как «(А В ) С ».

Таблица 2		Таблица 3
А	В	С	В С	А (В С)		А	В	С	А В	(А В) С
и	и	и	и	и		и	и	и	и	и
и	и	л	и	и		и	и	л	и	и
и	л	и	и	и		и	л	и	л	и
и	л	л	л	л		и	л	л	л	л
л	и	и	и	л		л	и	и	л	и
л	и	л	и	л		л	и	л	л	л
А	В	С	В С	А (В С)		А	В	С	А В	(А В) С
л	л	и	и	л		л	л	и	л	и
л	л	л	л	л		л	л	л	л	л

Из таблиц 2 и 3 видно, что истинностные значения суждений (1) и (2) не одинаковы (в двух строках – когда одно ложно, другое истинно), и следовательно они не эквивалентны, и представляют суждения, выражающие различные связи между их структурными элементами.

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

Отношения между суждениями

Между суждениями существуют логические отношения. Суждения как и понятия, могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми. Но есть существенные различия, вызванные их различной логической структурой. Если сравнимые понятия соотносятся друг с другом по их объему, то между сравнимыми суждениями имеются многообразные отношения прежде всего по их истинностным значениям . Анализ этих отношений предполагает выяснение таких вопросов: могут ли рассматриваемые суждения быть вместе истинными, вместе ложными, обусловливает ли истинность одного истинность другого и ложность одного ложность другого. Такой анализ имеет важное теоретическое и практическое значение, но его осуществление имеет свою специфику относительно простых и сложных суждений, поскольку они различаются своей логической структурой.

Отношения суждений по их истинностным значениям исследуются в логике между сравнимыми суждениями.

Несравнимые простые суждения имеют разные субъекты и предикаты , например: «Закон суров» и «Небо ясное». Истинность и ложность таких суждений не зависит друг от друга. Сравнимые простые суждения имеют одинаковые субъект и предикат (поэтому они и сравнимы по содержанию), но различаются количественными и качественными характеристиками логической формы. Несравнимые сложные суждения включают в себя полностью или частично разные по содержанию простые суждения. Например, суждения: «Прокуроры и следователи имеют юридическое образование» и «Прокуроры и следователи стоят на страже законности». Сравнимые сложные суждения включают одинаковые исходные простые суждения , а различаются типом связи между ними (т.е. логическими союзами). Например: «Кража и мошенничество строго караются по закону», «Кража или мошенничество строго караются по закону», «Неверно , что кража и мошенничество строго караются по закону».

Между сравнимыми суждениями выделяются два типа отношений: совместимость и несовместимость . Суждения рассматриваются как совместимые , если они могут быть одновременно истинными , и как несовместимые , если они не могут быть одновременно истинными .

Совместимость бывает трех видов: эквивалентность, подчинение и частичная совместимость .

1. Суждения эквивалентны , если они всегда принимают одинаковые истинностные значения. Простые категорические суждения (А, Е, J, О ) находятся в отношении эквивалентности, если они различны по количеству и качеству, и одно из них стоит под отрицанием: ~ А эквивалентно О («Неверно, что все юристы адвокаты» эквивалентно «Некоторые юристы не адвокаты»); ~ О эквивалентно А («Неверно, что некоторые адвокаты не юристы» эквивалентно «Все адвокаты юристы»); ~ J эквивалентно Е («Неверно, что некоторые студенты профессора» эквивалентно «Ни один студент не профессор»); ~ Е эквивалентно J («неверно, что ни один гриб не ядовит» эквивалентно «Некоторые грибы ядовиты»).

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

2. Суждение находится в отношении подчинения к другому (подчиняющему ), если оно истинно во всех тех случаях, когда истинно подчиняющее. Это отношение имеет место между простыми категорическим суждениями, у которых количество различно, а качество одно и то же. В таком отношении находятся: общеутвердительные (А ) и частноутвердительные (J ) суждения; общеотрицательные (Е ) и частноотрицательные (О ) суждения. Здесь действуют такие закономерности : (1) из истинности общего (А или Е ) следует соответственно истинность частного (J или О ), но не наоборот; (2) из ложности частного (J или О ) следует ложность общего (А или Е ), но не наоборот. Например, если истинно «Все студенты нашей группы - успевающие» (А ), то тем более истинно «Некоторые студенты нашей группы успевающие» (J ). В свою очередь, если ложно «Некоторые люди вправе нарушать закон» (J ), то тем более ложно, что «Все люди вправе нарушать закон» (А ).

Отношение подчинения в сложных суждениях имеет свойства логического следования , которое характеризуется тем, что при истинности подчиняющего суждения В подчиненное суждение С всегда истинно, и не может быть так, что суждение В истинно, а суждение С – ложно. Например: «Если у человека повышенная температура (В ), то он болен (С )». При наличии температуры у человека (В ) – истинно, следует с необходимостью истинность суждения (С ). Но при ложности В , суждение С может быть как истинным, так и ложным.

3. Отношение частичной совместимости также имеет место как между простыми, так и сложными суждениями. Для этого отношения характерна следующая закономерность : невозможна совместная ложность суждений, находящихся в отношении частичной совместимости. В случае простых суждений – это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (J ) и частноотрицательными (О ) суждениями. Из ложности одного из них следует истинность другого, но не наоборот: из истинности одного из них не следует с необходимостью ложность другого – оно также может быть истинным. Эту закономерность особо следует учитывать в практике мышления. Так, при истинности (J ) – «Некоторые следователи независимы» может быть истинным и (О ) – «Некоторые следователи не являются независимыми». Но при ложности суждения (J ) – «Некоторые следователи независимы» необходимо будет истинным противоположное по качеству суждение, т.е. (О ) – «Некоторые следователи не являются независимыми».

Рассмотрим теперь несовместимые суждения . Различают два вида несовместимости: противоречие и противоположность .

Противоречие – это такое отношение между суждениями, при котором истинность одного необходимо влечет ложность другого и наоборот . Иными словами, противоречивые суждения не могут вместе быть ни истинными, ни ложными. Среди простых суждений это отношение имеет место между: общеутвердительными (А ) и частноотрицательными (О ) суждениями; общеотрицательными (Е ) и частноутвердительными (J ) суждениями. Так, если ложно суждение «Все следователи независимы», то истинно «Некоторые следователи не являются независимыми». Отношение противоречия между сложными суждениями означает, что их истинностные значения могут лишь исключать друг друга.

Противоположность между суждениями проявляется в том, что данные суждения не могут быть вместе истинными, но могут быть вместе ложными. Для этого отношения характерна закономерность обратная той, которая характерна для отношения частичной совместимости: если одно из двух суждений истинно , то другое необходимо ложно , но при ложности одного из них другое может быть как истинным , так и ложным . Иными словами, возможна ложность обоих суждений.

В случае простых суждений, это отношение имеет место между общеутвердительными (А ) и общеотрицательными (Е ) суждениями. Так, если истинно (А ) – «Все адвокаты – юристы», то ложно (Е ) – «Ни один адвокат не юрист». Но если ложно (А ) – «Все свидетели правдивы», то из него не следует истинность суждения (Е ) – «Ни один свидетель не правдив», оно тоже ложно. Но в других случаях (Е ) может быть истинным. Так, если ложно суждение (А ) – «Все граждане вправе нарушать закон», то истинно (Е ) – «Ни один гражданин не вправе нарушать закон».

Знание отношений между суждениями по их истинным значениям важно в познавательном и практическом планах, поскольку помогает избегать возможных ошибок в собственных рассуждениях, позволяет грамотно анализировать различные контексты, высказывания оппонентов. Часто встречаются ситуации, когда суждениями оперируют как исключающими друг друга. Например, когда кто-то выдвигает суждение в форме «Некоторые S есть Р », а другой - в форме «Некоторые S не есть Р ». Логический же анализ этих суждений показывает, суждения, высказанные в такой форме, не исключают друг друга, а являются частично совместимыми, и оба могут оказаться истинными. Весьма часто также в споре из истинности частного суждения (J или О ) выводят истинность общего (А или Е ) соответственно, что нарушает правильность отношений между ними.

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

Для осуществления логического анализа отношений между простыми суждениями используют графическую схему, называемую «логическим квадратом»: его вершины символизируют четыре вида простых категорических суждений – А, Е, J, О ; стороны и диагонали – отношения между этими суждениями.

подчинение

подчинение

противоречие

Чтобы определить отношение между простыми категорическими суждениями, нужно:

1. определить, какого вида эти суждения: А, Е, J, О;

2. найти соответствующие углы логического квадрата;

3. посмотреть какое отношение вписано между ними;

4. по характеру отношения установить связь истинностных значений для анализируемых суждений.

Например, нужно определить отношение между суждениями: (1) «Не все металлы твердые» и (2) «Некоторые металлы твердые». Для этого осуществим их логический анализ. Прежде всего, определяем вид суждений (1) и (2): второе суждение – частноутвердительное (J ) , а первое суждение – общеутвердительное с отрицанием. Превращаем его согласно приведенным выше эквивалентностям (~А эквивалентно О ) в эквивалентное суждение – О . Определяем по логическому квадрату отношение между J и О . Отношение между ними – частичная совместимость, что означает, что совместная ложность невозможна, но возможна совместная истинность.

Для определения отношений между сложными суждениями нужно:

1. определить по главному логическому союзу вид анализируемых сложных суждений;

2. записать символически в виде формул их логические формы;

3. построить их совместную истинностную таблицу;

4. сравнить истинностные значения формул данных суждений и по их характеру определить вид отношения.

В качестве примера определим отношения между суждениями: (1) «Он не читает ни детективных, ни исторических романов» и (2) «Он читает либо детективные, либо исторические романы». Первое суждение – конъюнктивное, состоит из двух отрицательных суждений: «Он не читает детективных романов» (~А ), «Он не читает исторических романов» (~В ), соединительный союз () опущен. Символическая запись формы суждения (1): ~А ~В . Второе суждение – строго дизъюнктивное, состоит из двух суждений: «Он читает детективные романы» (А ), «Он читает исторические романы» (В ), которые связаны двойным разделительным союзом «либо...либо» (). Поэтому символическая запись логической формы суждения (2): А В . Построим для них совместную истинностную таблицу, где А, В - исходные суждения.

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

Простые суждения

Сложные суждения - суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.

Состав простого суждения

Простое (атрибутивное) суждение - это суждение о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении могут быть выделены термины суждения - субъект, предикат, связка, квантор.

Субъект суждения - это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

Предикат суждения - мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).

Логическая связка - мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

Квантор - указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как;

строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как.

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как или ab . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

Классификация простых суждений

По качеству

Утвердительные

Отрицательные

По объёму

Общие

Частные

По отношению

Категорические - суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

Условные - суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений

Основание - это (предыдущее) суждение, которое содержит условие.

Следствие - это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

Логический квадрат, описывающий отношения между категорическими суждениями

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.

Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащегосказуемого (Р)

Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

Прим.: «Некоторые книги полезны»

Прим.: «Некоторые животные суть Позвоночные»

Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)

Прим.: «Некоторые животные не суть позвоночные (S)»

Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

Общая классификация:

общеутвердительные (A («Все S + суть P - »)

частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - »)

общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + »)

частноотрицательное (O ) - частное и отрицательное

Структура простого суждения. Три типа простого суждения.

Первый элемент называется субъектомсуждения. Субъект суждения выражает знание о предмете суждения, то есть то, о чём говорится в данном суждении. Сокращённо субъект суждения обозначается буквой S (от латинского слова Subjektum).

Вторым логическим элементом суждения является предикат суждения. Он выражает знание о признаке предмета суждения, то есть то, что говорится о субъекте суждения. Сокращённо предикат обозначается буквой P (от латинского слова predikatum). Предикат суждения является вторым необходимым элементом суждения. Третьим элементом суждения является связка. Она выражает отношение, которое устанавливается в суждении между субъектом и предикатом. Связка придаёт ограниченное единство и законченность всей форме суждения. Логическая связка между субъектом и предикатом имеет две формы . Она может быть либо утвердительной, либо отрицательной – в зависимости от того, приписывается предикат субъекту или нет. В русском языке связка как правило не высказывается, а подразумевается. Если мы говорим «Все люди – разумные существа», то S(все люди) и P(разумные существа) связываются с помощью тире; но в других случаях вместо слова «есть» могут использоваться «суть», «имеется» и топу подобное (имеется в виду утвердительная форма. Отрицательная форма выражается связкой «не есть», «не суть», «не имеется», «не является» и т.п.. Например, «Птицы не являются млекопитающими животными». Здесь опят мы видим все три элемента суждения.)

1)Суждения свойства(атрибутивные) - суждение, в котором утверждается или отрицается принадлежность свойства предмету. Например: «Роза красная», «Преступник должен быть наказан» и т. п.

2) Суждение отношения - суждение, в котором говорится о том, что определенные отношения имеют место (или не имеют места) между элементами двух, трех и т. д. предметов. Таковыми являются, например, суждения: «Москва больше Рязани», «Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора». В первом суждении утверждается, что отношение «больший» имеет место между Москвой и Рязанью, во втором утверждается, что отношение «знающий лучше, чем» имеет место между каждым следователем, некоторым адвокатом и некоторым прокурором.

Суждения об отношениях делятся на виды по количеству. Так, суждения о двухместных отношениях делятся по количеству на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные, частно-общие.

Примеры этих суждений: «Иванов выше Петрова» (единично-единичные). «Каждый студент нашей группы знает каждого преподавателя нашего факультета» (обще-общее). «Некоторые студенты нашей группы знают некоторых чемпионов мира» (частно-частное). «Иванов знает каждого студента первого курса филологического факультета» (единично-общее). «Иванов изучает некоторые науки» (единично-частное).

Простое суждение и его виды по качеству и количеству (A, I, E, O).

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

По качеству

Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)

частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»

общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»

частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Логический квадрат. Отношения между суждениями по истинности и ложности.

ЛОГИЧЕСКИЙ КВАДРА́Т

схема, выражающая отношения с т. зр. истинности и ложности между общеутвердительным, общеотрицательным, частноутвердительным и частноотрицательным суждениями традиц. логики, имеющими один и тот же субъект и один и тот же предикат и обозначаемыми соответственно буквами А, Е, I, О (рис. 1); предложен в 11 в. Михаилом Пселлом.

Отношение п о д ч и н е н и я характеризуется тем, что истинность подчиняющего суждения (А или Е) обусловливает истинность соответствующего подчиненного суждения (I или О), а ложность подчиненного суждения обусловливает ложность подчиняющего суждения; отношение п о д п р о т и в н о с т и (субконтрарности) характеризуется тем, что ложность одного из подпротивных суждений обусловливает истинность другого.

Сложное суждение и его виды.

Сложные суждeния образуются из нескольких простых суждений. Таково, например, высказывание Цицерона: «Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности».

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

Разделительные (дизъюнктивные) суждения - включают в качестве составных частей суждения - дизъюнкты, объединяемые связкой «или». Например, «Истец вправе увеличить или уменьшить размер исковых требований».
Различают слабую дизъюнкцию , когда союз «или» имеет соединительно-разделительное значение, то есть входящие в сложное суждение составляющие не исключают друг друга. Например, «Договор купли-продажи может быть заключен в устной или письменной форме». Сильная дизъюнкция возникает, как правило, тогда, когда логические союзы «или», «либо» употребляются в исключающе-разделяющем смысле, то есть ее составляющие исключают друг друга. Например, «Клевета, соединенная с обвинением лица в совершении тяжкого или особо тяжкого преступления, наказывается ограничением свободы на срок до трех лет, либо арестом на срок от четырех до шести месяцев, либо лишением свободы на срок до трех лет».
Условные (импликативные) суждения образованы из двух простых суждений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут договор, то он считается принятым на постоянную работу». Аргумент, начинающийся в импликативных суждениях словом «если», называется основанием, а составляющая, начинающаяся со слова «то» - следствием.
В условных суждениях отражаются прежде всего объективные причинно-следственные, пространственно-временные, функциональные и другие связи между предметами и явлениями действительности. Однако в практике применения законодательства в форме импликации могут также выражаться права и обязанности людей, связанные с теми или иными условиями. Например, «Военнослужащие воинских частей Российской Федерации, дислоцирующихся за пределами Российской Федерации, за преступления, совершенные на территории иностранного государства, несут уголовную ответственность по настоящему Кодексу, если иное не предусмотрено международным договором Российской Федерации» (п. 2 ст. 12 УК РФ).
При этом необходимо иметь в виду, что грамматическая форма «если [...], то» не является исключительным признаком условного суждения, она может выражать простую последовательность. Например, «Если исполнителем признается лицо, непосредственно совершившее преступление, то подстрекатель - это лицо, склонившее другое лицо к совершению преступления путем уговора, подкупа, угрозы или другим способом».
Сложные суждения, рассмотренные из методических соображений по отдельности, в реальном процессе мышления используются в различном сочетании друг с другом, образуя порой весьма сложные мыслительные конструкции. Например: «Суд не принимает отказа истца от иска, признание иска ответчиком и не утверждает мирового соглашения сторон, если эти действия противоречат закону и нарушают чьи-либо права и охраняемые законом интересы». Здесь налицо соединение нескольких конъюнкций с дизъюнкцией и импликацией.

Выражение логических связок в естественном языке.

В мышлении мы оперируем не только простыми, но и сложными суждениями, образуемыми из простых посредством логических связок (или операций) - конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Проанализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.

Конъюнкция (знак «л») выражается союзами «и», «а», «но», «да», «хотя», «который», «зато», «однако», «не только..., но и» и др. В логике высказываний знак « л » соединяет простые высказывания, образуя из них сложные. В естественном языке союз «и» и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и другие части речи. Например, «В корзине у деда лежали подберезовики и маслята» (aÙb), «Интересная и красиво оформленная книга лежит на столе». Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией: «Интересная книга лежит на толе» и «Красиво оформленная книга лежит на столе», - так как создается впечатление, что на столе лежат две книги, а не одна.

В логике высказываний действует закон коммутативности конъюнкции (aÙb)º(bÙa). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза «и» некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) «Прицепили паровоз, и поезд тронулся» и 2) «Поезд тронулся, и прицепили паровоз».

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

О выражении конъюнкции средствами естественного языка пишет С. Клини в своей книге «Математическая логика». В разделе «Анализ рассуждений» он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены символами « Л » или «&». Формула А ^ В в естественном языке может выражаться так:

«Не только А , но и В. Как А, так и В.

В, хотя и Л. А вместе с В.

В, несмотря на А. А , в то время как В» 7 .

Придумать примеры всех этих структур предоставляем читателю.

В естественном (русском) языке дизъюнкция (обозначенная aÚb и aÚb) выражается союзами: «или», «либо», «то ли... то ли» и др. Например, «Вечером я пойду в кино или в библиотеку»; «Это животное принадлежит либо к позвоночным, либо к беспозвоночным»; «Доклад будет то ли по произведениям Л. Н. Толстого, то ли по произведениям Ф. М. Достоевского».

Для обоих видов дизъюнкции действует закон коммутативности: (aÚbº(bÚa) и (aÚb)º(bÚa). В естественном языке эта эквивалентность сохраняется. Например, суждение «Я куплю масло или хлеб» эквивалентно суждению «Я куплю хлеб или масло». С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (AÊB) и эквиваленция (A ~B ).

(Буквами А и В обозначены переменные высказывания.)

Закон тождества.

Закон тождества.

Этот закон формулируется так: «В процессе определенного рассуждения всякое понятие и суждение должны быть тожественными самим себе».

В математической логике закон тождества выражается следующими формулами:

A=A (равно это три параллельные линии)

Тождество есть равенство, сходство предметов в каком-либо отношении.Например, все жидкости тождественны в том, что они теплопроводны, упруги. Каждый предмет тождественен самому себе.Но реально тождество существует в связи с различием.Нет и не может быть двух абсолютно тождественных вещей(двух листочков дерева).Вещь вчера и сегодня и тождественна,и различна.

Отождествление(или идентификация) широко используется в следственной практике, например, при опознании предметов, людей, отпечатков пальцев0

Закон непротиворечия.

Закон непротиворечия (закон противоречия ) - 1"закон логики, который гласит, что два 1"несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них необходимо ложно.7 %E 0 %EA%EE%ED_%EF%F 0 %EE%F 2 %E 8 %E 2 %EE%F 0 %E 5 %F 7 %E 8 %FF"

Математическая запись

где - знак конъюнкции, - знак отрицания.

Закон противоречия является фундаментальным логическим законом, на котором построена вся современная математика. Он является тавтологией классической логики, а также большинства 1"неклассических логик, в том числе интуиционистской логики. Все же, существуют 1"нетривиальные 1"логические системы, в которых он не соблюдается, например 1"логика HYPERLINK "http://ru.wikipedia.org/w/index.php?title=Логика_Клини&action=edit&redlink=1"Клини.Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Например, два суждения: «Сократ высокий», «Сократ низкий» (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий - это не низкий, и наоборот), - не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, то есть если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком. Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например он сравнивается одновременно с высоким Платоном и низким Аристотелем, тогда два противоположных суждения вполне могут быть одновременно истинными, и закон противоречия при этом не нарушается. Символически он выражается следующей тождественно-истинной формулой: (а Λ а), (читается: «Неверно, что а и не а»), где а - это какое-либо высказывание.

Закон исключенного третьего.

Закон исключённого третьего (лат. tertium non datur , то есть «третьего не дано») - закон классической логики, состоящий в том, что из двух высказываний - «А» или «не А» - одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно. Закон исключённого третьего является одним из основополагающих принципов современной математики.

С интуиционистской (и, в частности, конструктивистской) точки зрения, установление истинности высказывания вида «А или не А» означает установление истинности A или истинности его отрицания, . Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего подвергается критике со стороны представителей интуиционистского и конструктивного направлений в основаниях математики.

Закон достаточного основания.

Принцип Достаточного Основания - это принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным.

Этот закон формулируется так: «Всякая истинная мысль должна быть достаточно обоснованной».

Речь идет об обосновании только истинных мыслей: ложные мысли обосновывать нельзя, и нечего пытаться «обосновать» ложь, хотя нередко отдельные люди пытаются это сделать.

Формулы для этого закона нет. Ибо он имеет содержательный характер.Иногда в книгах для выражения этого закона дается формула (aàb).

Общая характеристика умозаключения как формы мышления.

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

Все углероды горючи.

Алмаз-углерод.

алмаз горюч Заключение

Умозаключение-форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение, с необходимостью или определенной степенью вероятности следующее из них.

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

Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий.

Дедукция. Выводы из сложных высказываний.

Дедукция (0%9B%D0%B0%D1%82%D0%B8%D0%BD%D1%81%D0%BA%D0%B8%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA"лат. deductio - выведение) - метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.

Началом (посылками) дедукции являются 0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0"аксиомы, 0%9F%D0%BE%D1%81%D1%82%D1%83%D0%BB%D0%B0%D1%82"постулаты или просто 0%93%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0"гипотезы, имеющие характер общих утверждений («общее»), а концом - следствия из посылок, 0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0"теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция - основное средство доказательства. Противоположно 0%98%D0%BD%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F_%28%D1%84%D0%B8%D0%BB%D0%BE%D1%81%D0%BE%D1%84%D0%B8%D1%8F%29"индукции.

Пример дедуктивного умозаключения:

Все люди смертны.

Сократ - человек.

Следовательно, Сократ смертен.

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

все волки-хищные животные --> ни один волк не является нехищным животным (AE)

Ни одна ель не является лиственным деревом.-->Все ели являются нелиственными деревьями(ЕA)

Некоторые грибы съедобны-> Некоторые грибы не являются несъедобными(IO)

Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 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^ суждения представляет собой конъюнкцию, оба члена которой - дизъюнктивнь выражения; консеквент суждения - дизъюнктивное выражение, один из членов кОвладение навыками логического анализа сложных высказываний с использовал нием символического языка для уяснения смысла правовых контекстов являете! эффективным средством точного истолкования и правильного применения норм (правовом процессе.

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное агентство по образованию

Санкт-Петербургский государственный университет сервиса и экономики

Юридический институт

По дисциплине: Логика

на тему: Сложные суждения

Санкт-Петербург

Понятие простого суждения

Суждение – форма мышления, посредством которой что-либо утверждается или отрицается о предмете (ситуации) и которая обладает логическим значением истины или ложности. Данное определение характеризует простое суждение.

Наличие утверждения или отрицания описываемой ситуации отличает суждение от понятия .

Характерной особенностью суждения с логической точки зрения является то, что оно – при логически правильном его построении – всегда истинно или ложно. И связано это как раз с наличием в суждении утверждения или отрицания чего-либо. Понятие, которое в отличие от суждения содержит только описание предметов и ситуаций с целью их мысленного выделения, не имеет истинностных характеристик.

Суждение следует отличать и от предложения. Звуковая оболочка суждения – предложение . Суждение всегда является предложением, но не наоборот. Суждение выражается в повествовательном предложении, в котором утверждается, отрицается или сообщается что-либо. Таким образом, вопросительное, побудительное и повелительное предложения суждениями не являются. Структуры предложения и суждения не совпадают. Грамматический строй одного и того же предложения различается в разных языках, тогда как логический строй суждения всегда одинаков у всех народов.

Следует отметить также отношения между суждением и высказыванием. Высказывание – это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Иными словами, утверждение о ложности или истинности высказывания должно иметь смысл. Суждение является содержанием любого высказывания. Такие предложения, как «число 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».