Logic question:
how would i demonstrate the validity of the following argument using either the reduction ad absurdum or conditional proof technique?
(g • p) → k, e → z, ~p → ~ z, g → (e v l), therefore, (g • ~l) → k