::
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.
