Wie kann man sich die Induktion über die Struktor Boolescher Ausdrücke vorstellen? Ähnlich wie die Vollständige Induktion? https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3109,3109#msg-3109 Tue, 17 Dec 2024 10:34:50 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3109,3110#msg-3110 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3109,3110#msg-3110
Bei den natürlichen Zahlen sieht das ja kurzgefasst so aus: 0 ist eine natürliche Zahl, und wenn n eine natürliche Zahl ist, ist auch n+1 eine natürliche Zahl, und darüber führst du dann deine Induktion.

Boolsche Ausdrücke sind laut Vorlesung wie folgt definiert: 0, 1, sowie die Variablen (x1, x2...) sind boolsche Ausrücke, und sind g und f Boolsche Ausdrücke, so sind auch (~g), (g + f) und (g * f) boolsche Ausdrücke. Entsprechend musst du dann deinen Induktionsanfang anpassen und beim Induktionsschritt evtl. eine Fallunterscheidung durchführen.

Ich hoffe das hilft,

MfG, Leonore]]> Leonore Winterer Technische Informatik WS 2009/10 Tue, 15 Dec 2009 16:42:35 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3109,3109#msg-3109 https://ira.informatik.uni-freiburg.de/phorum/read.php?56,3109,3109#msg-3109 Ähnlich wie die Vollständige Induktion?]]> Baldini Technische Informatik WS 2009/10 Tue, 15 Dec 2009 16:01:46 +0100