Файл: posobie_logika.pdf

масленица” (Пословица).1.30. “И буду тем любезен я народу”

(А.С.Пушкин).

Упражнение 2. Построить суждения A, E, I, O, используя пары фиксированных терминов. Определить логические значения получившихся суждений.

О б р а з е ц: дыня, овощ;

Строим следующие суждения:

А: “Всякая дыня - овощ” – ложное суждение.

Е: “Ни одна дыня – не овощ” – истинное суждение. I: “Некоторые дыни – овощи” – ложное суждение. О: “Некоторые дыни – не овощи” истинное суждение.

2.1.человек, террорист; 2.2. инженер, полковник; 2.3. мебель, стул;

2.4.ворона, черная; 2.5. спица, деревянная; 2.6. стакан, хрусталь; 2.7. голова, чугунная; 2.8. мост, каменный; 2.9. письмо, конверт; 2.10. завещание, покойник; 2.11. больной, диабетик; 2.12. старик, хирург; 2.13. поэт, писатель; 2.14. жук, редактор; 2.15. хронометр, часы; 2.16. носки, обувь; 2.17. шоссе, аэродром; 2.18. дети, старые; 2.19. мужчина, женщина; 2.20. Барбос, кошка; 2.21. мох, плесень; 2.22. бацилла, вирус;

2.23.музыка, скрипка; 2.24. артист, клоун; 2.25. шайба, гайка; 2.26. со-

звездие, Козерог; 2.27. эстамп, картина; 2.28. дно, покрышка; 2.29. ермолка, цилиндр; 2.30. хлеб, квас.

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

5

1 3

2

4

О б р а з е ц: 1 - “художник”. Используем понятия: 2 - “портретист”, 3 - “калека”, 4 - “слепой”, 5 - “человек”. Возможные простые и сложные выделяющие суждения:

1.Некоторые художники и только они - портретисты. (Iвыд.)

2.Все портретисты - художники. (А)

3.Некоторые художники - калеки. (I)

4.Некоторые калеки - художники. (I)

48

5.Некоторые художники - не калеки. (О)

6.Некоторые калеки - не художники. (О)

7.Ни один художник не слепой.(Е)

8.Ни один слепой не художник.(Е)

9.Все художники - люди. (А)

10.Некоторые люди и только они - художники. (Iвыд.)

3.1. курица; 3.2. домашняя птица; 3.3. жилище; 3.4. учреждение; 3.5. магазин; 3.6. наука; 3.7. спортсмен; 3.8. начальник; 3.9. офицер; 3.10. министр; 3.11. больной; 3.12. животное; 3.13. цветок; 3.14. злак; 3.15. корова; 3.16. валюта; 3.17. банк; 3.18. регион; 3.19. вампир; 3.20. музыкальный инструмент; 3.21. произведение искусства; 3.22. поэт; 3.23. писатель; 3.24. пьяница; 3.25. игрок; 3.26. слон; 3.27. печатный орган;

3.28.провокатор; 3.29. пророк; 3.30. моряк.

2.4.Сложные суждения.

Сложные суждения состоят из двух или более простых суждений, соединенных друг с другом особыми логическими связками:

конъюнкцией - “&” (читается как “...и...”);

(слабой) дизъюнкцией - ““ (читается как “...или...”);

сильной дизъюнкцией - ““ ( читается как “либо..., либо...”);

импликацией - ““ (читается как “если..., то...”);

эквиваленцией или двойной импликацией - ““ (читается как “если..., то... и обратно”);

связкой Нико (или стрелкой Пирса) - “ “ (читается как “ни..., ни...”) и др..

Используется также

символ отрицания ““ (читается как “неверно, что...”). Логические связки взаимовыразимы, и потому существует мини-

мальный их набор, при помощи которого можно записать любое сложное суждение, например, (, ,,). Логическое значение сложного

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

например, “Иванов и Петров - студенты”. Таблица истинности:

49

например, “Ни Александр и ни Алексей не дворники”. Таблица истинности:

2.1. Разделительно-соединительное суждение или слабая дизъ-

например, “Сидоров или Федоров участвовали в этой конференции”.

Таблица истинности:

2.2. Строго-разделительное суждение или сильная дизъюнкция

например, “Васильев либо богат, либо беден”. Таблица истинности:

50

Примечание: суждения p и q, входящие в строго разделительное суждение, именуются альтернативами.

3.1. Условное суждение или импликация -

pq, (45) например, “Если Кузнецов окончил ВУЗ, то он имеет высшее образование”. Таблица истинности:

Примечание: суждение p, входящее в условное суждение, именуется

антецендентом, а суждение q – консеквентом.

3.2. Эквивалентное суждение или двойная импликация -

pq, (46) например, “Если Макаров отец, то он родитель, и обратно: если Макаров родитель, то он отец”. Таблица истинности:

Контрольная работа №10.

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

51