Quello che devo fare è scrivere una dimostrazione formale all’interno della logica proposizionale usando il calcolo alla Hilbert.
Il risultato grafico che cerco è quello riportato nell’immagine (che ho fatto con photoshop), vorrei avere lo stesso risultato utilizzando latex.
Non allineerei le etichette al margine sinistro, visto che in realtà fanno parte della formula:
`\begin{align}
&\text{Assioma 1}&& A\to(A\to A)\label{row1}\\
&\text{Assioma 2}&& (A\to(A\to A))\to(A\to A)\label{row2}\\
&\text{MP, \eqref{row1}, \eqref{row2}}&& A \to A
\end{align}`
Se vuoi controllare meglio lo spazio fra le due colonne, puoi usare l’ambiente alignat: \begin{alignat}{2} e mettere la spaziatura richiesta alla fine della cella più lunga (o, se non vuoi starci a pensare, alla fine di ogni cella della prima colonna), in questo caso
`&\text{MP, \eqref{row1}, \eqref{row2}}\qquad&& A \to A`
Di solito, però, le giustificazioni in una deduzione si scrivono a destra della formula.
Consulta anche la documentazione di mathtools che potrebbe avere qualcosa che fa al caso tuo.
Ciao
Enrico