#1 3. Mai 2011 Hi, ich hab mal ne frage ich komm bei der einen Aufgabe überhaupt nicht voran: Beweisen Sie mit struktureller Induktion, dass die Anzahl der Teilformeln jeder Formel F nach oben durch 2^tiefe(F)+1 -1 beschränkt ist. Formell: Für alle Formeln F der Aussagenlogik (gemäß Def. 2.2 Folie 2-12) gilt: |Tf(F)| =< 2^tiefe(F)+1 -1 kann mir da einer weiterhelfen ? so far sun + Multi-Zitat Zitieren