Aussagenlogik/Aussage/Stammbaum/Beispiel

Wir wollen uns anhand eines Stammbaumes klar machen, dass die Zeichenkette

$((p)\wedge (r))\rightarrow ((\neg (q))\vee (r))$

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.