La lengua $\mathcal{L_0}$ : Dejemos que $\mathcal{L_0}$ sea el conjunto más pequeño $L$ de secuencias finitas de $\textit{logical symbols}= \{(\enspace)\enspace\neg\}$ y $\textit{propositional symbols}=\{A_n|n\in\mathbb{N}\}$ para $n \in \mathbb{N}$ que satisface las siguientes propiedades:
(1) Para cada símbolo proposicional $A_n$ con $n\in\mathbb{N}$ , \begin{multline} A_n \in L. \end{multline}
(2) Para cada par de secuencias finitas $s$ y $t$ Si $s$ y $t$ pertenecen a $L$ entonces \begin{multline} (\neg s) \in L \end{multline} y \begin{multline} (s \to t) \in L. \end{multline}
Legibilidad para $\mathcal{L_0}$ : Supongamos que $\phi$ es una fórmula en $\mathcal{L_0}$ . Entonces se da exactamente una de las siguientes condiciones.
(1) Hay un $n$ tal que $\phi = A_n.$
(2) Existe una $\psi \in \mathcal{L_0}$ tal que $\phi = (\neg\psi)$ .
(3) Hay $\psi_1$ y $\psi_2$ en $\mathcal{L_0}$ tal que $\phi = (\psi_1 \to \psi_2)$
Legibilidad única para $\mathcal{L_0}$ : Las mismas condiciones de legibilidad, pero en (2) y (3), las fórmulas $\psi$ , $\psi_1$ y $\psi_2$ son únicos, respectivamente.
Problema (notación polaca): Dejemos que $\mathcal{P_0}$ sea el conjunto más pequeño de secuencias $P$ de manera que se cumplan las siguientes condiciones.
a) Para cada $n$ , $A_n \in P$ .
b) Si $\psi_1$ y $\psi_2$ pertenecen a $P$ entonces también $\neg\psi_1$ y $\to\psi_1\psi_2 = \langle \to \rangle + \psi_1 + \psi_2$ .
Indique y demuestre el teorema de legibilidad única para $\mathcal{P_0}$