In each of the following, derive the conclusions from the premises. Make sure each line of your derivation is numbered, and each line is justified by citing the relevant line numbers above it and the rule that is used. You may employ only the rules that are covered in sections 3.1-3.4 of the textbook. As always, you must use the symbols taught in this course as well as the rule names and abbreviations taught in this course. Each question is worth 6 marks.

Question 4 1. G 3 ~(HVI) 2. JVG 3. K.H /J.K Question 5 1. A = (BDC 2. ~C V ( D E ) 3. ~(DVF) / ~AVB