Lecture07RAAetc

# Lecture07RAAetc - Lecture 7 CS 2603 Applied Logic for...

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

CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 1 Lecture 7 —CS 2603 Applied Logic for Hardware and Software toBe ( ¬ toBe) and Other Conundrums

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

View Full Document
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 2 Rules Galore! —Theorems in Rule Form ¬ (a b) ⎯⎯⎯⎯⎯ {DeM F } ( ¬ a) ( ¬ b) DeMorgan Or Fwd ( ¬ a) ( ¬ b) ⎯⎯⎯⎯⎯ {DeM B } ¬ (a b) DeMorgan Or Bkw a b ⎯⎯⎯ { Comm} b a And Commutes a b, b c ⎯⎯⎯⎯⎯⎯ { Chain} a c Implication Chain Rule a b ⎯⎯⎯ { Comm} b a Or Commutes a ¬ a ⎯⎯⎯⎯ { +&- } False NeverBoth ¬ (a b) ⎯⎯⎯⎯⎯ { ¬ ( )Comm} ¬ (b a) Not Or Commutes a b ¬ b ⎯⎯⎯⎯⎯⎯⎯ {modTol} ¬ a Modus Tollens
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 3 A Proof Using Contradiction ⎯⎯⎯⎯⎯ ⎯⎯ ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯ { E} ⎯⎯⎯⎯ ± a b, ¬ a |– b (disjunctive syllogism) False ⎯⎯⎯⎯ {CTR} a Plan ² Use E ¬ a {ID} { +&- } False {CTR} remaining assumptions a b a |– c b |– c ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯ { E} c discharge what? b b a b a b b conclusion

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

View Full Document
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 4 Reductio ad Absurdum ⎯⎯⎯⎯⎯ ± ¬ ( ¬ a) |– a ¬ a |– False ⎯⎯⎯⎯⎯⎯ {RAA} a Plan ² Derive False from ¬ a, given ¬ ( ¬ a) ² Conclude a (citing RAA) { +&- } False ⎯⎯⎯⎯⎯⎯⎯ {RAA} remaining assumption discharge what? ¬ ( ¬ a) ⎯⎯⎯ { ¬¬ F } a Double Negation Fwd What rule for this? a ¬ ( ¬ a) ¬ a conclusion
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 5 Law of the Excluded Middle |– ( ¬ a) a ⎯⎯⎯⎯⎯ { ¬ ( )E R } ¬ a

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 04/08/2008 for the course CS 2603 taught by Professor Rexpage during the Spring '08 term at The University of Oklahoma.

### Page1 / 15

Lecture07RAAetc - Lecture 7 CS 2603 Applied Logic for...

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

View Full Document
Ask a homework question - tutors are online