Aussagenlogik/Aussage/Stammbaum/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Abstammungsbaum.png

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.