Assume ((i v j) v k) show that ~i ->(k v j) Using only the double negation rule and the following. Show proof using proper form

Modus Ponens Elimination b. pVq Modus Tollens Transitivity r 9 Generalization p b. Proof by Division into Cases .. pvq Specialization b. A Conjunction Contradiction Rule