Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
логика зачет / Материалы для подготовки к зачету по логике.doc
Скачиваний:
25
Добавлен:
19.04.2015
Размер:
382.98 Кб
Скачать

6. Тренировочные упражнения зачетного типа – где находятся

(1) Определите структуру высказываний с точки зрения ЯКЛВ (перевести на ЯКЛВ)

Пособие по логике (интернетовское) Гл.3 Тема 2:

  • Пояснения и примеры Примеры 1- 24

  • Упр.6 – см. ответы к нему в конце главы

  • Упр.7

  • Упр.8

  • Упр.9 – см. ответы в конце главы

  • Упр.10 – разбиралось на семинаре, см. ответы в записях семинарского занятия

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

Пособие по логике (интернетовское) Гл.3 Тема 4:

  • Определения, пояснения и примеры – Пример

  • Упр.19 – задания, к которым есть ответы в конце главы, отмечены знаком +

  • Упр. 20 – задания, к которым есть ответы в конце главы, отмечены знаком +

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

Пособие по логике (интернетовское) Гл.4 Тема 3:

  • Пояснения и определения. Примеры на построение моделей и контрмоделей.

  • Упр.20 – задания, к которым есть ответы в конце главы, отмечены знаком +, большинство остальных разобраны на семинаре, см. записи

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

7.Литература

  • лекции

  • О.Невдобенко Введение в формальную логику (Адрес в Интернете: www.mgppu.ru структура вуза общеуниверситетские кафедры каф-ра филосософииПособие по логике)

  • О.Невдобенко Материалы для подготовки к зачету по логике (т.е. этот файл) (Адрес в Интернете: www.mgppu.ru структура вуза общеуниверситетские кафедры каф-ра филосософииПособие по логике)

  • Бочаров В.А., Маркин В.И. Основы логики. (любое издание)

1На зачете будут, разумеется, другие умозаключения.

2В зачетных заданиях будет другое предложение

3эквиваленция () также коммутативна (перестановочна)

4«какую-нибудь», но не «какую угодно»: предложения заменяем (какими-нибудь) простейшими формулами языка КЛВ, т.е. пропозициональными переменными (p,q,r,p1,q1,r1,p2и т.д.), естественно, соблюдая правило: разные предложения заменяем разными символами.

5Собственное, т.е. непустое и не равное всему множеству.

6Можете найти, конечно, если являетесь элементом объема понятия "человек, страдающий тяжелым неизлечимым психическим заболеванием"

21