Распределенность терминов в простых суждениях

 

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

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

 

 

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

 

 

Например, в суждении: Все акулы ( S) являются хищниками (Р) речь идет обо всех акулах, значит, субъект этого суждения распределен. Однако, в данном суждении речь идет не обо всех хищниках, а только о части хищников (именно – о тех, которые являются акулами), следовательно, предикат указанного суждения нераспределен. Изобразив отношения между субъектом и предикатом (которые находятся в отношении подчинения) рассмотренного суждения круговыми схемами Эйлера, увидим, что распределенному термину (субъекту акулы) соответствует полный круг, а нераспределенному (предикату хищники) – неполный (попадающий в него круг субъекта как бы вырезает из него какую-то часть):

 

 

Распределенность терминов в простых суждениях может быть различной в зависимости от вида суждения и характера отношений между его субъектом и предикатом. В приводимой ниже таблице представлены все случаи распределенное™ терминов в простых суждениях.

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

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

 

 

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

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

 

 

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

 

 

Круг, обозначающий предикат, является полным, а круг, соответствующий субъекту, – неполным (круг предиката как бы вырезает из него какую-то часть). Таким образом, в данном суждении субъект нераспределен, а предикат распределен (S–, Р+).

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

 

2.4. Способы преобразования суждений

 

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

Обращение (также часто называемое конверсией) – это преобразование простого суждения, при котором его субъект и предикат меняются местами. Например, суждение: Все акулы являются рыбами преобразуется путем обращения в суждение: Некоторые рыбы являются акулами. Здесь может возникнуть вопрос, почему исходное суждение начинается с квантора все, а новое – с квантора некоторые! Этот вопрос, на первый взгляд, кажется странным, ведь нельзя же сказать: Все рыбы являются акулами, следовательно, единственное, что остается, это: Некоторые рыбы являются акулами. Однако в данном случае мы обратились к содержанию суждения и по смыслу поменяли квантор все на квантор некоторые; а логика, как уже говорилось, отвлекается от содержания мышления и занимается только его формой, будучи формальной логикой. Поэтому обращение суждения: Все акулы являются рыбами можно выполнить формально, не обращаясь к его содержанию (смыслу). Для этого установим распределенность терминов в этом суждении с помощью круговой схемы. Термины суждения, то есть субъект (акулы) и предикат (рыбы) находятся в данном случае в отношении подчинения:

 

 

 

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

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

Как видим, суждение вида А обращается или в само себя, или в суждение вида I. Суждение вида I обращается или в само себя, или в суждение вида А. Суждение вида Е всегда обращается в само себя, а суждение вида О не поддается обращению.

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

 

 

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

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

 

 

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

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

 

 

Получившуюся схему можно прочитать четырьмя способами:

1. Все учебники являются книгами (исходное суждение).

2. Некоторые книги являются учебниками (обращение).

3. Все учебники не являются не книгами (превращение).

4. Все не книги не являются учебниками (противопоставление предикату).

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

 

 

Получившуюся схему можно прочитать четырьмя разными способами:

1. Все планеты не являются звездами (исходное суждение).

2. Все звезды не являются планетами (обращение).

3. Все планеты являются не звездами (превращение).

4. Некоторые не звезды являются планетами (противопоставление предикату).

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

 

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

 

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

Совместимые суждения могут находиться в следующих отношениях.

1. Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения: Москва является древним городом и Столица России является древним городом находятся в отношении равнозначности.

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

