A book cover a day. #27

Nabokov, Lolita. This book was smuggled into the USSR by a grandmother visiting her grandson (whose father was a refusenik and could not accompany his family to the US). The book was wrapped so that it was looking like a children's book. Of course it was strictly forbidden in the USSR.

It's a masterpiece.

вот что я перестал понимать

Как в интуиционистской логике (чтоб булевость не обязательна) можно доказать A∨B, если по отдельности A и B не доказать.

Есть один вариант: имеем C∨D, и C⊢A, D⊢B - тогда да.