Логические отношения между сложными суждениями.
Сравнимые среди сложных - это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание: например, "Норвегия или Швеция являются членами НАТО" и "Неверно, что Норвегия и Швеция являются членами НАТО". Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них дизъюнктивное суждение, второе - отрицание конъюнкции. Наличие общих составляющих позволяет сопоставлять их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных суждений являются суждения, которые частично или полностью различаются составляющими их суждениями.
Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями.
Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности.
(p q) и и и л и и и и л л л л | л и л и | p л и и л л и и л |
Знак | Название | Соответствие в русском языке |
отрицание | «не», «неверно, что» | |
& | конъюнкция | «и», «а», «но» |
дизъюнкция | «или» | |
строгая дизъюнкция | «или…или», «либо…либо» | |
импликация | «если…, то…», «когда…, то…» | |
эквиваленция | «если и только если», «тогда и только тогда» |
Дата добавления: 2016-06-24; просмотров: 557;