3. Частичное совпадение (или субконтрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: Некоторые грибы являются съедобными и Некоторые грибы не являются съедобными находятся в отношении частичного совпадения. Необходимо отметить, что в этом отношении находятся только частные суждения – частноутвердительные I и частноотрицательные О.

Несовместимые суждения могут находиться в следующих отношениях.

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

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

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

 

 

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

Как уже говорилось, важным свойством суждений, в отличие от понятий, является то, что они могут быть истинными или ложными. Что касается сравнимых суждений, о которых идет речь в данном параграфе, то истинностные значения каждого из них определенным образом связаны с истинностными значениями остальных. Так, если суждение вида А является истинным или ложным, то три других (I, E, О) сравнимых с ним суждения (то есть имеющих сходные с ним субъекты и предикаты) в зависимости от этого (то есть от истинности или ложности суждения вида А) тоже являются истинными или ложными. Например, если суждение вида А: Все тигры – это хищники является истинным, то суждение вида I: Некоторые тигры – это хищники также является истинным (если все тигры – хищники, то и часть из них, то есть некоторые тигры – это тоже хищники), суждение вида Е: Все тигры – это не хищники является ложным, и суждение вида О: Некоторые тигры – это не хищники также является ложным. Таким образом, в данном случае из истинности суждения вида А вытекает истинность суждения вида I и ложность суждений вида Е и вида О (разумеется, речь идет о сравнимых суждениях, то есть имеющих одинаковые субъекты и предикаты).

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

1. Если суждение вида А является истинным, то суждение вида I также является истинным, а суждения вида Е и О являются ложными.

2. Если суждение вида А является ложным, то суждение вида I является неопределенным по истинности (то есть может быть как истинным, так и ложным, в зависимости от того, о чем будет идти в нем речь), суждение вида Е является также неопределенным по истинности, а суждение вида О является истинным. (Далее будем применять сокращения, например, вместо выражения «суждение вида А» будем говорить «А», а вместо «является истинным» – просто «истинно»).

3. Если Е истинно, то А ложно, I ложно, О истинно.

4. Если Е ложно, то А неопределенно по истинности, I истинно, О неопределенно по истинности.

5. Если I истинно, то А неопределенно по истинности, Е ложно, О неопределенно по истинности.

6. Если I ложно, то А ложно, Е истинно, О истинно.

7. Если О истинно, то А ложно, Е неопределенно по истинности, I неопределенно по истинности.

8. Если О ложно, то А истинно, Е ложно, I истинно.

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

 

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

 

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

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

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

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

Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его исключающем (строгом) значении, который обозначается условным знаком Ú. С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы a Ú b (читается «или а, или b»), где а и b – это два каких-либо простых суждения. Например, сложное суждение: Он учится в 9 классе или он учится в 11 классе является строгим дизъюнктивным, или строгой дизъюнкцией, (разделением) двух простых суждений: 1. Он учится в 9 классе. 2. Он учится в 11 классе. Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9, и в 11 классе (если он учится в 9 классе, то обязательно не учится в 11 классе, и наоборот), в силу чего данная дизъюнкция является строгой. Как нестрогая, так и строгая дизъюнкция могут состоять не только из двух, но и из большего числа простых суждений. Например: Он изучает английский или он изучает немецкий, или он изучает французский (a Ú b Ú c) или Он учится в 9 классе или он учится в 10 классе, или он учится в 11 классе (a Ú b Ú c).

Импликативное суждение, или импликация, – это сложное суждение с условным союзом «если... то», который обозначается условным знаком ®. С помощью этого знака импликативное суждение, состоящее из двух простых суждений, можно представить в виде формулы а ® b (читается «если а, то b»), где а и b – это два каких-либо простых суждения. Например, сложное суждение: Если вещество является металлом, то оно электропроводно представляет собой импликативное суждение, или импликацию, (причинно-следственную связь) двух простых суждений: 1. Вещество является металлом. 2. Вещество электропроводно. Как видим, в данном случае эти два суждения связаны таким образом, что из первого вытекает второе (если вещество – металл, то оно обязательно электропроводно), однако из второго не вытекает первое (если вещество электропроводно, то это вовсе не означает, что оно является металлом). Первая часть импликации называется основанием, а вторая – следствием: из основания вытекает следствие, но из следствия не вытекает основание. Формулу импликации «а ® b» можно прочитать так: «если а, то обязательно b, но если b, то не обязательно а».

Эквивалентное суждение, или эквиваленция, – это сложное суждение с союзом «если... то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком ↔, с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы а ↔ b (читается «если а, то b, и если b, то а»), где а и b – это два каких-либо простых суждения. Например, сложное суждение: Если число является четным, то оно делится без остатка на 2 представляет собой эквивалентное суждение, или эквиваленцию, (равенство, тождество) двух простых суждений: 1. Число является четным. 2. Число делится без остатка на 2. Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: если число четное, то оно обязательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно четное. Понятно, что в эквиваленции, в отличие от импликации, не может быть ни основания, ни следствия, так как две ее части являются равнозначными суждениями.

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

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

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

Любое сложное суждение является истинным или ложным в зависимости от истинности или ложности входящих в него простых суждений. Ниже приведена таблица истинности всех видов сложных суждений в зависимости от всех возможных наборов истинностных значений двух входящих в них простых суждений (таких наборов всего четыре: 1) оба простых суждения истинные; 2) первое суждение истинное, а второе ложное; 3) первое суждение ложное, а второе истинное; 4) оба суждения ложные).

 

 

Как видим, конъюнкция (а Ù b) истинна только тогда, когда истинны оба простых суждения, входящих в нее. Надо отметить, что конъюнкция, состоящая не из двух, а из большего количества простых суждений, также истинна только в том случае, когда истинны все входящие в нее суждения. Во всех остальных случаях она является ложной. Нестрогая дизъюнкция (a Ú b), наоборот, истинна во всех случаях за исключением того, когда оба входящих в нее простых суждения ложны. Нестрогая дизъюнкция, состоящая не из двух, а из большего количества простых суждений, также ложна только тогда, когда ложны все входящие в нее простые суждения. Строгая дизъюнкция (a Ú b) истинна только тогда, когда одно входящее в нее простое суждение истинно, а другое ложно. Строгая дизъюнкция, состоящая не из двух, а из большего количества простых суждений, истинна только в том случае, если истинно только одно из входящих в нее простых суждений, а все остальные ложны. Импликация (а ® b) ложна только в одном случае – когда ее основание является истинным, а следствие ложным. Во всех остальных случаях она истинна. Эквиваленция (а ↔ b) истинна тогда, когда два составляющих ее простых суждения истинны или же когда они оба являются ложными. Если одна часть эквиваленции истинна, а другая ложна, то эквиваленция ложна. Проще всего определяется истинность отрицания: когда утверждение (а) истинно, его отрицание (Ø а) ложно; когда утверждение (а) ложно, его отрицание (Ø а) истинно.