12. Сформулюйте ті висловлювання, які випливають з відношень s I p, зображених на поданих нижче діаграмах Ейлера:

P S – адвокати S – істина

P – юристи P – хиба

S – домашні тварини S – коло

P – собаки P – ромб

S – жінки S- математики

P – лікарі P- логіки

S – педагоги S – юристи

P – чоловіки P – політики

13. Які категоричні судження може виражати кожна з приведених діаграм Ейлера?

А – квадрат А – філолог

В – правильний В – романо-

чотирикутник германець

А – ромб

В – прямокутник

14. Скільки і яких категоричних висловлювань необхідно, щоб точно виразити зображені на діаграмах Ейлера відношення трьох термінів? Сформулюйте їх:

А – викладач А – депутат

В – доцент В – юрист

С – професор С – міністр юстиції

15. Використавши діаграми Ейлера, які зображають п'ять логічно можливих способів зв' язку двох не порожніх множин (див. вправу 12), визначте:

а) якщо А(SP), то які ДВА взаємно виключаючі способи зв' язку між S та P?

б) якщо І(SP), то які ЧОТИРИ взаємно виключаючі способи зв' язку між S та P ?

в) якщо О(SP), то які ТРИ взаємно виключаючі способи зв' язку між S та P?

г) якщо Е(SP), то як зв' язані S i P?

16. Наведені категоричні висловлювання сформулюйте у вигляді умовних висловлювань:

а) вертикальні кути є рівними;

б) незнання не є аргументом;

в) сума внутрішніх сторін трикутника дорівнює 2d;

г) А є наслідком В.

17. Виразіть теореми у вигляді категоричних висловлювань:

а) якщо багатокутник правильний, то навкруг нього можна описати коло;

б) якщо дві прямі перпендикулярні до однієї і тої площини, то вони паралельні;

в) якщо два кути суміжні, то їх сума дорівнює 2d;

г) якщо фігура є прямокутником, то її діагоналі рівні.

18. Виходячи з діаграм Ейлера, які зображують п’ ять логічно можливих способів зв’ язку двох непорожніх множин, покажіть, що за визначенням:

а) Е (SP) і І (SP) – кондрадикторн (і \ х – несумісні);

б) А (SP) і Е (SP) – контрарні (і – несумісні);

в) І (SP) і О (SP) – субконтрарні (х – несумісні).

ЛІТЕРАТУРА

А.Основна

1. Гетманова А.Д. Логика. – М., 1995 . – С. 60-69.

2. Жеребкін В.Є. Логіка . – Х., 1999. – С.62–85.

3. Кириллов В. И., Старченко А.А. Логика – М., 1995. – С. 63–106.

4. Конверський А.Є. Логіка. – К., 1998. – С. 170–192.

5. Иванов Е.А. Логика . – 1996 – С. 104–137.

6. Свинцов В.И. Логика. – М., 1998. – С. 80–101.

Б. Додаткова

1. Ивин А.А.Искусство правильно мыслить. – М., 1990. – С. 154–209.

2. Карнап Р.Значение и необходимость. – М., 1968. – С. 97–102.

3. Кондаков Н.И.Логический словарь-справочник. – М., 1975. – Статті: высказывание, единичное суждение, категорическое суждение, логический квадрат, необходимости суждения, общеотрицательное суждение, общеутвердительное суждение, отношение между суждениями, простое суждение, сложное суждение, частноотрицательное суждение, частноутвердительное суждение.

4. Логические методы и формы научного познания. – К., 1984. – С. 200.

5. Мельников В.Н. Логические задачи. – Киев-Одесса, 1989. – С. 117–126.

6. Свинцов В.И. Смысловой анализ и обработка текста. – М., 1979 – 272 с.