Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?


Категории:

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






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

⇐ ПредыдущаяСтр 8 из 8




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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

А А
И Л
Л И

 

⇐ Предыдущая12345678

Date: 2016-05-15; view: 972; Нарушение авторских прав; Помощь в написании работы --> СЮДА...


mydocx.ru - 2015-2024 year. (0.007 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию