Aussagenlogik/Aussage/Stammbaum/Beispiel
Zur Navigation springen
Zur Suche springen
Wir wollen uns anhand eines Stammbaumes klar machen, dass die Zeichenkette
eine Aussage ist, also gemäß den Regeln korrekt gebildet ist. Der Abstammungsbaum entsteht ausgehend von den Blättern, die die vorkommenden Aussagenvariablen (mit ihrer Häufigkeit) repräsentieren, indem man Schritt für Schritt komplexere Teilaussagen zusammensetzt.