Как определяется истинное значение сложного суждения в логике?

Истинное значение сложного суждения в логике определяется двумя параметрами: логическим значением простых суждений, входящих в сложное, и характером логической связки, соединяющей простые суждения. www.bibliofond.ru

Некоторые правила определения истинности сложных суждений в зависимости от их вида:

• Конъюнкция. logic-hd.tilda.ws Суждение истинно только в том случае, когда истинно каждое из простых суждений. logic-hd.tilda.ws Например: «Драко красив, а Гарри богат». logic-hd.tilda.ws Если Драко теряет свою красоту или Гарри разоряется, суждение становится ложным. logic-hd.tilda.ws
• Слабая дизъюнкция. logic-hd.tilda.ws Сложное суждение является истинным при условии, что хотя бы одно из простых суждений, входящих в его состав, истинно. logic-hd.tilda.ws И ложным — при условии, что все простые суждения, входящие в его состав, ложны. logic-hd.tilda.ws Например: «Девочки любят играть с куклами или с мягкими игрушками». logic-hd.tilda.ws
• Сильная дизъюнкция. logic-hd.tilda.ws Сложное суждение является истинным при условии, что одно из входящих в состав сложного суждения истинно, а другое ложно. logic-hd.tilda.ws Например: «Пациент либо жив, либо мёртв». logic-hd.tilda.ws
• Импликация. logic-hd.tilda.ws Сложное суждение ложно только тогда, когда ложна вторая часть сложного суждения. logic-hd.tilda.ws Например: «Если пойдёт дождь, то влажность увеличится». logic-hd.tilda.ws Если дождь идёт и влажность увеличилась, мы получаем истинное суждение. logic-hd.tilda.ws Если дождь идёт, а влажность не увеличилась, — ложное. logic-hd.tilda.ws
• Эквиваленция. logic-hd.tilda.ws Сложное суждение истинно только тогда, когда все простые суждения, входящие в его состав одновременно истинны или одновременно ложны. logic-hd.tilda.ws Например: «Если сегодня понедельник, то завтра будет вторник». logic-hd.tilda.ws
• Отрицание. logic-hd.tilda.ws Если исходное суждение истинно, его отрицание будет ложным, и наоборот, при ложности исходного суждения его отрицание будет истинным. logic-hd.tilda.ws Например: «Неверно, что 2 + 3 = 4». logic-hd.tilda.ws

Логическое значение сложного суждения устанавливается с помощью таблиц истинности. logic-hd.tilda.ws www.bibliofond.ru Эти таблицы отражают все возможные случаи истинности или ложности суждений. logic-hd.tilda.ws