1 / 15

IX Conjunctions of Premises & Conclusions

IX Conjunctions of Premises & Conclusions. Working with more than two premises. Proving arguments with several premises. To show the validity of these arguments, it is necessary to do the proof in several steps

Download Presentation

IX Conjunctions of Premises & Conclusions

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. IX Conjunctions of Premises & Conclusions Working with more than two premises

  2. Proving arguments with several premises • To show the validity of these arguments, it is necessary to do the proof in several steps • A reason must be given for each step taken in a proof like the Theorems of Logic (find those notes!)

  3. Additional Rules • The conjunction of two premises follows from the premises. •  The conjunction of a premise and the conclusion of a valid argument follows. • The conjunction of two conclusions of valid arguments follows from the premises.

  4. Thought Process • When checking the validity of an argument, carefully list each step and give the reason that the step can be taken • If an argument cannot be proven to be valid, it should be shown to be invalid. • This can be done by showing that (hypothesis) (conclusion) is not a tautology. • It is sufficient to show that there is at least one case where (hypothesis)  (conclusion) has a truth value of false

  5. Example: Check the validity of the following argument If it is raining, then the picnic is cancelled. If it is not raining, then the soccer game is not delayed. But the picnic is not cancelled. Therefore the soccer game is not delayed. Let r denote “It is raining.” Let p denote “The picnic is cancelled.” Let s denote “The soccer game is delayed.”

  6. Write in symbolic form FIRST! P1: rp P2: rs P3: p . C: s If it is raining, then the picnic is cancelled. If it is not raining, then the soccer game is not delayed. But the picnic is not cancelled. Therefore the soccer game is not delayed. Let r denote “It is raining.” Let p denote “The picnic is cancelled.” Let s denote “The soccer game is delayed.”

  7. Now to prove – i.e write reasons why each step can be taken 1. rpPremise (this is given) 2. rs Premise (given) 3. p Premise (given) 4. (rp) pConjunction of premises 1 and 3 5. rRule of Modus Tollens applied to step 4 6. (rs) rConjunction of premise 2 and valid argument 5 7. sRule of Modus Ponens applied to step 6

  8. Lets try another • If an object is less dense than water (l), it will float (f). The water displaced by an object will weigh more than the object (m), or the object will not float. But, the water displaced by the object does not weigh more than the object. Thus, the object is not less dense than water.

  9. Write it in symbolic form first P1: lf P2: mf P3: m . C: l If an object is less dense than water (l), it will float (f). The water displaced by an object will weigh more than the object (m), or the object will not float. But, the water displaced by the object does not weigh more than the object. Thus, the object is not less dense than water.

  10. Now to Prove! 1. lf Premise 2. mf Premise 3. m Premise 4. fm Commutative Property applied to step 2 5. fm Property of Logical Equivalence 6. (fm) mConjunction of valid argument 5 and premise 3 7. f Rule of Modus Tollens 8. ( lf) fConjunction of premise 1 and valid argument 7 9. l Rule of Modus Tollens

  11. How About an Invalid One • If the sun has set (s), then the street lamps are on (l). Either the electrical circuits are working (e), or the street lamps are not on. The electrical circuits are not working. Therefore, the sun has set

  12. Symbolic form first If the sun has set (s), then the street lamps are on (l). Either the electrical circuits are working (e), or the street lamps are not on. The electrical circuits are not working. Therefore, the sun has set P1: sl P2: el P3: e . C: s

  13. A different approach since invalid • Must use a truth table to show invalid • So how do we do that??? • (hypothesis)  (conclusion) must be a tautology for a valid argument.

  14. Make a truth table • [(s  l)  (e   l)   e]  s

  15. HOMEWORK 6Rewrite using symbolic form, then check the validity of the argument • The space shuttle landed in Florida (f) or it landed in California (o). If the space shuttle landed in California, then the alternate landing schedule was used (a). But, the alternate landing schedule was not used. Therefore, the space shuttle landed in Florida. • If February has 29 days (d), then it is a leap year (l). If it is a leap year, then there will be a presidential election (e). But, there is not a presidential election. Therefore, February does not have 29 days.

More Related