Контрольні питання і вправи.
1. Визначення алетичної логіки.
2. Характеристика основних логічних модальностей.
3. Алфавіт мови пропозиційної модальної логіки.
4. Поняття «можливий світ».
5. Алетично можливі світи.
6. Відношення досяжності.
7. Поняття «опис стану».
8. Визначення модальних операторів через аналітичні правила.
9. Побудова аналітичних таблиць.
10. Чи є наведені вирази формулами алетичної пропозиційної логіки? 
11. Наведіть приклади висловлювань, які відповідають наведеним формулам:
12. Побудуйте аналітичні таблиці для таких виразів:
13. Передумови виникнення темпоральної логіки.
14. Алфавіт мови темпоральної логіки висловлювань.
15. Дефініція часових модальностей.
16. Основні закони часової логіки.
17. Взаємовизначення темпоральних модальностей.
18. Поняття темпорально можливого світу.
19. Поняття зміни.
20. Дефініція моменту часу.
21. Характеристика часового потоку.
22. Аналітичні правила для темпоральних модальностей.
23. Чи є наступні вирази формулами темпоральної пропози- ційної логіки?
24. Наведіть приклади висловлювань, які відповідають наступним формулам: 
25. Побудуйте аналітичні таблиці для виразів:
26. Дефініція деонтичної логіки.
27. Структура норми.
28. Види норм.
29. Характеристика деонтичного висловлювання.
30. Суть дискусії навколо «дилеми Йоргенсена».
31. Алфавіт мови пропозиційної деонтичної логіки.
32. Визначення деонтичних операторів.
33. Поняття деонтично можливого світу.
34. Аналітичні правила в аналітичній деонтичній логіці.
35. Встановіть, чи є наведені вирази формулами деонтичної логіки:
36. Побудуйте аналітичні правила для виразів:
37. Характерні особливості епістемічних модальностей.
38. Визначення епістемічних модальностей.
39. Логіка знання і логіка переконання.
40. Алфавіт пропозиційної епістемічної логіки.
41. Поняття епістемічно можливого світу.
42. Вкажіть, чи є наступні вирази формулами пропозиційної епістемічної логіки: 
43. Наведіть приклади висловлювань, які відповідають наступним формулам:
44. Побудуйте аналітичні таблиці для формул: 
Еще по теме Контрольні питання і вправи.:
- Хоменко І. В., Алексюк І. А.. Основи логіки: Підручник для студентів вищих навчальних педагогічних закладів. — К. : Золоті ворота,1996. — 256 с. — (Трансформація гуманітарної освіти в Україні)., 1996
- § 6. Основні закони логіки висловлювань