ВУЗ:
Составители:
Рубрика:
30
Таким образом, логическое отрицание исключающего суждения может
менять и качество, и количество суждения, и даже объем исключения S′.
Возникающая в данном случае логическая неопределенность на практике
устраняется путем дополнительного уточнения цели и смысла отрицания.
3. Соединительные суждения
Соединительные суждения образуются с помощью союза «конъюнкция».
В литературе используют различные знаки конъюнкции: « Λ », «&» или « · ».
Логическая формула соединительного суждения имеет следующий вид: p Λ q.
В русском языке логический союз Λ может вводиться с помощью таких союзов,
как «и», «а», «но» и др. Пример: «Россия – не только огромная страна, но и
великая морская держава». Суждение p Λ q признается истинным, если все
входящие в него в качестве составных частей простые суждения одновременно
являются истинными. Для установления истинности сложных суждений
применяют так называемые таблицы истинности. Условия истинности
конъюнкции определяются по следующей таблице:
р q p Λ q
и и и
и л л
л и л
л л л
4. Разделительные суждения
Разделительные суждения образуются с помощью логического союза
«дизъюнкция». Различают дизъюнкцию простую, которую обозначают V, и
строгую – Ý. Члены дизъюнкции называются альтернативами. В случае
простой дизъюнкции альтернативы в принципе могут не исключать друг друга
(«В обед я смогу съесть или первое блюдо, или второе, или десерт»), а в случае
строгой одна альтернатива должна исключать другую («Приговор может быть
либо обвинительным, либо оправдательным»). Условия истинности простой и
строгой дизъюнкции определяются по следующей таблице:
р q p V q p Ý q
и и и л
и л и и
л и и и
л л л л
Известен и еще один вид разделительного сложного суждения –
антиконъюнкция. Антиконъюнкция – есть логическое отрицание конъюнкции,
и обозначается знаком р│q. Этот союз характерен тем, что он утверждает
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »
