Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- FGI Länge von Formeln (http://www.informatikerboard.de/board/thread.php?threadid=1207)
Geschrieben von Velor92 am 07.05.2012 um 18:51:
FGI Länge von Formeln
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?
Forensoftware: Burning Board, entwickelt von WoltLab GmbH