Sundstrom page007_1c

hughmcguire

Proof of the following formula: 

If 8 < 5, then 3 + 2 = 5

(#)     Theorem and subgoals
      We start working with the formula being proved
as follows:
(1)     
If 8 < 5, then 3 + 2 = 5
          ≡      by simplifying
(2)     
true
      That concludes the proof.

identification:
1210705949934
1210705949932
2