Sec 3.6 Analyzing Arguments with Truth...

36
Sec 3.6 Analyzing Arguments with Truth Tables Some arguments are more easily analyzed to determine if they are valid or invalid using Truth Tables instead of Euler Diagrams. One example of such an argument is: If it rains, then the squirrels hide. It is raining. ------------------------------------- The squirrels are hiding. Notice that in this case, there are no universal quantiers such as all, some, or every, which would indicate we could use Euler Diagrams. To determine the validity of this argument, we must rst identify the component statements found in the argument. They are: p = it rains / is raining q = the squirrels hide / are hiding ' 200509, N. Van Cleave 1

Transcript of Sec 3.6 Analyzing Arguments with Truth...

Page 1: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Sec 3.6 Analyzing Arguments with Truth Tables

Some arguments are more easily analyzed to determine if they arevalid or invalid using Truth Tables instead of Euler Diagrams.

One example of such an argument is:

If it rains, then the squirrels hide.It is raining.-------------------------------------The squirrels are hiding.

Notice that in this case, there are no universal quantifiers suchas all, some, or every, which would indicate we could use EulerDiagrams.

To determine the validity of this argument, we must first identifythe component statements found in the argument. They are:

p = it rains / is rainingq = the squirrels hide / are hiding

© 2005–09, N. Van Cleave 1

Page 2: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Rewriting the Premises and Conclusion

Premise 1: p → qPremise 2: pConclusion: q

Thus, the argument converts to:((p → q) ∧ p) → q

With Truth Table:

p q ((p → q) ∧ p) → q

T T

T F

F T

F F

Are the squirrels hiding?

© 2005–09, N. Van Cleave 2

Page 3: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Testing Validity with Truth Tables

1. Break the argument down into component statements, assigningeach a letter.

2. Rewrite the premises and conclusion symbolically.

3. Rewrite the argument as an implication with the conjunction ofall the premises as the antecedent, and the conclusion as theconsequent.

4. Complete a Truth Table for the resulting conditional statement.If it is a tautology, then the argument is valid; otherwise, it’sinvalid.

© 2005–09, N. Van Cleave 3

Page 4: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Recall

Direct Statement p → q

Converse q → p

Inverse ∼ p →∼ q

Contrapositive ∼ q →∼ p

Which are equivalent?

© 2005–09, N. Van Cleave 4

Page 5: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If you come home late, then you are grounded.You come home late.---------------------------------------------You are grounded.

p =

q =

Premise 1:Premise 2:Conclusion:Associated Implication:

p qT TT FF TF F

Are you grounded?

© 2005–09, N. Van Cleave 5

Page 6: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Modus Ponens — The Law of Detachment

Both of the prior example problems use a pattern for argumentcalled modus ponens, or The Law of Detachment.

p → qp

------q

or

((p → q) ∧ p) → q

Notice that all such arguments lead to tautologies, and thereforeare valid.

© 2005–09, N. Van Cleave 6

Page 7: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If a knee is skinned, then it will bleed.The knee is skinned.--------------------------------------It bleeds.

p =

q =

Premise 1:Premise 2:Conclusion:Associated Implication:

p qT TT FF TF F

(Modus Ponens) – Did the knee bleed?

© 2005–09, N. Van Cleave 7

Page 8: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Modus Tollens — ExampleIf Frank sells his quota, he’ll get a bonus.Frank doesn’t get a bonus.-------------------------------------Frank didn’t sell his quota.

p =

q =

Premise 1: p → q Premise 2: ∼ q Conclusion: ∼ p

Thus, the argument converts to: ((p → q) ∧ ∼ q) → ∼ p

p q ((p → q) ∧ ∼ q) → ∼ pT TT FF TF F

Did Frank sell his quota or not?

© 2005–09, N. Van Cleave 8

Page 9: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Modus Tollens

An argument of the form:

p → q∼ q

------∼ p

or

((p → q) ∧ ∼ q) → ∼ p

is called Modus Tollens, and represents a valid argument.

© 2005–09, N. Van Cleave 9

Page 10: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Modus Tollens — Example IIIf the bananas are ripe, I’ll make banana bread.I don’t make banana bread.-------------------------------------The bananas weren’t ripe.

