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

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