Go backward to Proof Situations
Go up to Top
Go forward to Proof Tree
|
Go backward to Proof Situations Go up to Top Go forward to Proof Tree |
|
Definition: a proof rule reduces a proof situation to one or more other situations.
~~>
K0 G0
K1 G1
"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.