Запитання для самоперевірки:

1. Сформулюйте  визначення  інтуїціоністської  логіки.

2. Яка  мова  використовується  в  інтуїціоністській  логіці ?

3. Що  називають  численням  висловлювань  в  інтуїціоністській  логіці ?

4. Які  формули  має  числення  висловлювань  в  інтуїціоністській  логіці ?

5. На  чому  ґрунтується  доведення  формул  в  інтуїціоністській  логіці ?

6. Що  таке  модель  Кріпке ?

7. Що  необхідно  для  задання   моделі  Кріпке ?

8. Для  яких  цілей  застосовують  модель  Кріпке ?

9. Яку  формулу  називають  вивідною  в  численні  висловлювань    інтуїціоністської  логіки  ?

10. Яку  формулу  називають  не  вивідною  в  численні  висловлювань    інтуїціоністської  логіки  ?

Коментарі. Основні відомості, щодо по поняття інтуїціонітської   логіки, викладені у цьому розділі, випливають із [15], числення  висловлювань взяті з [7,15,25], а  моделі  Кріпке і доведення  формул  з  інтуїціоністської  логіки  випливають із [8,9].