[A]1
                                 ---------
 [(exists x.A) --> B]2           exists x.A
 ---------------------------------------------
                        B
                   ----------- 1
                     (A --> B)
                 ------------------ 
                 forall x.(A --> B)
           ------------------------------------------- 2
           ((exists x.A) --> B)-->  forall x,(A --> B)     


Notare che la condizione "x non appartiene alle variabili libere di B"
e' indispensabile per poter applicare la regola di (forall I) .