previous up next
Go backward to Proof Tree
Go up to Top
Go forward to
RISC-Linz logo

Proof Completion

Proposition: For proving with knowledge K union {G} the goal G, nothing has to be done any more.

K union {G}
K union {G}

The only rule to terminate a proof branch.

Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next