Aussagenlogik/Aussage/Stammbaum/Beispiel

Aus Wikiversity

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.