Homework+10%2C+Derivations+in+Predicate+Logic

# Homework+10%2C+Derivations+in+Predicate+Logic - x(Cx> Fx...

This preview shows pages 1–2. Sign up to view the full content.

Homework 10 : Derivations in Predicate Logic: Bring to class on Monday 18th April Relevant new rules: (a) universal-out ( 2200 O) and (b) existential-introduction ( I). (see 8.1-8.7) Ǝ For the first five questions you will need to use 2200 O. For questions 6-9, both 2200 O and I must be Ǝ used. For question 10 you will need to use I. Ǝ (1) 2200 xBx ; 2200 xCx ; (Ba & Ca)--> Db / Db (2) 2200

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: x(Cx --> Fx) ; 2200 x(Fx --> Rxx) ; Ca / Raa (3) 2200 x~Gx ; Ga v Ha ; 2200 x(Rx-->~Hx) / ~Ra (4) 2200 x[(Ax & Bx)--> Cx] ; ~Cf / Af-->~Bf (5) 2200 x 2200 y(Rxy --> Rxx) ; Rab / Raa (6) x~Gx--> Ǝ 2200 xHx ; ~Gc / Hm (7) 2200 x(Fx v Lx) ; ~Lb / xFx Ǝ (8) xRax--> Ǝ 2200 x~Jx ; Raa / ~Jc (9) ~ x(Ax & Bx) ; Ac / ~Bc Ǝ (10) Rab ; x yRxy--> Rdd / xRxd Ǝ Ǝ Ǝ...
View Full Document

{[ snackBarMessage ]}

### Page1 / 2

Homework+10%2C+Derivations+in+Predicate+Logic - x(Cx> Fx...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online