Занятие 2

1. Искусственные языки. Язык классической логики высказываний

2. Табличное определение пропозициональных связок. Алгоритм построения таблиц истинности.

У п р а ж н е н и я:

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

а) Идет дождь или кто-то не выключил душ.

б) Я получу по логике или пять или четыре, а в противном случае мне несдобровать.

в) Ни Север, ни Юг не победили в гражданской войне.

г) Я никогда не решился бы на это, не будь его рядом.

д) Экзамен по логике можно сдать успешно, только если регулярно заниматься дома и не пропускать лекции и семинарские занятия.

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

ж) Необходимое и достаточное условие счастья для шейха состоит в том, чтобы иметь вино, женщин и услаждать свой слух пением.

2. Определить табличным способом, какими - тождественно-истинными, тождественно-ложными или выполнимыми - являются следующие формулы:

а) (р р), б) (р  q) & (q  p), в) (p  q)  (р & q),

г) (р q)  (q & r), д) ((р  q) & (р  r))  ((q r)  p).

Л и т е р а т у р а:

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

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

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

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

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

Занятие 3.

1. Тождественно-истинные, тождественно-ложные и выполнимые формулы.

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

3. Табличный метод установления логических отношений между сложными высказываниями.

У п р а ж н е н и я:

1. Установить, являются ли следующие высказывания логически истинными, логически ложными или логически недетерминированными:

а) Либо Иван любит Марью, но она его не любит, либо Марья любит Ивана, но он ее не любит.

б) Число делится на 2 или не делится на 3, если и только если неверно, что когда оно делится на 3, то делится и на 2.

в) Если сложное высказывание не относится ни к конъюнктивным, ни к дизъюнктивным, ни к импликативным, то нельзя сказать, что оно конъюнктивное или импликативное.

г) Неверно, что хотя бы один из них двоих не имел эту информацию.

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

а) Если идет снег, то холодно. Не холодно или идет снег.

б) Неверно, что если данный треугольник равносторонний, то он прямо­угольный. Данный треугольник прямоугольный и не является равносто­ронним.

в) Если Петр друг Ивана, то он не является ни другом Федора, ни другом Семена. Если Петр - друг Федора или Семена, то он не является другом Ивана.

3. В результате допроса трех свидетелей стало известно следующее:

Свидетель 1: Петров и Сидоров не были вместе на месте преступления

Свидетель 2: Иванов был на месте преступления, если Петров там был.

Свидетель 3: Сидоров или Иванов был на месте преступления.

а) Может ли быть так, что все три свидетеля дали правдивые показания?

б) Может ли быть так, что солгали все трое?

в) Имеется ли среди перечисленных свидетельств такое, наличие которого обусловлено наличием двух других свидетельств?

Л и т е р а т у р а:

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

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

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

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

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