Суждение — различия между версиями
м |
м |
||
Строка 47: | Строка 47: | ||
* Знак '''"+"''' означает, что термин распределён. | * Знак '''"+"''' означает, что термин распределён. | ||
* Знак '''"-"''' означает, что термин не распределён. | * Знак '''"-"''' означает, что термин не распределён. | ||
− | == Другие понятия: == | + | == [[Логические понятия|Другие понятия:]] == |
{{Список ЛП}} | {{Список ЛП}} | ||
== Ссылки == | == Ссылки == |
Версия 05:35, 23 февраля 2018
Суждение — это форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Содержание
- 1 Виды суждений
- 2 Состав простого суждения
- 3 Классификация простых суждений
- 4 Виды простых категорических суждений
- 5 Структурные схемы
- 6 Другие понятия:
- 7 Логический закон
- 8 Логические функции:
- 9 Нормальные формы:
- 10 Таблица истинности
- 11 Карта Карно
- 12 Трёхмерная карта Карно
- 13 Предикат
- 14 Секвенции
- 15 Суждение
- 16 Умозаключения:
- 17 Диаграммы:
- 18 Ссылки
Виды суждений
- простые суждения;
- сложные суждения.
Простые суждения — суждения, составными частями которых являются понятия (термины). Простое суждение можно разложить только на понятия.
Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
Состав простого суждения
В простое суждение входят понятия (термины):
- субъект суждения (S);
- предикат суждения (P);
- логическая связка;
- квантор.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор — указывает, относится ли суждение ко всему объёму понятия.
Классификация простых суждений
- по качеству:
- утвердительное — суждения, которые утверждают что-либо;
- отрицательное — суждения, которые отрицают что-либо;
- по объёму:
- общие — суждения, которые справедливы относительно всего объёма понятия;
- частные — суждения, которые справедливы относительно части объёма понятия;
- по отношению:
- категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах, безусловное суждение;
- условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием.
Для условных суждений:
- основание — это (предыдущее) суждение, которое содержит условие.
- следствие — это (последующее) суждение, которое содержит следствие.
Простое категорическое суждение - это суждение, в котором мысль утверждается или отрицается вполне определённо, без всяких условий, и которое имеют субъектно-предикатную структуру.
Виды простых категорических суждений
- A — общеутвердительное;
- E — общеотрицательное;
- I — частноутвердительное;
- O — частноотрицательное.
Структурные схемы
- Знак "+" означает, что термин распределён.
- Знак "-" означает, что термин не распределён.
Другие понятия:
Логический закон
Логические функции:
отрицание
дизъюнкция
конъюнкция
разделительная дизъюнкция
импликация
обратная импликация
эквиваленция
стрелка Пирса
штрих Шеффера
полином Жегалкина
Нормальные формы:
совершенная дизъюнктивная нормальная форма
совершенная конъюнктивная нормальная форма
минимальная дизъюнктивная нормальная форма
минимальная конъюнктивная нормальная форма
алгебраическая нормальная форма
Таблица истинности
Карта Карно
Трёхмерная карта Карно
Предикат
Секвенции
Суждение
Умозаключения:
превращение
обращение
противопоставление предикату
противопоставление субъекту
чисто условные умозаключения
силлогизм
условно-категорические умозаключения
разделительно-категорические умозаключения
эквивалентно-категорические умозаключения
Диаграммы:
диаграмма Венна
диаграмма Эйлера
Ссылки
- Википедия
- Участник:Logic-samara