Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
Подписываем
24. Сложные суждения и их виды. Логическая форма сложных суждений.
Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками.
Различают следующие виды сложных суждений:
Истинность таких сложных суждений определяется истинностью составляющих их простых.
25. Семантические таблицы истинности.
Истинность или ложность сложного суждения зависят, во-впервых, от истинности или ложности простых суждений, входящих в его состав, во-вторых, от свойств соответствующих логических союзов. Определяется эта зависимость посредством специальных семантических таблиц.
Ему соответствует союз «И». Логическая форма: (А&В) Суждение будет истинным, если оба его составляющие будут истинной. Если одно из них или оба – ложь, то и суждение будет ложным.
Семантическая таблица для конъюнкции. (и – истина, л – ложь)
|
А |
В |
(А&В) |
|
И |
И |
И |
|
И |
Л |
Л |
|
Л |
И |
Л |
|
Л |
Л |
Л |
Соответствует союз «или». Логическая форма: (А \/ В). Если хотя бы одно из суждений – истина, то суждение истинно..
Семантическая таблица для дизъюнкции.
|
А |
В |
(А\/В) |
|
И |
И |
И |
|
И |
Л |
И |
|
Л |
И |
И |
|
Л |
Л |
Л |
Соответствует союз «либо...,либо…».Логическая форма: ( А _\/_ В )
Предполагает выбор альтернатив, но не обеих вместе.
Семантическая таблица для строгой дизъюнкции.
|
А |
В |
(А_\/_В) |
|
И |
И |
Л |
|
И |
Л |
И |
|
Л |
И |
И |
|
Л |
Л |
Л |
Соответствует союз «Если…, то…». Логическая форма: (А→ В). Первый аргумент импликации (А) называется антецедентом/условием, а второй (В) – консеквентом/следствием. Импликация будет ложной только в том случае, если условие выполнено, а следствие не наступило.
Семантическая таблица для импликации.
|
А |
В |
(А→В) |
|
И |
И |
И |
|
И |
Л |
Л |
|
Л |
И |
И |
|
Л |
Л |
И |
Соответствует союз «….тогда и только тогда, когда….». Логическая форма: (А = В)
Суждение истинно только тогда, когда оба суждения либо истинны, либо оба ложны.
Сематическая таблица для эквивалентности.
|
А |
В |
(А=В) |
|
И |
И |
И |
|
И |
Л |
Л |
|
Л |
И |
Л |
|
Л |
Л |
И |
Соответствуют выражения «не», «наверно, что…». Отрицание действует только на одно суждение, поэтому
Сематическая таблица для отрицания будет выглядеть так:
|
А |
¬А |
|
И |
Л |
|
Л |
И |