SOLUTION: F ⊃ (G ● H ) // (A ⊃ F ) ⊃ (A ⊃ H ) What is the proper Conditional Proof?

1.  F ⊃ (G ● H )       // (A ⊃ F ) ⊃ (A ⊃ H )

                        |2. A ⊃ F      ACP
                                      |3. A       ACP
                                      |4. F       2, MP
                                      |5. G ● H   1, MP
                                      |6. H ● G   5, comm.
                                      |7. H       6, simp.
                        |8. A ⊃ H       CP     lines 3-7 

9.  (A ⊃ F) ⊃ (A ⊃ H)  CP lines 2-8 

Edwin