close

Вход

Забыли?

вход по аккаунту

?

5. Отношения между суждениями

код для вставкиСкачать
ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ
План:
1.
Отношения между простыми суждениями.
2.
Отношения между сложными суждениями.
Логика
Отношения между суждениями
Литература:
1.
Брюшинкин В.Н. Логика: Учебник. –
3
-
е изд. –
М.: Гардарики, 2001. С. 152
-
181. 2.
Электронный словарь по логике на портале RATIO
: http://ratio.albertina.ru/dict/logic/
Логика
Отношения между суждениями
1.
ОТНОШЕНИЯ МЕЖДУ ПРОСТЫМИ СУЖДЕНИЯМИ
Логика
Отношения между суждениями
Произвольные категорические суждения С и В:
•
субъект и предикат выражены различными понятиями,
•
не являются ни логически истинными, ни логически ложными. Логика
Отношения между суждениями
Отношения между простыми суждениями
Суждения С и В назовем сравнимыми
, если их термины совпадают с точностью до перестановки.
Суждения С и В назовем несравнимыми
, если в суждении В встречается хотя бы один термин, не входящий в С.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Пример
Сравнимы:
•
"Все студенты являются веселыми людьми"
•
"Все веселые люди являются студентами".
Несравнимы:
•
"Все студенты являются веселыми людьми"
•
"Все студенты являются находчивыми людьми".
Логика
Отношения между суждениями
Отношения между простыми суждениями
Категорические суждения
Сравнимые
Несравнимые
Логика
Отношения между суждениями
Отношения между простыми суждениями
Сравнимые суждения
Совместимые
Несовместимые
Логика
Отношения между суждениями
Отношения между простыми суждениями
Сравнимые суждения С и В назовем совместимыми
, если они могут быть вместе истинными.
Сравнимые суждения С и В назовем несовместимыми
, если они не могут быть вместе истинными.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Пример
Совместимы:
•
"Все великие люди являются людьми низкого роста"
•
"Некоторые великие люди являются людьми низкого роста".
Несовместимы: •
"Все великие люди низкого роста"
•
"Некоторые великие люди не являются людьми низкого роста". Логика
Отношения между суждениями
А
п
о
д
ч
и
н
е
и
е
I
E
п
о
д
ч
и
н
е
и
е
O
противоположность
дополнительность
Логический квадрат:
Логика
Отношения между суждениями
Отношения между простыми суждениями
ОТНОШЕНИЯ СОВМЕСТИМОСТИ
1. Подчинение
-
«
├
»
Суждения В
и С
находятся в отношении подчинения
, если не может быть так, что В
истинно, а С
–
ложно.
Логика
Отношения между суждениями
Отношения между простыми суждениями
А├ I
Е├ О
А(Е) -
подчиняющее суждение.
I (О) -
подчиненное суждение.
Логика
Отношения между суждениями
Отношения между простыми суждениями
а)
Истинность
подчиняющего
обуславливает
истинность
подчиненного
.
Пример: Если
"
Все великие люди низкого роста
" (А)
истинно, то истинно и суждение "
Некоторые великие люди низкого роста
" (I).
Логика
Отношения между суждениями
Отношения между простыми суждениями
б)
Ложность
подчиненного
обуславливает
ложность
подчиняющего
.
Пример: Если "
Некоторые эпузы
гантируются
" (I)
ложно,
то "
Все эпузы
гантируются
" (A) ложно.
Логика
Отношения между суждениями
Отношения между простыми суждениями
в)
Подчиняющее
и
подчиненное
суждения
могут
быть
вместе
ложны
.
Пример: "
Ни один человек не является смертным
" (E) и
"
Некоторые люди не являются смертными
" (O)
одновременно ложны.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Характеризует отношения между I и O
2. Дополнительность
Суждения находятся в отношении дополнительности
, если они не могут быть вместе ложными.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Суждения в отношении дополнительности
:
•
могут быть вместе истинными;
•
одно из них может быть истинным, а другое –
ложным.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Пример
•
"Некоторые студенты являются веселыми людьми"
(
I) и •
"Некоторые студенты не являются веселыми людьми"
(O)
. Если I ложно, то О истинно.
Если О ложно, то I истинно.
Логика
Отношения между суждениями
Отношения между простыми суждениями
ОТНОШЕНИЯ НЕСОВМЕСТИМОСТИ
1. Противоречие
Суждения находятся в отношении противоречия
, если они не могут быть ни вместе истинны, ни вместе ложны.
Характеризует отношения между А
и O
, Е и I
Логика
Отношения между суждениями
Отношения между простыми суждениями
Пример
•
"Все студенты трудолюбивы"
и •
"Некоторые студенты не являются
трудолюбивыми"
.
Если А (Е) истинно
, то О (I) ложно
.
Если А (Е) ложно
, то О (I) истинно
.
Если О (I) истинно
, то А (Е) ложно
.
Если О (I) ложно
, то А (Е) истинно
.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Характеризует отношения между А
и Е
2. Противоположность
Суждения А и В находятся в отношении противоположности
, если они не могут быть вместе истинными.
Логика
Отношения между суждениями
Отношения между простыми суждениями
Пример
•
"Все студенты трудолюбивы"
и •
"Ни один студент не является
трудолюбивым"
.
Если А истинно, то Е ложно
.
Если Е истинно, то А ложно.
p
q
r
q
̄
p q
̄
p
̄
p
̄
r
И
И
И
И
Л
Л
Л
Л
И
И
Л
Л
И
И
Л
Л
И
Л
И
Л
И
Л
И
Л
Л
Л
И
И
Л
Л
И
И
И
И
И
И
Л
Л
И
И
Л
Л
Л
Л
И
И
И
И
Л
Л
Л
Л
И
Л
И
Л
2.
ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ
Логика
Отношения между суждениями
Совместная таблица истинности
p q
̄
и
p
̄
r
Логика
Отношения между суждениями
Отношения между сложными суждениями
Сложные суждения А и В назовем несравнимыми
, если в совместно построенной для них таблице среди сочетаний их истинностных значений встречаются все возможные комбинации.
Пример: суждения
p q
̄
и p
̄
r
несравнимы.
Логика
Отношения между суждениями
Отношения между сложными суждениями
Сложные суждения А и В назовем сравнимыми
, если в совместной таблице среди сочетаний их истинностных значений отсутствует хотя бы одна возможная комбинация.
Пример: суждения
p ®
и p
̄
q
сравнимы Логика
Отношения между суждениями
Совместимыми
назовем суждения, одновременно истинные или принимающие во всех строках таблицы одни и те же значения.
Несовместимыми
назовем суждения, которые не являются одновременно истинными и не принимают во всех строках таблицы одни и те же значения.
Отношения между сложными суждениями
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А
и В
одновременно истинны
(
ложны
), если они принимают значения И (Л) в одной и той же строке, построенной для них совместно таблицы.
Логика
Отношения между суждениями
Отношения между сложными суждениями
Совместимость
Эквивалентность
Логическое следование ОТНОШЕНИЕ СОВМЕСТИМОСТИ
Дополнительность
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А и В называются эквивалентными
, если они принимают одно и то же значение во всех строках построенной для них совместно таблицы.
1. Эквивалентность
А~В
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
p
̄
q
̄
p
̄
q
̄
p И
И
Л
Л
И
Л
И
Л
Л
Л
И
И
Л
И
Л
И
Л
И
И
И
Л
И
И
И
Логика
Отношения между суждениями
Отношения между сложными суждениями
Все логически истинные (и, соответственно, логические ложные) суждения эквивалентны друг другу.
A B
̄
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А и В назовем дополнительными
, если в построенной для них совместно таблице не встречается комбинация значений (Л Л), но встречаются все остальные возможные комбинации их значений.
2. Дополнительность
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
p
p
→
q
И
И
Л
Л
И
Л
И
Л
И
И
Л
Л
И
Л
И
И
Пример: c
уждения
p
и
p
→
q
находятся в отношении дополнительности
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А
и В
находятся в отношении логического следования
, если не может быть так, чтобы первое суждение было истинно, а второе –
ложно.
3. Отношение логического следования
А╞ В
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
p
̄ q
p
̄ ®
q
И
И
Л
Л
И
Л
И
Л
Л
Л
И
Л
И
И
И
Л
p
̄ q ╞
p
̄ ®
q
Логика
Отношения между суждениями
Отношения между сложными суждениями
Посылки и заключение правильных дедуктивных умозаключений находятся в отношении логического следования.
Логика
Отношения между суждениями
Отношения между сложными суждениями
Несовместимость
Противоречие
Противоположность
ОТНОШЕНИЕ НЕСОВМЕСТИМОСТИ
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А и В находятся в отношении противоречия
, если они не могут быть ни вместе истинными, ни вместе ложными.
1. Противоречие
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
p
̄
q
̄
p
̄ q
̄
p И
И
Л
Л
И
Л
И
Л
Л
Л
И
И
Л
И
Л
И
Л
И
И
И
И
Л
Л
Л
Пример: суждения p
̄ q
̄ и
p находятся в отношении противоречия
Логика
Отношения между суждениями
Отношения между сложными суждениями
Каждое логически истинное суждение находится в отношении противоречия к каждому логически ложному.
Логика
Отношения между суждениями
Отношения между сложными суждениями
Суждения А
и В
находятся в отношении противоположности
, если в построенной для них совместно таблице не встречается комбинации значений (И И), но встречаются все остальные возможные комбинации.
2. Противоположность
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
p
̄
q
̄
p
̄ q
̄
p И
И
Л
Л
И
Л
И
Л
Л
Л
И
И
Л
И
Л
И
Л
Л
Л
И
И
И
И
Л
Пример: суждения p
̄ q
̄ и
p находятся в отношении противоположности
Логика
Отношения между суждениями
Отношения между сложными суждениями
p
q
И
И
Л
Л
И
Л
И
Л
Л
Л
И
И
Л
И
Л
И
Л
Л
Л
И
И
И
И
Л
Пример: суждения
и
находятся в отношении противоположности
Автор
sdo_logic
Документ
Категория
Образовательные
Просмотров
1 549
Размер файла
534 Кб
Теги
логика, суждение
1/--страниц
Пожаловаться на содержимое документа