Hallo,
ich habe ein paar Probleme mit dem Kalkül des Natürlichen Schliessens (KNSAL). Woher weiß man was für Annahmen man benutzen darf die nicht in einer Menge gegeben sind? Denn oft habe ich es gesehen das jemand einfach z.B. einzelne oder verknüpfte Annahmen wer weiß woher nimmt. Dann wollte ich noch fragen welche Annahmen gestrichen werden müssen und welche nicht. Klar wenn sie nicht mehr gebraucht werden. Aber manchmal müssen bestimmte Angaben am Ende gestrichen sein und manchmal nicht, wieso?
Ich wäre sehr dankbar für eure Hilfe. Ich verzweifel langsam an diesem Thema.
mfg
Gemma