Лекция_3_Высказывание

1. Лекция 3. Высказывание

2.

3. Высказывание как форма мышления

ТЕРМИНЫ ВЫСКАЗЫВАНИЯ
СУБЪЕКТ (S)
СВЯЗКА (-)
ПРЕДИКАТ (P)

4.

5.

6.

ВЫСКАЗЫВАНИЕ
ПРОСТОЕ
СЛОЖНОЕ

7.

ВИДЫ ПРОСТЫХ
ВЫСКАЗЫВАНИЙ
ВЫСКАЗЫВАНИЯ
СВОЙСТВА
(атрибутивные)
ВЫСКАЗЫВАНИЯ С
ОТНОШЕНИЯМИ
ВЫСКАЗЫВАНИЯ
СУЩЕСТВОВАНИЯ
(экзистенциальные)

8. Деление суждений по качеству и количеству

ПО КАЧЕСТВУ
УТВЕРДИТЕЛЬНЫЕ
ОТРИЦАТЕЛЬНЫЕ

9. Деление высказываний по качеству и количеству

ПО КОЛИЧЕСТВУ
ЕДИНИЧНЫЕ
ОБЩИЕ
ЧАСТНЫЕ

10. Объединённая классификация высказываний

11. Объединённая классификация высказываний

ТИПЫ
ОБЩЕУТВЕРДИТЕЛЬНЫЕ («Все S есть P»)
ОБЩЕОТРИЦАТЕЛЬНЫЕ («Ни одно S не есть P»)
ЧАСТНОУТВЕРДИТЕЛЬНЫЕ («Некоторые S есть P»)
ЧАСТНООТРИЦАТЕЛЬНЫЕ («Некоторые S не есть P»)

12. Объединённая классификация высказываний

13. Распределённость терминов в высказываниях

14. Распределённость терминов в высказываниях

15. Распределённость терминов в суждениях

S
P
A
+
-
E
+
+
I
-
-
O
-
+

16.

17.

ВЫСКАЗЫВАНИЯ
НЕСРАВНИМЫЕ
СРАВНИМЫЕ
СОВМЕСТИМЫЕ
1.
2.
3.
4.
Полная совместимость
Частичная совместимость
Логическое следование
Логическое сцепление
НЕСОВМЕСТИМЫЕ
1. Противоречие
2. Противоположность

18.

19.

20.

21. Логический квадрат

22.

23. Сложные высказывания

24. Сложные суждения

ВИДЫ ЛОГИЧЕСКИХ СВЯЗОК
КОНЪЮНКЦИЯ
ДИЗЪЮНКЦИЯ
ОТРИЦАНИЕ
ЭКВИВАЛЕНЦИЯ
ИМПЛИКАЦИЯ

25. Сложные высказывания

Логическая связка
Наименование
Обозначение
и
конъюнкция
Λ
или
дизъюнкция
V
если … то
импликация
→
если и только если
эквиваленция
↔
не
отрицание
¬

26.

Высказывания
(по типу логических
отношений)
Соединительные
(конъюнктивные)
Разделительные
(дизъюнктивные)
Условные
(импликативные)