lecture16

lecture16 - Homework 8.4AOddnumbersupto23...

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

View Full Document Right Arrow Icon
    Homework 8.4 A Odd numbers up to 23 8.5. A Odd numbers up to 19. (Contrary to what the book says, you may  use CP and RAA in any of these  questions).
Background image of page 1

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

View Full DocumentRight Arrow Icon
    Some Tips on Derivations We have 8 implication rules and 10 equivalence  rules.  I suggest using MP, MT, DS, HS and CD whenever  you can see the opportunity to do so. (The first three  will come up more frequently than the latter two) Use DeMorgan’s whenever you have the negation of  a conjunction or a disjunction on a line. Use ME whenever you have a biconditional on a line. Use the other rules only when you can see how they  will be of use.
Background image of page 2
    A couple of proofs ~U  → ~B, S → ~B, ~(U ● ~S), T v B . ˙. T ~(J  ● L), (J → ~L) → (~M ● ~X), E v (M v X) .˙. E
Background image of page 3

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

View Full DocumentRight Arrow Icon
    Conditional Proof The method we have been using so far is called  direct  derivation . With this method you go directly from the premises  to the conclusion. We are not able to construct a direct derivation for every valid  argument. For example, it’s not possible to construct a  derivation for: → ~B .˙. F → (F ● ~B) So we’re going to learn a new method which will make our system complete. This method will also make it easier to derive conditionals, and make many proofs more intuitive. It is called conditional proof .
Background image of page 4
    Conditional Proof We know that conditionals assert that  if  the  antecedent is true, the consequent is true too. This suggests a method for deriving conditionals: 
Background image of page 5

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

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

Page1 / 17

lecture16 - Homework 8.4AOddnumbersupto23...

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

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