p =

q =

Premise 1: p → q Premise 2: ∼ q Conclusion: ∼ p

Thus, the argument converts to: ((p → q) ∧ ∼ q) → ∼ p

p q ((p → q) ∧ ∼ q) → ∼ pT TT FF TF F

Were the bananas ripe or not?

© 2005–09, N. Van Cleave 10

Page 11: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Fallacy of the Inverse — ExampleIf it rains, I’ll get wet.It doesn’t rain.-------------------------------------I don’t get wet.

p =

q =

Premise 1: p → q Premise 2: ∼ p Conclusion: ∼ q

Thus, the argument converts to: ((p → q) ∧ ∼ p) → ∼ q

p q ((p → q) ∧ ∼ p) → ∼ qT TT FF TF F

Did I get wet?

© 2005–09, N. Van Cleave 11

Page 12: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Fallacy of the Inverse

An argument of the form:

p → q∼ p

------∼ q

or

((p → q) ∧ ∼ p) → ∼ q

is called the Fallacy of the Inverse, and represents an invalidargument.

© 2005–09, N. Van Cleave 12

Page 13: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Fallacy of the Inverse — Example IIIf you’re good, you’ll be rewarded.You aren’t good.-------------------------------------You aren’t rewarded.

p =

q =

Premise 1: p → q Premise 2: ∼ p Conclusion: ∼ q

Thus, the argument converts to: ((p → q) ∧ ∼ p) → ∼ q

p q ((p → q) ∧ ∼ p) → ∼ qT TT FF TF F

Are you rewarded?

© 2005–09, N. Van Cleave 13

Page 14: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Another Type of (Invalid) ArgumentIf it rains, then the squirrels hide.The squirrels are hiding.-------------------------------------It is raining.

p = it rains / is rainingq = the squirrels hide / are hiding

Premise 1: p → q Premise 2: q Conclusion: p

Thus, the argument converts to: ((p → q) ∧ q) → p

p q ((p → q) ∧ q) → pT TT FF TF F

(Fallacy of the Converse) — Is it raining?

© 2005–09, N. Van Cleave 14

Page 15: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Fallacy of the Converse

An argument of the form:

p → qq

------p

or

((p → q) ∧ q) → p

is sometimes called the Fallacy of the Converse, and represents aninvalid argument.

© 2005–09, N. Van Cleave 15

Page 16: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If you like me, then I like you.I like you.-------------------------------------You like me.

p =

q =

Premise 1:Premise 2:Conclusion:Associated Implication:

p qT TT FF TF F

(Fallacy of the Converse) — Do you like me?

© 2005–09, N. Van Cleave 16

Page 17: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Disjunctive Syllogism — ExampleEither you get home by midnight, or you’re grounded.You aren’t grounded.-------------------------------------You got home by midnight.

p =

q =

Premise 1: p ∨ q Premise 2: ∼ q Conclusion: p

Thus, the argument converts to: ((p ∨ q) ∧ ∼ q) → p

p q ((p ∨ q) ∧ ∼ q) → pT TT FF TF F

Did you get home by midnight?

© 2005–09, N. Van Cleave 17

Page 18: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Disjunctive Syllogism

An argument of the form:

p ∨ q∼ q

------p

or

((p ∨ q) ∧ ∼ q) → p

is called a Disjunctive Syllogism, and represents a valid argument.

© 2005–09, N. Van Cleave 18

Page 19: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Disjunctive Syllogism — Example IIEither this milk has soured, or I have the flu.The milk has not soured.-------------------------------------I have the flu.

p =

q =

Premise 1: p ∨ q Premise 2: ∼ p Conclusion: q

Thus, the argument converts to: ((p ∨ q) ∧ ∼ p) → q

p q ((p ∨ q) ∧ ∼ p) → qT TT FF TF F

Do I have the flu?

© 2005–09, N. Van Cleave 19

Page 20: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Reasoning by Transitivity — Example

If you’re kind to people, you’ll be well liked.If you’re well liked, you’ll get ahead in life.--------------------------------------------------If you’re kind to people, you’ll get ahead in life.

p = you’re kind to peopleq = you’re well likedr = you get ahead in life

Premise 1: p → q Premise 2: q → r Conclusion: p → r

