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

Питання для самоконтролю за темою 6:

  1. Визначте поняття “доведення”, змалюйте його структуру. Назвіть види доказів, дайте їм загальну характеристику.

  2. Визначте різновиди прямих і непрямих доказів. Назвіть правила доказу.

  3. Визначте поняття спростування.

  4. Навіть логічні помилки у доказі. Назвіть приклади оман (пасток) у суперечці, визначте способи подолання названих оман.

  5. Визначте тактику і стратегію суперечки.

Основна література для самостійної роботи за темою 6:

  • Хоменко І.В. Логіка – юристам. – К.: Четверта хвиля, 1998. - С. 219 - 245.

  • Тофтул М.Г. Логіка. – К.: Академія, 1999. – С. 239 - 249

  • Конверський А.Є. Логіка. – К.: Четверта хвиля, 1998. – С. 257 – 267.

  • Жеребкін В.Є. Логіка. – Харків: Основи, К.: Знання, 1998. – С. 204 - 219.

  • Гетманова А.Д. Учебник по логике. – Москва: ЧеРо, 2000 – С. 179 - 194.

  • Войшвилло Е.К., Дегтярев М.Г. Логика . – Москва: Владос, 2001 – С.494 – 513.

Стислий список логічних символів

у символічній (математичній) логіці

а Λ b; a · b; a & b; “а і b

Кон’юнкція

а V b; “а або b”

Диз’юнкція

аb; а  b; “а імплікує b”, “якщо а, то b”

Імплікація

аb; а  b; аb; “а еквівалентно b”,

а, якщо і тільки якщо b”

Еквіваленція

а; “не-а”

Заперечення

( х), “існує х, яке...”

Квантор існування

( х), “для всіх х”

Квантор спільності

a, b, c, ..., p, q...

Логічні змінні