Узагальнення.

Увага! Символічний запис (схеми) міркувань є порівняно новим для сучасної вищої освіти. Проблемою для студента може стати і те, що деякі підручники (I чи II рівнів акредитації вищих учбових закладів) не відображають елементів символічної логіки, обмежуючись, по суті, експлікацією основних проблем традиційної логіки. Саме тому ця тема є базовою для курсу в цілому, оскільки її опанування формує мову логіки, поняття логіки висловлювань, логіки предикатів, тобто логічну культуру в цілому.

Література для самоосвіти: 1, 5, 7, 9, 11, 14, 16, 17, 18, 19.

Питання для самоконтролю.

1. Яка основна відмінність між поняттями “речення”, “судження” та “висловлювання”?

2. У чому полягає відмінність між атрибутивним та категоричним судженнями? (див. 2, 7, 9, 18).

3. Відомо, що Аристотель, класифікуючи прості судження (висловлювання), позначав їх як А, Е, І, О. Який принцип поділу даного поняття запропонував Аристотель? (Див. 2, 9).

4. Запишіть мовою логіки висловлювань наступне висловлювання

“Рослина засохне , якщо її не підживлювати водою”

5. Наведіть приклад істинної імплікації з хибним висновком.

6. Висловлювання  істинне, а  - хибне. Яке значення істинності висловлювання ?

7. Відомо, що А – істинне, а С – хибне. Визначте логічне значення істинності наступних висловлювань:

а)  

б)  

8. Опишіть процедуру “перекладу” висловлювань природної мови на мову логіки висловлювань.

9. Що таке силогізм? (Див. 2, 5, 7, 9).

10. Встановіть фігуру та моду силогізму:

Усі філософи – мудрі.

Деякі греки – філософи.

Деякі греки – мудрі.

11. Дайте визначення дедуктивного міркування.

12. Що Ви розумієте під поняттям “схеми дедуктивних міркувань”?

13. Визначте модус та вид міркування і запишіть його у вигляді формули:

Кримінальна справа не може бути порушена, якщо відсутній склад злочину.

Склад злочину відсутній.

Отже, кримінальна справа не можу бути порушена.

14. Яка, на Ваш погляд, істотна відмінність між правилами modus ponens та modus tollens?

15. Яке правило ми застосовуємо у такому міркування?

 

16. Методом аналітичних таблиць визначте чи є дана формула логічним законом?

 

17. Дайте назву даній формулі, вказавши головну логічну константу, а також визначте її логічне значення:

 

18. Чим суттєво відрізняється судження (висловлювання) від міркування?

19. Визначте суттєві ознаки проблеми та дилеми, вкажіть їх відмінності.

20. Вкажіть, чи є тотожними змісти таких понять: “формула”, “символічний запис”.