Логические суждения

Отношения между суждениями по истинности наглядно выражаются с помощью логического квадрата.Совместимы те суждения, которые содержат одну и ту же мысль.В отношении между совместимыми суждениями невозможно, чтобы одно было истинным, а другое - ложным.Суждение Некоторые звезды мерцают - истинно; суждение Ни одна звезда не мерцае - ложно.Суждение Все люди не являются мышами - истинно, а суждение Некоторые люди являются мышами - ложно.В любом суждении каждый термин является распределенным или нераспределенным.Суждения Е, I и суждения А, О связаны отношением противоречия.Снова для решения задачи применим логический квадрат.Так как суждения О и А связаны отношением противоречия то если О - истинно, то А - ложно.Так как суждения I и Е связаны отношением противоречия то если I - ложно, то Е - истинно.