|
|
Meine Frage:
ICh muss diverse Sachen per strukturellen Induktion beweisen .
Man muss hier mehrere Fälle beweisen. Meine Frage bezieht sich auf die Länge von Formeln der Aussagenlogik wie lang ist |F°G| wobei °ein element aus {v,(und),=>,<=>}
Meine Ideen:
die tiefe ((F°G)) = max(tiefe(F),tiefe(G)) ist das dann bei der länge genauso?
|
|
