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

Proof Situations

Definition: a proof situation consists of available knowledge K (a set of formulas assumed true) and the goal G (a formula to be proved).


"We (have to) prove G with knowledge K."

Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next