Сложные+суждения

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

//**Отрицание **////- //логическая операция, в результате которой из данного суждения //(р)//получается новое суждение (не-//р//), называемое отрицанием исходного суждения. //**Конъюнкция **//- логическая операция, соединяющая два или более высказывания при помощи союза «и» //(p////q).// //**Дизъюнкция **//- логическая операция, соединяющая два или более высказывания при помощи союза «или» //(р//или //q;//символически //pq).//Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном. //**Слабая дизъюнкция **//- логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически: //pq).// //**Строгая дизъюнкция **//- логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо //p//, либо //q;//символически: //pq//). //**Импликация **//- логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически //р//→//q).// //**Эквивалентность **////- //<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">логическая операция, позволяющая из двух высказываний //р//и //q//получить новое высказывание://р//эквивалентно //q//(символически //р ≡////q,//или //р ↔////q//)//.//

<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">В зависимости от того, какие логические союзы используются при образовании сложных суждений, последние делятся на следующие виды: __<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">//отрицательные, соединительные, разделительные, условные//и //эквивалентные// суждения. __

<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Все эти сложные суждения могут быть истинными и ложными. Но их истинность (ложность) зависит от истинности (ложности) простых суждений и смысла логических союзов, с помощью которых они образуются. Точный смысл логических союзов определяется с помощью так называемых таблиц истинности.

//**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Отрицание **////<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">- суждение, образованное с помощью союза «не». //<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Например, имеем суждение: «Человек совершил преступление» //(р).//Его отрицанием будет: «Неверно, что человек совершил преступление» //p).// Смысл отрицания состоит в следующем: если какое-то суждение //(р)//- истинно, то его отрицание (//p)//будет ложным. Если //p// - ложно, то его отрицание //p////-//истинно. Союз «не» меняет значение истин­ности на противоположное.

//**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Конъюнктивное (соединительное) суждение **//<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">- //суждение, которое включает в качестве составных частей другие суждения, объединяемые союзом «и».//Например: «Мы поедем в Санкт-Петербург и посетим Русский музей». В этом суждении выражается уверенность, что произойдут оба эти события. Схематично: //«рq».//

//**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Дизъюнктивное (разделительное) суждение **////<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">- это суждение, которое включает в качестве составных частей суждения, объединяемые союзами «или», «либо». //<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Например: «Договор купли-продажи может быть заключен в устной или письменной форме» (здесь наличие в предикате двух признаков указывает на сложный характер суждения: его можно разложить на два простых: «Договор купли-продажи может быть заключен в устной форме» и «Договор купли-продажи может быть заключен в письменной форме»).


 * //**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Слабо-разделительное суждение, **//<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">или //**суждение со слабой дизъюнкцией**////-//суждение, в котором союз «или» имеет соединительно-разделительное значение. Оно может быть истинным в трех случаях: когда истинны оба суждения; когда //р -//истинно, a //q//- ложно; когда //р// - ложно, a //q////-//истинно. Дизъюнкция считается ложной при ложности всех ее членов.
 * //**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Строго-разделительное суждение, **//<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">или //**суждение с сильной дизъюнкцией**////-//суждение, в котором союз «или» имеет исключающе-раз-делительное значение. Например: «Либо Н. - убийца, либо М. -убийца», «Вина может быть умышленной или неосторожной» (символично: //р////q).//Члены сильной дизъюнкции не могут быть одновременно истинными и ложными. <span style="background-color: white; color: #0d0d0d; display: block; font-family: Arial,sans-serif; font-size: 9pt; text-align: justify;">Суждение с сильной дизъюнкцией может быть истинным только в двух случаях: когда первое суждение истинно (Н. - убийца), а второе - ложно (М. - не убийца) или когда первое ложно, а второе истинно. Оно будет ложным, если входящие в него простые суждения одновременно истинны или одновременно ложны.

//**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Импликативное (условное) суждение **////<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">- это сложное суждение, образованное из простых суждений с помощью логического союза «если.., то». //<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Например: «Если человек совершил преступление, то он должен быть наказан». При этом первое суждение (начинающееся словом «если») называется //основанием,//а второе (начинающееся словом «то») - //следствием (заключением).//Символически: //р//→ //q.//

//**<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">Эквивалентность **////<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">- суждение, образованное из простых суждений с помощью союза «тогда, и только тогда, когда». //<span style="color: #0d0d0d; font-family: Arial,sans-serif; font-size: 9pt;">В этих суждениях выражается взаимная обусловленность явлений, событий. Например: «Если человек награжден орденами и медалями, то лишь в этом случае он имеет право на ношение соответствующих орденских планок». При истинно-функциональном подходе аналогом этих суждений выступают выражения, содержащие прямую и обратную импликацию (двойная импликация). В естественном языке такие суждения выражаются также с помощью союзов «если, и только если.., то», «лишь при условии.., что».

__Между сложными суждениями складываются определенные виды отношений.__

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

//Сложные суждения могут быть совместимыми и несовместимыми.//
 * Совместимые суждения -** это суждения, которые могут быть одновременно истинными.

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

Суждения, которые одновременно не могут быть истинными, являются **несовместимыми.**

Выделяют два вида несовместимости: 1) противоположность; 2) противоречие.

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


 * //Источники информации://**

Основы теории информатики [] Информационный портал [] Сайт, посвященный логике []


 * //Полезные ресурсы://**

Образовательная сеть "Знание" [] Полезный портал "Новая грань" []