2. Starting from the six numbered premises below (which are assumed to be true) and using only the rules of inference (including the instantiation and generalization rules) and the logical equivalences (as both were presented in class), show that 3x E(x). Make sure that you include both the rule and the line number(s) to which that rule is applied. (6 marks) a. Vx-B(x) + F(x) b. VxD(x) v F(x) c. 3xD(x) v C(x) d. VxA(x) + C(x) e. 3x(B(x) VC(x)) - E(x) f. Vx-D(x) ^ -A(x) 2. Starting from the six numbered premises below (which are assumed to be true) and using only the rules of inference (including the instantiation and generalization rules) and the logical equivalences (as both were presented in class), show that 3x E(x). Make sure that you include both the rule and the line number(s) to which that rule is applied. (6 marks) a. Vx-B(x) + F(x) b. VxD(x) v F(x) c. 3xD(x) v C(x) d. VxA(x) + C(x) e. 3x(B(x) VC(x)) - E(x) f. Vx-D(x) ^ -A(x)