Конверський А. Є. Логіка (традиційна та сучасна)
Подождите немного. Документ загружается.
Книга друга. СУЧАСНА ЛОГІКА
531
11. Наведіть приклади висловлювань, які відповідають наве-
деним формулам:
а) (p ⊃ q) ⊃ p ⊃ q
б) ◊p ∧ q
в) (◊p ∨ ◊q) ⊃(◊p ∧ ◊q)
г) p ⊃ p
д) (◊ p ⊃p)
е)(p ⊃◊p).
12. Побудуйте аналітичні таблиці для таких виразів:
а) p ⊃p
б) p ⊃ ٱ◊p
в) ◊p ⊃ ◊p
г) (p ⊃ q) ⊃ (p ⊃ q)
д) q ⊃ (p ⊃ q)
е) q ⊃ (p ⊃ q).
13. Передумови виникнення темпоральної логіки.
14. Алфавіт мови темпоральної логіки висловлювань.
15. Дефініція часових модальностей.
16. Основні закони часової логіки.
17. Взаємовизначення темпоральних модальностей.
18. Поняття темпорально можливого світу.
19. Поняття зміни.
20. Дефініція моменту часу.
21. Характеристика часового потоку.
22. Аналітичні правила для темпоральних модальностей.
23. Чи є наступні вирази формулами темпоральної пропози-
ційної логіки?
а) Gp ⊃ Ghp
б) FpH ⊃ FFp
в) Fp ⊃ FFp
г) pqF ∧ pH
д) p ∧ pH
е) G ⊃ pH.
24. Наведіть приклади висловлювань, які відповідають насту-
пним формулам:
а) Gp ⊃ GGp
б) Hp ⊃ Fp
в) Gp ⊃ Fp
г) p ⊃ Pp
д) Fp ⊃ FFp.
А. Є. Конверський. ЛОГІКА
532
25. Побудуйте аналітичні таблиці для виразів:
а) p ⊃ Hp
б) (p ⊃ q) ⊃ (Gp ⊃ Gq)
в) Hp ⊃ HHp
г) Hp ⊃ Pp
д) Pp ⊃ p Pp
26. Дефініція деонтичної логіки.
27. Структура норми.
28. Види норм.
29. Характеристика деонтичного висловлювання.
30. Суть дискусії навколо «дилеми Йоргенсена».
31. Алфавіт мови пропозиційної деонтичної логіки.
32. Визначення деонтичних операторів.
33. Поняття деонтично можливого світу.
34. Аналітичні правила в аналітичній деонтичній логіці.
35. Встановіть, чи є наведені вирази формулами деонтичної логіки:
а) G (p ∧ q) ⊃ (Gp ∧ Gq)
б) O (p ∧ q) ≡ (Op ∧ Oq)
в) OP ⊃ (Pq ∧ Fq)
д) OO p ⊃ PPp
е) Fp ⊃ PPp
ж) q ⊃ pOq
з) p ⊃ Opp.
36. Побудуйте аналітичні правила для виразів:
а) Op ⊃ O p
б) O (p ∨ q) ⊃ (Pp ∨ Pq)
в) O (p ∨ q) ⊃ (Op ∨ Oq)
г) Op ⊃ OOp
д) p ⊃ OPp
е) OO p ⊃PPp.
37. Характерні особливості епістемічних модальностей.
38. Визначення епістемічних модальностей.
39. Логіка знання і логіка переконання.
40. Алфавіт пропозиційної епістемічної логіки.
41. Поняття епістемічно можливого світу.
42. Вкажіть, чи є наступні вирази формулами пропозиційної
епістемічної логіки:
а) Oa Oap
б) Ka Kap
Книга друга. СУЧАСНА ЛОГІКА
533
в) OKa ⊃ Cap
г) Kap ⊃ p
д) Kap ⊃ Bap
е) apC ∧ Bap
ж) aBp ⊃ Kap.
43. Наведіть приклади висловлювань, які відповідають насту-
пним формулам:
а) Kap ⊃ p
б) Ka (p ⊃ q) ⊃ (Kap ⊃ Kaq)
в) (p ⊃ q) ⊃ (Kap ⊃ Kaq)
г) Kap ∨ Cap ∨ Oap.
44. Побудуйте аналітичні таблиці для формул:
а) Ka (p ⊃ p)
б) Ka (p ∨ p)
в) Ka (p ∧ q) ⊃ (Kap ∧ Kaq)
г) Ka (p ∧ p) ⊃ Kaq.
А. Є. Конверський. ЛОГІКА
534
ЛІТЕРАТУРА
1. Арістотель. Перша Аналітика. Друга Аналіти-
ка. – В 4-х томах. Т.2. – М., 1978.
2. Арістотель. Метафізика. – В 4-х томах. Т.1. –
М., 1978.
3. Арістотель. Риторика. – Античні риторики. –
М., 1978.
4. Асмус В. Ф. Логіка. – М., 2001.
5. Бочаров В. А. Арістотель і традиційна силогіс-
тика. – М., 1984.
6. Брюшинкін В. Н. Логіка. – М., 2001.
7. Войшвілло Є. К. Поняття як форма мислення. –
М., 1989.
8. Войшвілло Є. К., Дегтярьов М. Г. Логіка. – М.,
2002.
9. Гегель. Наука логіки. – М., 1971.
10. Горський Д. П. Логіка. – М., 1963.
11. Жоль К. К. Логіка. – М., 2004.
12. Зінов’єв О. О. Нариси комплексної логіки. –
М., 2000.
13. Івін О. А., Нікіфоров О. Л. Словник з логіки. –
М., 1998.
14. Ішмуратов А. Т. Вступ до філософської логіки. –
К., 1997.
15. Горський Д. П., Івін А. А., Нікіфоров А. Л. Коро-
ткий словник з логіки. – М., 1991.
16. Кліні С. Математична логіка. – М., 1973.
17. Кондаков М. І. Логічний словник. – М., 1971.
18. Лейбниць Г. Вибрані твори. – М., 1908.
19. Лукасевич Я. Арістотелівська силогістика з то-
чки зору сучасної формальної логіки. – М., 1959.
20. Маковельський А. О. Історія логіки. – М., 1967.
21. Мілль Д. С. Система логіки. Т.1. – С.-Пб., 1865.
ЛІТЕРАТУРА
535
22. Попович М. В. Філософські питання семанти-
ки. – К., 1975.
23. Смірнова О. Д. Основи логічної семантики. –
М., 1990.
24. Тарський А. Вступ в логіку та методологію де-
дуктивних наук. – М., 1948.
25. Уйомов А. І. Основи практичної логіки. –
Одеса, 1997.
26. Хінтікка Я. Логіко-епістемічні дослідження.
– М., 1980.
27. Хоменко І. В. Логіка – юристам. – К., 1997.
НАВЧАЛЬНЕ ВИДАННЯ
Анатолій Євгенович КОНВЕРСЬКИЙ
ЛОГІКА
(ТРАДИЦІЙНА ТА СУЧАСНА)
2ге видання
Підручник
Керівник видавничих проектів – Б. А. Сладкевич
Друкується в авторській редакції
Дизайн обкладинки – Б. В. Борисов
Верстка – О. Г. Михолат
Підписано до друку 28.05.2008. Формат 60x84 1/16.
Друк офсетний. Гарнітура PetersburgC.
Умовн. друк. арк. 30,2.
Наклад 2000 прим.
Видавництво “Центр учбової літератури”
вул. Електриків, 23
м. Київ, 04176
тел./факс 425G01G34, тел. 451G65G95, 425G04G47, 425G20G63
8G800G501G68G00 (безкоштовно в межах України)
eGmail: office@uabook.com
сайт: WWW.CUL.COM.UA
Свідоцтво ДК №2458 від 30.03.2006