Упражнение 2. Сделайте вывод (если это возможно) путем обращения, составьте схему вывода

Пример:

(А) все студенты нашей группы (S+) являются успевающими (Р-).

(I) Некоторые успевающие (Р-) – студенты нашей группы (S+).

Схема вывода: Все S есть Р.

Некоторые Р есть S.

1. Работники полиции принимают присягу.

2. Некоторые студенты БГУ первокурсники.

3. Ни один невиновный не должен быть привлечен к уголовной ответственности.

Упражнение 3. Проверьте правильность обращения. Если обращение неправильно, сделайте правильный вывод.

1. Все студенты юридических вузов изучают логику.

Все изучающие логику - студенты юридических вузов.

2. Ни один студент нашей группы не является неуспевающим.

Ни один неуспевающий не является студентом нашей группы.

Тема 8. Умозаключения по логическому квадрату

Опираясь на логический квадрат, можно строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения в зависимости от свойств отношений.

Отношение противоречия (контрадикторности): A – O, E – I.

Эти суждения не могут быть одновременно ни истинными, ни ложными. Из истинности одного суждения следует ложность другого суждения, из ложности одного — истинность другого. Выводы строятся по схемам: А_и → О_л; А_л → Ои; Е_и → I_л; Е_л → I_и.

Отношение противоположности (контрарности): А — Е.

Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из истинности одного суждения следует ложность другого, но из ложности одного из них может следовать как истинность, так и ложность другого суждения. Вывод строится по схемам: А_и → Е_л; Е_и → А_л; А_л → Е_?; Е_л → А_?.

Отношение частичной совместимости (субконтрарности): I - О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого. Выводы строятся по схемам: I_л→О_и; О_л → I_и; I_и → О_?; О_и → I_?.

Отношение подчинения: А — I, Е — О.

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

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