Question 22 (8 marks). Let there be propositional formulas D1, D2, K, and K2. Suppose that D, I=| D2 and Kl=|K2. Show that D, VK I=|D2 V K2. This proof should not rely on truth tables, and it should not use Replaceability of equivalent formulas theorem. Question 22 (8 marks). Let there be propositional formulas D1, D2, K, and K2. Suppose that D, I=| D2 and Kl=|K2. Show that D, VK I=|D2 V K2. This proof should not rely on truth tables, and it should not use Replaceability of equivalent formulas theorem