page079_Example6

mcguireh

Proof of the following formula: 

P(0)

(#)   Suppositions and derivations Theorem and subgoals
    We presuppose the following:  
(1)   
∀x
  [[P(x)]
    means
   [if a ≥ b, then (a^x ≥ b^x)]]
 
       
      We start working with the formula being proved
as follows:
(2)     
P(0)
          ≡      by (1) with "x := 0"
(3)     
if a ≥ b, then (a^0 ≥ b^0)
          ≡      by simplifying
(4)     
true
      That concludes the proof.

identification:
1233771277781
1233771253609
24172