Question: 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
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)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
