Lecture-08

# Lecture-08 - Lecture 08 Proofs Replacement Rules Indirect...

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

1. Last 7 replacement rules: DeM, BE, contra, dist, exp, assoc, dup 2. Examples 3. Introduction to Indirect Proof 4. Examples Lecture 08 Proofs: Replacement Last Seven Replacement Rules DeMorgan’s (DeM) ~ ( ! v ! ) :: ~ ! ! ~ ! ~ ( ! ! ! ) :: ~ ! v ~ ! Last Seven Replacement Rules Biconditional Exchange (BE) ! ! :: ( ! ! ) ! ( ! ! ) Last Seven Replacement Rules Contraposition (contra) ! ! :: ~ ! ~ ! Last Seven Replacement Rules Distribution (dist) ! ! ( ! v " ) :: ( ! ! ! ) v ( ! ! " ) ! v ( ! ! " ) :: ( ! v ! ) ! ( ! v " ) Last Seven Replacement Rules Exportation (exp) ! ( ! " ) :: ( ! ! ! ) "

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

View Full Document
Last Seven Replacement Rules Association (assoc) ( ! v ! ) v " :: ! v ( ! v " ) ( ! ! ! ) ! " :: ! ! ( ! ! " ) Last Seven Replacement Rules Duplication (dup) ! :: ! v ! ! :: ! ! ! 1. A / 㱤! ~ ( ~ A ! ~ B) ~ P 2. ~ (P ~ P) ( ~ A ! ~ B) 3. A v B 1 DI 5. ~ ( ~ A ! ~ B) (P ~ P) 2 contra 6. ~ ( ~ A ! ~ B) ( ~ P v ~ P)
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 4

Lecture-08 - Lecture 08 Proofs Replacement Rules Indirect...

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

View Full Document
Ask a homework question - tutors are online