Implication Elimination
If we wish to prove a sentence of the form
     P1 implies P2
then it suffices to prove P2 assuming P1 and whatever other axioms A are in force.

More formally,

     A |= (P1 => P2)  ---->   (A and P1) |= P2
  

[Next] [Prev] [Home] [BHome]
12 October 1996