Sei $$G = \neg P \to (P \to P) $$eine aussagenlogische Formel. Leiten Sie im Aussagenkalkül ab:$$\vdash G$$
Wie gehe ich da vor ?
