 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Сложные суждения
|
|
Суждения, состоящие более чем из одногo простогo суждения, называются сложными.
Сложные суждения, образованные посредством связи двух или нeскольких прocтых суждений логическим союзом «и», называются соединительными (конъюнктивными). Логический союз «и» и равнозначные ему слова и союзы обозначаются знаком «Ù». Например, «на улице холодно и идет дождь».
Зависимость истинности конъюнктивного суждения от истинности исходных суждений можно изобразить в виде следующей таблицы:
| А | В | А Ù В |
где 1 - значение «истинно»,
0 - значение «ложно».
Сложные суждения, образованные посредством связи двух или нeскольких простых суждений логическим союзом «или», называются разделительными или (дизъюнктивными). Например, «истец вправе увеличить или уменьшить размер исковых требований». Дизъюнктивная связь выражается также словами «либо», «а также», «равно» и т.п.
Простая дизъюнкция: возможные мыслимые признаки предметов не исключают друг друга. Строгая дизъюнкция: возможные мыслимые признаки предметов исключают друг друга. Дизъюнкция обозначается знаком «Ú».
Таблица истинности для дизъюнкции:
Простая дизъюнкция:
| А | В | А Ú В |
Строгая дизъюнкция:
| А | В | А Ú В |
Сложные суждения, образованные посредством связи нeскольких простых суждений с помощью союза «если… то», называются условными или импликативными. Импликация обозначается знаком «®».Например: «если на улице идет дождь, то асфальт мокрый».
Таблица истинности для импликации:
| А | В | А®В |
Сложные суждения, связанные между собой с помощью союзов «если только, если», «тогда и только тогда» и т.п., называются суждениями тождества или эквивалентности. Обозначается данный логический союз с помощью знака «º»
Таблица истинности для суждений тождества или эквивалентности:
Дата публикования: 2014-11-02; Прочитано: 604 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
