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

Добавлена: 30.04.2026
Обновлена: 30.04.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Критическая логика

Условие:

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

Все студенты нашей группы готовились к экзамену по логике. Ни один студент из нашей группы не готовился к экзамену по логике.

Некоторые деревья являются высокими. Некоторые деревья из-за недостатка питательных веществ в почве не являются высокими.

Большая часть машин находилась на железнодорожной платформе. На железнодорожной платформе не осталось ни одной машины.

Следователь был на месте преступления. Следователя не было на месте преступления.

Преступники не могли проникнуть в магазин через отверстие в стене, которое они сделали путем пролома. Преступники проникли в магазин через отверстие в стене.

Решение:

Закон противоречия (или закон непротиворечия) — один из трёх классических законов формальной логики. Он утверждает, что два противоречащих суждения не могут быть одновременно истинными.

Формально закон формулируется так: $\neg (A \land \neg A)$ (Неверно, что $A$ и не- $A$ истинны одновременно).

Два суждения являются противоречащими (контрадикторными), если одно из них является отрицанием другого. В этом случае они не могут быть одновременно истинными, но могут быть одновременно ложными.

Рассмотрим каждую пару суждений.