Література

Основна

1. Гетманова А. Д. Логика / А. Д. Гетманова. – М.: Новая школа, 1995. – С. 7, 23, 27 – 44.

2. Гетманова А. Д. Словарь и задачник: Учеб. пособие для студентов вузов / А. Д. Гетманова. – М.: Гуманит. изд. цент. ВЛАДОС, 1998. – С. 137 – 142.

3. Жеребкін В. С. Логіка / В. С. Жеребкін. – Х.: Основа, 1999. – С. 3, 23, 24 – 41.

4. Кириллов В. И. Логика / В. И. Кириллов, А. А. Старченко. – Москва: Высшая школа, 1998. – С. 5 – 34.

5. Конверський А. С. Логіка / А. С. Конверський. – К.: Четверта хвиля, 1998. – С. 5 – 33, 123 – 145.

6. Иванов Е. А. Логика / Е. А. Иванов. – Москва: БЕК, 1996. – С. 1 – 19.

7. Івін О. А. Логіка / О. А. Івін. – Київ: Артек, 1996. – С. 7 – 23.

8. Свинцов В. И. Логика / В. И. Свинцов. – М.: Скорина – Весь мир, 1998. – С. 3 – 35.

9. Тофтул М. Г. Логіка / М. Г. Тофтул. – К.: Академія, 2003. – С. 24 – 34.

10. Хоменко І. В., Алексюк І.А. Основи логіки. / І. В. Хоменко, І. А. Алексюк – К.: Золоті Ворота, 1996. – С. 7 – 36.

11. Хоменко І. В. Логіка для юристів: Підручник / І. В. Хоменко. – К.: Юрінком Інтер, 2001. – С. 5 – 22.

12. Хоменко І. В. Логіка: Підручник для вищих навчальних закладів / І. В. Хоменко. – К.: Абрис, 2004. – С. 6 – 23.

Додаткова

1. Ивин А. А. Искусство правильно мыслить / А. А. Ивин. – М.: Просвещение, 1990. – 240 с.

2. Жоль К. К. Логика в лицах и символах / К. К. Жоль. – М.: Педагогика - Пресс, 1993. – 256 с.

3. Ішмуратов А. Т. Вступ до філософської логіки / А. Т. Ішмуратов. – К.: Абрис, 1997. – 350 с.

4. Кондаков Н. И. Логический словарь-справочник / Н. И. Кондаков. – М.: Наука, 1975. – 720 с.

5. Переверзев В.И. Логистика: Справочная книга по логике. / В.И. Переверзев. – М.: Мысль, 1995. – 221 с.

6. Попович М. В. Очерк развития логических идей в культурно-историческом контексте / М. В. Попович. – К.: Наукова думка, 1979. – 244 с.

Практичне заняття №2

«Просте та складне судження»

План практичного заняття:

1. Судження та речення

2. Прості судження, їх види та структура

3. Об’єднана класифікація простих категоричних суджень за якістю та кількістю

4. Розподіленість термінів у категоричних судженнях

5. Поняття складного висловлювання

6. Логічні сполучники та логічні операції

ВПРАВИ:

1. Визначте структуру суджень (знайдіть S, логічну зв’язку та Р), висловлених такими реченнями:

1. філософія – це форма суспільної свідомості;

2. Ксантина – дружина Сократа;

3. Україна на є членом НАТО;

4. не всі студенти відмінники.

2. Задані терміни з вказуванням їх розподіленості. Побудуйте з них категоричні висловлювання і зобразіть відношення між термінами за допомогою діаграми Ейлера. Якою має бути логічна зв’язка в цих судженнях і чому?

1. військові (S - ), викладачі (Р + );

2. студенти (S - ), відмінники (Р + );

3. віруючи (S + ), люди (Р - );

4. депутати (S - ), юристи (Р - );

5. адвокати (S + ), прокурори (Р + );

6. квадрати (S + ), прямокутні ромби (Р + );

7. жінки (S - ), військові (Р + );

8. українці (S + ), слов’яни (Р - );

9. студенти (S - ), відмінники (Р - );

10. католики (S + ), протестанти (Р + ).

3. З простих висловлювань: А – «це число ціле», В – «це число додатне», С – «це число просте», D – «це число ділиться на три», побудовані формули:

A ˅ B; A ˄ B; A ˅ ~ A; В ˅ ~ В; D ↔ ~ C;

(А ˄ С) → D; (А ˄ D) → ~ С; (A ˅ B) ˄ (С ˅ D); ~ А ˅ D.

Прочитайте ці висловлювання, маючи на увазі вказаний зміст простих висловлювань А, В, С, D.

4. Висловлюється істинна молекула, яка складається з двох атомів. Яким сполучником їх треба з’єднати, щоб показати:

1. що обоє вони істинні;

2. що принаймні один з них істинний;

3. що тільки один з них істинний;

4. що значення їх істинності збігаються.

5. Побудуйте повні таблиці істинності таких формул:

1. A → (А → В);

2. (A ˄ B) ˅ (~ A ˄ B) ˅ (~ A ˅ ~ B);

3. (A ˅ B) → (С ↔ ~ С);

4. (~ A ˄ B) ↔ (В ˅ ~ B);

5. (A ˅ B) ˄ ˅ (~ A ˅ ~ B);

6. (А → ~ A) ˅ B;

7. (А ˅ ˅ В) ↔ ~ С;

8. (А ↔ В) ˄ С;

9. (~ A ˄ B) → С.