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