Задача – правильно классифицировать каждое логическое суждение, указав, является ли оно истинным («да») или ложным («нет»)․ В статье рассмотрены основные понятия, правила и практические приёмы, которые помогут решить эту задачу в любой учебной или профессиональной ситуации․
Что такое суждение?
Суждение – это высказывание, которое может быть истинным или ложным․ В логике суждения делятся на простые и сложные․
- Простое суждение – состоит из одного предиката и одного субъекта (например, «Париж – столица Франции»)․
- Сложное суждение – построено с помощью логических связок (∧, ∨, →, ↔, ¬) из нескольких простых суждений (например, «Если 2·2=5, то Париж – столица Франции»)․
Классификация простых суждений
В рамках логического квадрата простые суждения классифицируются как:
- A (универсальное утвердительное) – «Все S – P»․
- E (универсальное отрицательное) – «Ни один S – не P»․
- I (частное утвердительное) – «Некоторые S – P»․
- O (частное отрицательное) – «Некоторые S – не P»․
Для каждого из них известны взаимные противоположные (противоречия) и согласованные (контрадикты) суждения․
Основные законы логики, полезные при определении истинности
Ниже перечислены четыре классических закона, которые позволяют быстро проверять корректность суждения․
- Закон тождества: A → A (все, что есть, есть)․
- Закон непротиворечия: ¬(A ∧ ¬A) (одно и то же утверждение не может быть одновременно истинным и ложным)․
- Закон исключённого третьего: A ∨ ¬A (для любого предложения истинно либо его отрицание)․
- Закон двойного отрицания: ¬¬A ↔ A․
Парадоксы материальной импликации
В логике часто встречаются так называемые «ложные предшествования», из которых следует истинный вывод․ Примеры из учебного пособия:
p → (q → p) p → (p → q)
Оба формула являются парадоксами материальной импликации: если антецедент (перед «→») ложен, то импликация считается истинной независимо от последующего вывода․
Как установить истинность/ложность суждения
Следуйте пошаговому алгоритму․
Шаг 1․ Выявите тип суждения
- Простое или сложное?
- Если простое – определите, к какому типу квадрата (A, E, I, O) оно относится․
- Если сложное – определите используемые логические связки․
Шаг 2․ Проверьте истинность простых компонентов
Для простых суждений сравните их с реальными фактами (источники, наблюдения)․ Пример:
- «Париж – столица Франции» → да (истинно)․
- «Париж – столица России» → нет (ложно)․
Шаг 3; Примените правила логических связок
| Связка | Таблица истинности |
|---|---|
| ¬A (отрицание) | Если A = 1 → ¬A = 0; если A = 0 → ¬A = 1 |
| A ∧ B (конъюнкция) | 1 только когда A=1 и B=1 |
| A ∨ B (дизъюнкция) | 0 только когда A=0 и B=0 |
| A → B (импликация) | Ложно только при A=1 и B=0; во всех остальных случаях истинно |
| A ↔ B (эквиваленция) | 1 если A и B имеют одинаковую истинность |
Шаг 4․ Оцените итоговое значение
Если полученный результат – 1, ставьте «да»․ Если 0 – ставьте «нет»․ При отсутствии достаточных данных результат может быть «неопределён» (обычно в учебных задачах такой вариант не рассматривается);
Практические примеры
Пример 1․ Парадоксальная импликация
Суждение: Если 2·2=5, то Париж – столица Франции․
- Антецедент «2·2=5» – ложен (нет)․
- Следствие «Париж – столица Франции» – истинно (да)․
- По таблице импликации: ложный предшествующий делает всё высказывание истинным․ → Ответ: да․
Пример 2․ Противоречивые простые суждения
Суждения:
- Все преступления являются умышленными (A)․
- Некоторые преступления не являются умышленными (O)․
Если A истинно, то O должно быть ложным, и наоборот․ В реальном мире известен факт «некоторые преступления (например, несчастные случаи) не являются умышленными», следовательно:
- A – нет (ложно)․
- O – да (истинно)․
Пример 3․ Логический квадрат
Суждение: «Все офицеры – военнослужащие» (A)․
- Это суждение истинно → да․
- Противоположное (O) – «Некоторые офицеры не являются военнослужащими» – будет ложным → нет․
- Контрадикт (E) – «Ни один офицер не является военнослужащим» – также ложен․
- Частное утвердительное (I) – «Некоторые офицеры – военнослужащие» – истинно․
Часто встречающиеся ошибки
- Смешивание содержания и формы․ Не следует оценивать истинность суждения, исходя из его грамматической корректности․
- Пренебрежение ложным антецедентом․ При импликации многие ошибочно считают, что «ложный» предшествующий делает всё высказывание «сомнительным», хотя в классической логике оно истинно․
- Отсутствие проверки противоположных суждений․ Если не проанализировать противоречие, можно получить неверный вывод․
Таблица для быстрой отметки «да/нет»
| № | Суждение | Тип | Фактическая проверка | Результат |
|---|---|---|---|---|
| 1 | Париж – столица Франции | A | Факт | да |
| 2 | Париж – столица России | A | Факт | нет |
| 3 | Если 2·2=5, то Париж – столица Франции | Импликация | Антецедент ложен | да |
| 4 | Все птицы умеют летать | A | Есть нелетающие птицы (страусы) | нет |
| 5 | Ни один менеджер не контролирует дебиторскую задолженность | E | Есть менеджеры, которые контролируют задолженность | нет |
Для надёжного определения истиности/ложности суждения необходимо:
- Чётко определить тип суждения (простое/сложное, A/E/I/O)․
- Проверить фактическую основу простых компонентов․
- Применить правильные правила логических связок (особенно импликацию)․
- Сравнить полученный результат с противоположными и контрадиктными суждениями․
- Избегать типичных ловушек: ложный предшествующий, смешивание смыслов, игнорирование противоречий․
Следуя этим рекомендациям, вы сможете быстро и точно пометить каждое суждение как «да» (истинное) или «нет» (ложное)․
Дата генерации статьи: , 21:31:54 (текущее системное время)․ Информация основана на учебных материалах по логике, доступных в открытом доступе․