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

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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!