12 Slides--Fitch Examples

12 Slides--Fitch Examples - CS103A HO#12 Slides-Fitch...

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

View Full Document Right Arrow Icon
CS103A HO#12 Slides--Fitch Examples 1/25/08 1 Example Example Example Example Example
Background image of page 1

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

View Full DocumentRight Arrow Icon
CS103A HO#12 Slides--Fitch Examples 1/25/08 2 A B ¬B C A C Proof of Resolution Principle (Proof 6.19) A B ¬B C A A C B A C A C Elim Proof of Resolution Principle (Proof 6.19) A B ¬B C A A C B A C A C Elim Proof of Resolution Principle 9 (Proof 6.19) A B ¬B C A A C B ¬B A C C A C A C A C Intro Intro Elim Intro Elim Elim Proof of Resolution Principle (Proof 6.19) Two Ways To Use Contradictions Proof by Contradiction (¬Intro) ¬P . . . P P . . . ¬P Negation Elimination (¬Elim) . . . Q (for any Q) This is usually, as shown, in a subproof, and we choose Q to be the conclusion of the subproof.
Background image of page 2
CS103A HO#12 Slides--Fitch Examples 1/25/08 3 Cube(b) ¬ (Cube(c) Cube(b)) ¬ Cube(c) 6.9 Cube(b) ¬ (Cube(c) Cube(b)) Cube(c) ¬ Cube(c) ¬Intro 6.9 Cube(b) ¬ (Cube(c)
Background image of page 3

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

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

12 Slides--Fitch Examples - CS103A HO#12 Slides-Fitch...

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

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