Alguém pode me ajudar nessa questão sobre métodos dedutivos?

(J -> E) ^ (J -> C) -> J -> (E ^ C)

Premissas:

1) (J -> E)

2) (J -> C)

3)  J 

4) Fazendo Modus ponens em 1) e 3) temos: E

5) Fazendo Modus ponens em 2) e 3) temos: C

6) Fazendo uma "adição" entre 4) e 5) temos: (E ^ C)

Sam, recebi a resposta direto do professor, e teve um problema nessa sua resolução. Não existe essa terceira premissa.
Fica da seguinte forma a resolução segundo o professor Rogerio Coelho:

1) J->E

2) J->C

3)~JvE                          Condicional de 1

4)~JvC                         Condicional de 2

5) (~JvE) ^ (~JvC)        Conjunção de 3 e 4

6) ~J v(E^C)                 Distributividade em 5

7) J->(E^C)                  Condicional de 6

não posso te ajudar amigo!