10. Между суждениями A, E, I, O с одинаковым терминами (с одинаковой материей) существует четыре вида отношений:

Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. Например: суждение общее «Все люди смертны» истинно, то истинно будет и частное суждение «Некоторые люди смертны», обратное же не имеет место;

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

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

Так называемый, «логический квадрат» показывает все рассмотренные отношения между суждениями. Определённые логические отношения существуют также между суждениями, у которых одинаковые либо только предикаты, либо только субъекты. Если суждения имеют одинаковые предикаты, то между ними существует отношение подчинения, если они имеют одно и то же качество. Например: «Все планеты светят отраженным светом» и «Юпитер светит отраженным светом». Если также суждения имеют разные качества, то они являются противоречивыми. Суждения с одинаковым субъектом противоположны, если противоположными являются их предикаты. Например: «И.Е. Репин – великий художник-реалист» и «И.Е. Репин – заслуженный художник реалист». Оба суждения истинны быть не могут, но оба могут быть ложными.Если у двух суждений с одинаковым субъектом предикаты – совместимы понятия, то они будут согласными и могут оказаться одновременно как ложными, так и истинными. Например: «Д.И. Менделеев был выдающимся химиком» и «Д.И. Менделеев был выдающимся лектором» являются одновременно истинными. Другой пример: «Математика является главной наукой среди всех наук» и «Математика является второстепенной наукой»; оба суждения ложны.Между суждениями совершенно разной материи логика никаких отношений указать не можем.

11. Сложные суждения и условия их истинности

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

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

Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).

Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символическиpq). Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.

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

Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).

Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).

Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентноq (символически р ≡ q, или р ↔ q).

Отрицание - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р).Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истин­ности на противоположное.

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

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

Слабо-разделительное суждение, или суждение со слабой дизъюнкцией - суждение, в котором союз «или» имеет соединительно-разделительное значение. Оно может быть истинным в трех случаях: когда истинны оба суждения; когда р - истинно, a q - ложно; когда р - ложно, a q - истинно. Дизъюнкция считается ложной при ложности всех ее членов.

Строго-разделительное суждение, или суждение с сильной дизъюнкцией - суждение, в котором союз «или» имеет исключающе-раз-делительное значение. Например: «Либо Н. - убийца, либо М. -убийца», «Вина может быть умышленной или неосторожной» (символично: р q). Члены сильной дизъюнкции не могут быть одновременно истинными и ложными.

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

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

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