Доказательства утверждений в интуиционистской логике

Будем практиковаться доказывать простые утверждения в интуиционистской логике. Разберем примеры недоказуемых утверждений.

См. приложенный файл здесь -- https://my.compscicenter.ru/courses/formal-verification/2020-spring/classes/5483/