Lesson_Ten_and_Test - LESSON 10 Quantificational Logic,...

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

View Full Document Right Arrow Icon
Sections 20 & 21: , Barker, pp. 121-130. ***Read the sections, then the following additional comments. Note that these comments and assignments refer to two sections in Barker. In order to do proofs in quantificational logic, we must follow the indirect method. In general, the use of the method in quantificational proofs follows the identical strategy as in truth-functional proofs. Once again this is what we do: 1. Include the negation of your intended conclusion as another premise. 2. Apply the rules of deduction until you reach a contradiction. 3. You have then shown that your intended conclusion is true since its negation leads to a contradiction . But before you can apply the truth-functional rules, you have to prepare the arguments in certain ways. There are two preliminary steps: 1. You need to reverse negative quantifiers. You do so by means of the equivalences we mentioned in the earlier section, the “slide-through” rules. So, when you set out to do your proof, you go through and apply the rules of equivalence in order to eliminate all negative quantifiers. 2. But you are still not ready to complete the proof. The second thing you need to do is to drop the quantifiers and supply names for the variables. You cannot apply the rules of truth-functional deduction to a logical relationship as long as it is governed by a quantifier. What we need to do for all of our quantified expressions is to supply names as constants. For example, if it is true that Everybody knows how to ride a bicycle. (x)Rx
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.

This note was uploaded on 04/19/2011 for the course PHIL 201E taught by Professor Brentkelly during the Spring '11 term at Taylor University Fort Wayne.

Page1 / 5

Lesson_Ten_and_Test - LESSON 10 Quantificational Logic,...

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