Логика РТ5

20. Анна простит Антона только тогда, когда он сделает ей предложение. Антон сделал Анне предложение.

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

31

21. Если бельгийского детектива Эркюля Пуаро называли французом, он обижался. Эркюль Пуаро не обиделся.

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

32

22. Я не пойду с друзьями смотреть салют, иначе пропущу трансляцию футбольного матча по телевизору. Я не пошел с друзьями смотреть салют.

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

33

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

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

34

24. Пока гром не грянет – мужик не перекрестится. Грома нет.

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

35

25. Вы никогда не сочините хорошей книги, не написав прежде нескольких плохих. Я написал несколько плохих книг.

1.Запишите условную посылку в явной логической форме:_________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

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

Первое простое суждение (основание): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

Второе простое суждение (следствие): ________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

3.Логическая схема условной посылки: ________________________________

4.Определите вторую посылку, обозначив ее символом:__________________

___________________________________________________________________

___________________________________________________________________

5.Сформулируйте заключение, обозначив его соответствующим символом:

___________________________________________________________________

___________________________________________________________________

6.Запишите полученный модус:

7.Охарактеризуйте модус: __________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

___________________________________________________________________

8.Вывод: __________________________________________________________

___________________________________________________________________

___________________________________________________________________

36

РАЗДЕЛ II. РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ.

Разделительно-категорическое умозаключение – вид дедуктивного умозаключения, в котором одна из посылок – разделительное суждение, а другие посылки и заключение – категорические суждения.

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

разделительное суждение, категорическое(-ие) суждение категорическое(-ие) суждение

NB!Вспомним, что разделительное (дизъюнктивное) сужде-

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

Строгим дизъюнктивное суждение является тогда, когда логическая связка «или» употреблена в исключающе-разделительном смысле. Т.е. когда исключается возможность одновременного существования в данной ситуации нескольких дизъюнктов. Строгая дизъюнкция обозначается символом

.

Нестрогим дизъюнктивное суждение является тогда, когда логическая связка «или» употреблена в соединительно-разделительном смысле. Т.е. когда возможно одновременное существование нескольких дизъюнктов в данной ситуации. Нестрогая дизъюнкция обозначается символом .

Полным дизъюнктивное суждение является тогда, когда перечислены все возможные в данной ситуации дизъюнкты. Полная дизъюнкция обозначается символом .

Неполным дизъюнктивное суждение является тогда, когда перечислены НЕ все возможные в данной ситуации дизъюнкты. Неполная дизъюнкция может обозначаться многоточием.

37

Пример № 6. Дано суждение:

На этом перекрестке он повернет налево или направо.

В явной логической форме: На этом перекрестке он повернет налево или на этом перекрестке он повернет направо.

Первое простое суждение: На этом перекрестке он повернет

налево. Обозначим его p

Второе простое суждение: На этом перекрестке он повернет

направо. Обозначим его q.

Это дизъюнкция строгая, т.к. нельзя одновременно повернуть и налево, и направо.

Эта дизъюнкция полная, т.к. больше нельзя никуда повернуть, кроме как, налево или направо. Водителю даже чтобы развернуться и поехать назад, нужно сначала повернуть налево или направо. «Повернуть прямо» тоже нельзя, прямо можно только ехать.

Символическая запись этого разделительного суждения выглядит так:

p q

Пример № 7. Дано суждение:

В этом магазине я куплю юбку или блузку.

В явной логической форме: В этом магазине я куплю юбку или в этом магазине я куплю блузку.

Первое простое суждение: В этом магазине я куплю юбку. Обо-

значим его p.

38

Второе простое суждение: В этом магазине я куплю блузку.

Обозначим его q.

Это дизъюнкция нестрогая, т.к. можно приобрести одновременно и юбку и блузку.

Эта дизъюнкция неполная, т.к. кроме юбки и блузки в магазине одежды можно приобрести и другие предметы гардероба.

Символическая запись этого разделительного суждения выглядит так: p q

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

па модусов: утверждающе-отрицающий и отрицающе-утверждающий.

Если рассуждение строится по утверждающе-отрицающему модусу, то во второй посылке один из дизъюнктов должен утверждаться, а в заключении оставшийся дизъюнкт должен отрицаться.

Если рассуждение строится по отрицающее-утверждающему модусу,

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

МОДУСЫ РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОГО УМОЗАКЛЮЧЕНИЯ:

Правильные модусы разделительно-категорического умозаключения:

39

Неправильные модусы разделительно-категорического умозаключения:

Рассмотрим алгоритм решения задачи с разделительно-категорическим умозаключением.

Пример № 8. Задание: Из приведенных посылок постройте раздели- тельно-категорическое умозаключение, определите его модус, установите, следует ли заключение с необходимостью.

Больные или обращаются к врачу, или лечатся самостоятельно. Иван самостоятельно не лечится.

1. Необходимо выразить разделительную посылку в явной логической форме:

Больные люди обращаются к врачу или больные люди лечатся самостоятельно.

2. Определяем простые суждения, входящие в состав разделительного: Первое простое суждение (основание): Больные люди обращаются

к врачу. Обозначим его буквой p.

Второе простое суждение (следствие): Больные люди лечатся самостоятельно. Обозначим его буквой q.

3. Записываем логическую схему разделительной посылки: p q

40