Example of a proposition with a unique classical solution, but no unique constructive solution – math.stackexchange.com

In this question and my answer to it, the following problem came up: Suppose we have a propositional formula $P$ in propositional variables $x_1,\dots, x_n$. Suppose further that under classical ...