Using the rules of natural deduction, prove the validity of the following sequents in predicate logic....

Transcribed Image Text:

Using the rules of natural deduction, prove the validity of the following sequents in predicate logic. In all cases, number your steps, indicate which rule you are using and indicate subproof boxes clearly. Question 9.1 x (P(x)→→ Q(x)) + 3x P(x) → 3x Q(x) Question 9.2 x ((x) v ³ Q(x, y)), vx vy (Q(x, y)→→P(x)) VX-P(x) Question 9.3 vx (P(x)→ (Q(x) v R(x))), 3x (P(x) R(x)) + x (P(x) →→ Q(x)) Question 9.4 + x (P(x) → Q(x))^ 3x Q(x)→ 3x P(x) Question 9.5 x (P(x) v Q(x)), 3xQ(x), Vx (R(x)→P(x)) + 3x R(x) 7 Using the rules of natural deduction, prove the validity of the following sequents in predicate logic. In all cases, number your steps, indicate which rule you are using and indicate subproof boxes clearly. Question 9.1 x (P(x)→→ Q(x)) + 3x P(x) → 3x Q(x) Question 9.2 x ((x) v ³ Q(x, y)), vx vy (Q(x, y)→→P(x)) VX-P(x) Question 9.3 vx (P(x)→ (Q(x) v R(x))), 3x (P(x) R(x)) + x (P(x) →→ Q(x)) Question 9.4 + x (P(x) → Q(x))^ 3x Q(x)→ 3x P(x) Question 9.5 x (P(x) v Q(x)), 3xQ(x), Vx (R(x)→P(x)) + 3x R(x) 7

Answer rating: 100% (QA)

1 Valid where 3x Fx v3x Gx 3x Fx VGx x FxGx 2 3 4 FaGa 6 7 8 9 10 ... View the full answer