Занятие 4-5

1. Табличный метод проверки умозаключений.

У п р а ж н е н и я:

1. Осуществить табличным методом проверку умозаключений:

а) Если N хороший адвокат, то он выиграет это дело. Поскольку N выиграл это дело, он хороший адвокат.

б) Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других. Этот человек говорит неправду, но явно не заблуж­дается. Следовательно, он сознательно вводит в заблуждение других.

в) Ребенок болен или переутомлен. Если у него повышена температура, то он болен. Но температура не повышена. Значит, он переутомлен.

г) Если человек удовлетворен работой и счастлив в семейной жизни, то у него нет причин жаловаться на судьбу. У этого человека есть причина жаловаться на судьбу. Значит, он либо удовлетворен работой, но не счастлив в семейной жизни, либо счастлив в семейной жизни, но не удовлетворен работой.

д) Если человек принял какое-то решение и он правильно воспитан, то он преодолеет все конкурирующие желания. Человек принял решение, но не преодолел некоторых конкурирующих желаний. Следовательно, он неправильно воспитан.

2. Проверить рассуждения сокращенным методом:

а) Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал Смита этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс лжет. Следовательно, Смит был убийцей.

б) На МПФ ВАВТ учатся способные или прилежные студенты. Если студенты, обучающиеся на МПФ ВАВТ, прилежны, то они регулярно занимаются. Значит, если студенты МПФ ВАВТ не занимаются регулярно, то они способны.

в) Если открывается дверь хранилища, то зажигается сигнальная лампа у дежурного или звенит звонок. Дверь хранилища открывалась, но сигнальная лампа не зажглась. Значит, звенел звонок.

г) Если у студента есть академическая задолженность, то он не получает стипендию. Если у него нет задолженности, то он получает стипендию. Значит, он получает стипендию тогда и только тогда, когда у него нет задолженности.

Л и т е р а т у р а:

1. Ивлев Ю.В. Логика для юристов. - М., 1996, с. 28, 47-57, 77-95.

2. Кириллов В.И., Старченко А.А. Логика. Учебник для юридических институтов и факультетов. - М. 1992 с, 162-173.

3. Ивлев Ю.В. Логика. Сборник упражнений. - М., 1998, с. 77-92

4. Бочаров В.А., Маркин В.И. Основы логики. - М., 1994, с. 51-56.

6. Кузина Е.Б. Логика в кратком изложении и упражнениях. - М., 2000

Занятие 6.

1.Условия истинности и ложности категорических высказываний.

2. Логические отношения между категорическими высказываниями.

У п р а ж н е н и я:

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

а) Среди студентов имеются неуспевающие.

б) Признаком горения служит наличие пламени.

в) Ни один студент не сильнее какого-нибудь спортсмена.

г) Существуют люди, не доверяющие никому.

2. Определить, в каких логических отношениях находятся следующие высказывания:

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

Всякий студент нашей группы - отличник.

б) Некоторые спортсмены не являются олимпийскими чемпионами.

Некоторые спортсмены являются олимпийскими чемпионами.

в) Неверно, что каждый из них знает Мэри в лицо.

Каждый из них не знает Мэри в лицо.

г) Среди юристов имеются адвокаты.

Все юристы адвокаты.

3. Среди перечисленных высказываний найдите эквивалентные и противоречащие друг другу:

Не все студенты мечтают об аспирантуре.

Некоторые студенты и не мечтают об аспирантуре.

Все кошки четырехлапые.

Четырехлапой является не всякая кошка.

Некоторые кошки не четырехлапы.

Не верно, что никто из студентов не мечтает об аспирантуре.

Каждый студент мечтает об аспирантуре.

Никто из студентов не мечтает об аспирантуре.

Ни один крокодил не является млекопитающим.

Кое-кто из кошек – четырехлапы.

Некоторые крокодилы являются не млекопитающими.

Некоторые крокодилы не являются млекопитающими.

Все крокодилы – млекопитающие.

Не верно, что некоторые крокодилы – млекопитающие.

Не верно, что все крокодилы – млекопитающие.

Не верно, что не существует четырехлапых кошек.

Не верно, что кто-то из студентов мечтает об аспирантуре.

Не верно, что всякий студент мечтает об аспирантуре.

Не верно, что ни один крокодил не является млекопитающим.

Не верно, что некоторые крокодилы не являются млекопитающими.

Л и т е р а т у р а:

1. Ивлев Ю.В. Логика для юристов. - М., 1996, с. 57-63.

2. Кириллов В.И., Старченко А.А. Логика. Учебник для юридических институтов и факультетов. - М. 1992 с. 87-96.

3. Ивлев Ю.В. Логика. Сборник упражнений. - М., 1998, с. 51-55.

4. Бочаров В.А., Маркин В.И. Основы логики. - М., 1994, с. 161-163.

5. Кузина Е.Б. Логика в кратком изложении и упражнениях. - М., 2000