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

Proof Rule

Definition: a proof rule reduces a proof situation to one or more other situations.


"In order to prove G0 with knowledge K0 it suffices to prove G1 with knowledge K1".

Definition: a proof is the reduction of the start situation to other situations that are again reduced to other situations until we have only situations in which nothing is left to be proved.

Author: Wolfgang Schreiner
Last Modification: November 30, 1999

previous up next