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

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

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full DocumentRight Arrow Icon
Background image of page 2
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

Page1 / 2

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

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online