У вас вопросы?
У нас ответы:) SamZan.net

разделительные строгая дизъюнкцияЛогическая форма АvВ Условные импликацияЛогическая форма АВ

Работа добавлена на сайт samzan.net: 2015-07-05

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 6.4.2025

24. Сложные суждения и их виды. Логическая форма сложных суждений.

Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками.

Различают следующие виды сложных суждений:

  1.  Соединительные (конъюнкция) Логическая форма (А&В)
  2.  Разделительные (дизъюнкция) Логическая форма (АvВ)
  3.  Строго-разделительные (строгая дизъюнкция)Логическая форма (АvВ)
  4.  Условные (импликация)Логическая форма (А→В)
  5.  Суждения эквивалентности Логическая форма (А=В)
  6.  Отрицательные суждения (отрицание)Логическая форма ⌐

Истинность таких сложных суждений определяется истинностью составляющих их простых.

25. Семантические таблицы истинности.

Истинность или ложность сложного суждения зависят, во-впервых, от истинности или ложности простых суждений, входящих в его состав, во-вторых, от свойств соответствующих логических союзов. Определяется эта зависимость посредством специальных семантических таблиц.

  1.  Соединительное суждение – конъюнкция. Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и».

Ему соответствует союз «И». Логическая форма: (А&В) Суждение будет истинным, если оба его составляющие будут истинной. Если одно из них или оба – ложь, то и суждение будет ложным.

           Семантическая таблица для конъюнкции. (и – истина, л – ложь)

А

В

(А&В)

И

И

И

И

Л

Л

Л

И

Л

Л

Л

Л

  1.  Разделительное суждение – дизъюнкция. Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или».

Соответствует союз «или».  Логическая форма: (А \/ В). Если хотя бы одно из суждений – истина, то суждение истинно..

Семантическая таблица для дизъюнкции.

А

В

\/В)

И

И

И

И

Л

И

Л

И

И

Л

Л

Л

  1.  Строго-разделительное суждение  - строгая дизъюнкция. Строгая дизъюнкция суждение, в котором связка «или» употребляется в разделительном значении (символ V ).

Соответствует союз «либо...,либо…».Логическая форма: ( А _\/_ В )
Предполагает выбор альтернатив, но не обеих вместе.

Семантическая таблица для строгой дизъюнкции.

А

В

_\/_В)

И

И

Л

И

Л

И

Л

И

И

Л

Л

Л

  1.  Условное суждение – импликация. Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...».

Соответствует союз «Если…, то…». Логическая форма: (А В). Первый аргумент импликации (А) называется антецедентом/условием, а второй (В) – консеквентом/следствием. Импликация будет ложной только в том случае, если условие выполнено, а следствие не наступило.

Семантическая таблица для импликации.

А

В

В)

И

И

И

И

Л

Л

Л

И

И

Л

Л

И

  1.  Суждение эквивалентности. Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если..., то...».

Соответствует союз «….тогда и только тогда, когда….». Логическая форма: (А = В)

Суждение истинно только тогда, когда оба суждения либо истинны, либо оба ложны.

Сематическая таблица для эквивалентности.

А

В

(А=В)

И

И

И

И

Л

Л

Л

И

Л

Л

Л

И

  1.  Отрицательные суждения.

Соответствуют выражения «не», «наверно, что…». Отрицание действует только на одно суждение, поэтому

Сематическая таблица для отрицания будет выглядеть так:

А

¬А

И

Л

Л

И




1. Регулировка массы тела в процессе спортивной тренировки
2. тема сил не лежащих в одной плоскости Для решения задач статики потребуются понятия проекции силы на ось
3. . Утвердить прилагаемые Межотраслевые правила по охране труда при эксплуатации газового хозяйства организа
4. Доклад губернатора Юрия Берга по итогам работы областного Правительства за 2012 год
5. вариантов научной и научнометодической разработки новой для российских вузов учебной дисциплины
6. Логическое проектирование преобразование концептуалного представления в логическую структуру базы д.html
7.  Обслуживание управление воздушного движения включает диспетчерское обслуживание управление возд
8. ГАРАНТ-КАЧЕСТВА г
9. Толвуйская средняя образовательная школа Сегодня в выпуске- Вести Переменка Выпуск2014
10. Тема- Операции с файлами и папками