Go backward to Knowledge Go up to Top Go forward to Proof Rule

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).

K

G

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

• The knowledge available in a particular situation is typically not explicitly written down.
• Knowledge at the beginning of the proof extended by all definitions and assumptions in the proof branch that led to the situation.