Aussagenlogik/Aussage/Stammbaum/Beispiel
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.