Студопедия
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

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

Читайте также:
  1. B. Повышение тонуса ядер ретикулярной формации ствола мозга.
  2. C. Движение информации и ее трансформация от исходной в командную
  3. E) автоформа
  4. E) мировоззренческая, гносеологическая, методологическая.
  5. ERP — информационная система масштаба предприятия
  6. Flash –носители информации
  7. I Крестьянская реформа 1861 г.
  8. I. Биологическая модель
  9. I. Изучите блок теоретической информации: учебник стр. 89-105, конспект лекций № 12-13.
  10. I. Нормативно-правовые документы, регламентирующие деятельность учителя информатики

 

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

 

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

1) Соединительные (конъюнкция)

2) Разделительные (дизъюнкция)

3) Строго-разделительные (строгая дизъюнкция)

4) Услов­ные (импликация)

5) Суждения эквивалентности

6) Отрицательные суждения (отрицание)

 

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

 

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

 

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

1) Соединительное суждение – конъюнкция.

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

 

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

 

А В (А&В)
И И И
И Л Л
Л И Л
Л Л Л

 

2) Разделительное суждение – дизъюнкция.

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

 

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

А В (А\/В)
И И И
И Л И
Л И И
Л Л Л

 

 

3) Строго-разделительное суждение - строгая дизъюнкция.

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

 

 

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

 

А В (А_\/_В)
И И Л
И Л И
Л И И
Л Л Л

 

4) Условное суждение – импликация.

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

 

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

 

А В (А→В)
И И И
И Л Л
Л И И
Л Л И

 

5) Суждение эквивалентности.

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

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

 

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

А В (А=В)
И И И
И Л Л
Л И Л
Л Л И

 

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

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

 

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

 

А А
И Л
Л И

 

 



Дата добавления: 2014-12-15; просмотров: 129 | Поможем написать вашу работу | Нарушение авторских прав


lektsii.net - Лекции.Нет - 2014-2025 год. (0.008 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав