12 Slides--Fitch Examples

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

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

CS103A HO#12 Slides--Fitch Examples 1/25/08 1 Example Example Example Example Example

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

View Full Document
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.
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)

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.

## This note was uploaded on 10/01/2011 for the course CS 103A taught by Professor Plummer,r during the Winter '07 term at Stanford.

### 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
Ask a homework question - tutors are online