ds-t2b-a

Since the proposition above is a contingency one

Info iconThis preview shows page 2. Sign up to view the full content.

View Full Document Right Arrow Icon
Why is reasoning using this argument form deemed invalid? Since the proposition above is a contingency, one cannot be one hundred per cent certain that the truth of the conclusion follows from the truth of the hypothesis. That, of course, is unacceptable behavior for a rule of inference, and is why we require all the implications used as rules of inference to be tautologies. [Think about betting your life on the rules of inference!!] 8. (15 pts.) c(Frodo) j(Frodo) ( x)(j(x) h(x)) ( x)(c(x) h(x)) Proof of validity: 1. ( x)(j(x) h(x)) : Hypothesis 2. j(Frodo) h(Frodo) : 1,Universal Instantiation 3. j(Frodo) : Hypothesis 4. h(Frodo) : 2,3,Modus Ponens 5. c(Frodo) : Hypothesis 6. c(Frodo) h(Frodo) : 5,4,Conjunction 7. ( x)(c(x) h(x)) : 6,Existential Generalization
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Ask a homework question - tutors are online