Beweisverpflichtung

Eine Beweisverpflichtung ist eine Sequenz der Form

Φ \overset{?}{⟹} ψ

Sie beschreibt ein aktuelles Beweisziel unter den Annahmen $Φ$ .