Aus aussagenlogische Formel ein Aussagenkalkül ableiten

Question

Sei $$G = \neg P \to (P \to P) $$eine aussagenlogische Formel. Leiten Sie im Aussagenkalkül ab:
$$\vdash G$$

Wie gehe ich da vor ?