Lecture-09

Lecture-09 - Lecture 9 Conditional Proof, Nested Subproofs,...

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

View Full Document Right Arrow Icon
1. Conditional Proof 2. Examples 3. Nested Subproofs 4. Examples 6. Examples 5. Tautologies Lecture 9 Conditional Proof, Tautologies Second of two ‘proof strategies’ Conditional Proof Basic idea: prove the conditional ! ! is true, by assuming ! and deriving ! . At some point in a proof, you decide you’d like to be able to derive ! ! on a line, but you can’t figure out how. Add an assumption line consisting of ! , then proceed using the rules. Conditional Proof Keep deriving lines until you derive ! . At this point, we don’t know whether ! is actually true, since we just assumed it, but we have shown that if ! were true, then ! would be true. Conditional Proof But this fact that the subproof demonstrated, that if ! is true, then ! is true, just is what the conditional ! ! means. So the subproof shows that the conditional can be validly infered. Conditional Proof Rules for the use of CP 2. CP ends any time you want 1. Start subproof (SP) by indenting
Background image of page 1

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

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

Page1 / 4

Lecture-09 - Lecture 9 Conditional Proof, Nested Subproofs,...

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