Thus, the argument converts to: ((p → q) ∧ (q → r)) → (p → r)

© 2005–09, N. Van Cleave 20

Page 21: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

p q r ((p → q) ∧ (q → r)) → (p → r)T T TT T FT F TT F FF T TF T FF F TF F F

© 2005–09, N. Van Cleave 21

Page 22: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Reasoning by Transitivity

An argument of the form:

p → qq → r------p → r

or

((p → q) ∧ (q → r)) → (p → r)

is called Reasoning by Transitivity, and represents a valid argument.

© 2005–09, N. Van Cleave 22

Page 23: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Reasoning by Transitivity — ExampleIf it purrs, it’s a cat.If it’s a cat, I’m allergic to it.----------------------------------If it purrs, I’m allergic to it.

p =

q =

r =

Valid or Invalid?

© 2005–09, N. Van Cleave 23

Page 24: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Argument Forms

VALIDModus Modus Disjunctive Reasoning byPonens Tollens Syllogism Transitivityp → q p → q p ∨ q p → qp ∼ q ∼ p q → rq ∼ p q p → r

INVALIDFallacy of Fallacy ofthe Converse the Inversep → q p → qq ∼ pp ∼ q

© 2005–09, N. Van Cleave 24

Page 25: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Valid or Invalid?

If you stay in, your roommate goes out.If your roommate doesn’t go out, s/he will finish

their math homework.Your roommate doesn’t finish their math homework.Therefore, you do not stay in.

© 2005–09, N. Van Cleave 25

Page 26: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Determine a Valid Conclusion

It is either day or night.If it is daytime, then the squirrels are scurrying.It is not nighttime.

© 2005–09, N. Van Cleave 26

Page 27: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Determine a Valid ConclusionIf it is cold, you wear a coat.If you don’t wear a coat, you are dashing.You aren’t dashing.

© 2005–09, N. Van Cleave 27

Page 28: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Valid or Fallacy? Which Form?

If you use binoculars, then you get a glimpse of the comet.

If you get a glimpse of the comet, then you’ll be amazed.

If you use binoculars, then you’ll be amazed.

© 2005–09, N. Van Cleave 28

Page 29: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If he buys another toy, his toy chest will overflow.

His toy chest overflows.

He bought another toy.

© 2005–09, N. Van Cleave 29

Page 30: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If Ursula plays, the opponent gets shut out.

The Opponent does not get shut out.

Ursula does not play.

© 2005–09, N. Van Cleave 30

Page 31: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If we evolved a race of Isaac Newtons, that

would be progress. (A. Huxley)

We have not evolved a race of Isaac Newtons.

That is progress.

© 2005–09, N. Van Cleave 31

Page 32: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Alison pumps iron or Tom jogs.

Tom doesn’t jog.

Alison pumps iron.

© 2005–09, N. Van Cleave 32

Page 33: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

Jeff loves to play gold. If Joan likes to sew, then Jeffdoes not love to play golf. If Joan does not like to sew,then Brad sings in the choir. Therefore, Brad sings in thechoir.

© 2005–09, N. Van Cleave 33

Page 34: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If the Bobble head doll craze continues, then Beanie Babieswill remain popular. Barbie dolls continue to be favoritesor Beanie Babies will remain popular. Barbie dolls do notcontinue to be favorites. Therefore, the Bobble head dollcraze does not continue.

© 2005–09, N. Van Cleave 34

Page 35: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If Jerry is a DJ, then he lives in Lexington. He lives inLexington and is a history buff. Therefore, if Jerry is nota history buff, then he is not a DJ.

© 2005–09, N. Van Cleave 35

Page 36: Sec 3.6 Analyzing Arguments with Truth Tablescastle.eiu.edu/~mathcs/mat1160/Spring09/Webview/Slides/sec3-6.pdfSec 3.6 Analyzing Arguments with Truth Tables ... If I’ve got you under

If I’ve got you under my skin, then you are deep in the heartof me. If you are deep in the heart of me, then you are notreally a part of me. You are deep in the heart of me, or youare really a part of me. Therefore, if I’ve got you undermy skin, then you are really a part of me.

© 2005–09, N. Van Cleave 36