Komplexität einer Sequenz

Die Komplexität einer Sequenz (Logik) $\mathrm{\Phi }\Rightarrow \mathrm{\Delta }$ ist definiert als die Summe der Anzahl der logischen Verknüpfungen ($\wedge ,\vee ,\mathrm{\neg },\to$) aller Formeln in $\mathrm{\Phi }\cup \mathrm{\Delta }$.
Dieser Wert nimmt in jedem Beweisschritt von der Wurzel zu den Blättern hin strikt ab, was die Terminierung der Beweissuche garantiert.