2. Starting from the four numbered premises below (which using only the rules of inference (including...
2. Starting from the four numbered premises below (which using only the rules of inference (including the instantiation and generalization rules) and the logical equivalences (as both were Make sure that you include both the rule and the line number(s) to which that rule is applied are assumed to be true) and presented in class), show that x E(x) (6 marks) 1) Vx A(x) AGB(x) 2) Эx С (x) — В (х) 3) Vx D(x) > с (х) 4) x A(x)E(x) 5) Vx D(x) V E (x)