valid and invalid arguments
DESCRIPTION
Valid and Invalid Arguments. M260 2.3. Argument. An argument is a sequence of statements. The final statement is called the conclusion , the others are called the premises . = “therefore” before the conclusion. Logical Form. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/1.jpg)
Valid and Invalid Arguments
M260 2.3
![Page 2: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/2.jpg)
Argument
• An argument is a sequence of statements. The final statement is called the conclusion, the others are called the premises.
= “therefore” before the conclusion.
![Page 3: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/3.jpg)
Logical Form
• If Socrates is a human being, then Socrates is mortal;Socrates is a human being; Socrates is mortal.
• If p then q;p;q
![Page 4: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/4.jpg)
Valid Argument
• An argument form is valid means no matter what particular statements are substituted for the statement variables, if the resulting premises are all true, then the conclusion is also true.
• An argument is valid if its form is valid.
![Page 5: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/5.jpg)
Test for Validity
• Identify premises and conclusion
• Construct a truth table including all premises and conclusion
• Find rows with premises true (critical rows)
• If conclusion is true on all critical rows, argument is valid
• Otherwise argument is invalid
![Page 6: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/6.jpg)
Argument Validity TestExample 1
• p (q r)• ~r p q
![Page 7: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/7.jpg)
premises conclusion
p q r q r p(qr) ~r p q
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
![Page 8: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/8.jpg)
premises conclusion
p q r q r p(qr) ~r p q
T T T T T F T
T T F T T T T
T F T T T F T
T F F F T T T
F T T T T F T
F T F T T T T
F F T T T F F
F F F F F T F
![Page 9: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/9.jpg)
premises conclusion
p q r q r p(qr) ~r p q
T T T T T F T
T T F T T T T
T F T T T F T
T F F F T T T
F T T T T F T
F T F T T T T
F F T T T F F
F F F F F T F
![Page 10: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/10.jpg)
Argument Validity TestExample 2
• p q ~r
• q p r p r
![Page 11: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/11.jpg)
premises conclusion
p q r ~ r q~r pr pq~r qpr p r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
![Page 12: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/12.jpg)
premises conclusion
p q r ~ r q~r pr pq~r qpr p r
T T T F T T T T T
T T F T T F T F F
T F T F F T F T T
T F F T T F T T F
F T T F T F T F T
F T F T T F T F T
F F T F F F T T T
F F F T T F T T T
![Page 13: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/13.jpg)
premises conclusion
p q r ~ r q~r pr pq~r qpr p r
T T T F T T T T T
T T F T T F T F F
T F T F F T F T T
T F F T T F T T F
F T T F T F T F T
F T F T T F T F T
F F T F F F T T T
F F F T T F T T T
![Page 14: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/14.jpg)
Rules of Inference(Valid Argument Forms)
• Modus Ponens• Modus Tolens• Generalization• Specialization
• Elimination• Transitivity• Division into Cases• Rule of Contradiction
![Page 15: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/15.jpg)
Modus Ponens
• If p then q;
• p; q
![Page 16: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/16.jpg)
Modus Ponens
premises conclusion
p q pq p q
T T
T F
F T
F F
![Page 17: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/17.jpg)
Modus Ponens
premises conclusion
p q pq p q
T T T T T
T F F T F
F T T F T
F F T F F
![Page 18: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/18.jpg)
Modus Ponens
premises conclusion
p q pq p q
T T T T T
T F F T F
F T T F T
F F T F F
![Page 19: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/19.jpg)
Modus Ponens Example
• If the last digit of this number is 0, then the number is divisible by 10.
• The last digit of this number is a 0. This number is divisible by 10.
![Page 20: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/20.jpg)
Modus Tollens
• If p then q;
• ~q; ~p
![Page 21: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/21.jpg)
Modus Tollens
premises conclusion
p q pq ~q ~p
T T
T F
F T
F F
![Page 22: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/22.jpg)
Modus Tollens
premises conclusion
p q pq ~q ~p
T T T F F
T F F T F
F T T F T
F F T T T
![Page 23: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/23.jpg)
Modus Tollens
premises conclusion
p q pq ~q ~p
T T T F F
T F F T F
F T T F T
F F T T T
![Page 24: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/24.jpg)
Modus Tollens Example
• If Zeus is human, then Zeus is mortal.
• Zeus is not mortal. Zeus is not human
• Modus tollens uses the contrapositive.
![Page 25: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/25.jpg)
Generalization
• p pq
• q pq
![Page 26: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/26.jpg)
Specialization
• pq p
• pq q
![Page 27: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/27.jpg)
Elimination
• pq• ~q p
• p q• ~p q
![Page 28: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/28.jpg)
Transitivity
• pq
• qrpr
![Page 29: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/29.jpg)
Division into Cases
• pq• pr
• qrr
![Page 30: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/30.jpg)
Division into Cases Example
• x>1 or x<-1
• If x>1 then x2>1
• If x<-1 then x2>1 x2>1
![Page 31: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/31.jpg)
Valid Inference ExampleStatements a, b, c.
• a. If my glasses are on the kitchen table, then I saw them at breakfast.
• b. I was reading the newspaper in the living room or I was reading the newspaper in the kitchen.
• c. If I was reading the newspaper in the living room, then my glasses are on the coffee table.
![Page 32: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/32.jpg)
Valid Inference ExampleStatements a, b, c.
• a. If my glasses are on the kitchen table, then I saw them at breakfast.
• b. I was reading the newspaper in the living room or I was reading the newspaper in the kitchen.
• c. If I was reading the newspaper in the living room, then my glasses are on the coffee table.
![Page 33: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/33.jpg)
Valid Inference ExampleSymbols p, q, r, s, t.
• p = My glasses are on the kitchen table.
• q = I saw my glasses at breakfast.
• r = I was reading the newspaper in the living room
• s = I was reading the newspaper in the kitchen.
• t = My glasses are on the coffee table.
![Page 34: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/34.jpg)
Statements a, b, cin Symbols
• a. p q
• b. r s• c. r t
![Page 35: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/35.jpg)
Valid Inference ExampleStatements d, e, f.
• d. I did not see my glasses at breakfast.
• e. If I was reading my book in bed, then my glasses are on the bed table.
• f. If I was reading the newspaper in the kitchen, then my glasses are on the kitchen table.
![Page 36: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/36.jpg)
Valid Inference ExampleStatements d, e, f.
• d. I did not see my glasses at breakfast.
• e. If I was reading my book in bed, then my glasses are on the bed table.
• f. If I was reading the newspaper in the kitchen, then my glasses are on the kitchen table.
![Page 37: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/37.jpg)
Valid Inference ExampleSymbols u, v.
• u =I was reading my book in bed.
• v = My glasses are on the bed table.
![Page 38: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/38.jpg)
Statements d, e, fin Symbols
• d. ~q
• e. u v
• f. s p
![Page 39: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/39.jpg)
Inference Example Givens
• a. p q• b. r s• c. r t
• d. ~q• e. u v• f. s p
![Page 40: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/40.jpg)
Deduction Sequence
• 1. p q from ( )~q from ( ) ~p by __________
• 2. s p from ( )~p from ( ) ~s by__________
![Page 41: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/41.jpg)
Deduction Sequence
• 1. p q from (a)~q from (d) ~p by modus tollens
• 2. s p from (f)~p from (1) ~s by modus tollens
![Page 42: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/42.jpg)
Deduction Sequence
• 3. r s from ( )~s from ( ) r by_____________
• 4. r tfrom ( )r from ( ) t by_____________
![Page 43: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/43.jpg)
Deduction Sequence
• 3. r s from (b)~s from (2) r by disjunctive syllogism
• 4. r tfrom (c)r from (3) t by modus ponens
![Page 44: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/44.jpg)
Errors in Reasoning
• Using vague or ambiguous premises.
• Circular reasoning
• Jumping to conclusions
• Converse error
• Inverse error
![Page 45: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/45.jpg)
Converse Error
• If Zeke is a cheater, then Zeke sits in the back row. Zeke sits in the back row. Zeke is a cheater.
• pqq p
![Page 46: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/46.jpg)
Inverse Error
• If interest rates are going up,then stock market prices will go down.Interest rates are not going up Stock market prices will not go down.
• pq~p ~q
![Page 47: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/47.jpg)
Inverse Error
• If I intend to sell my house, then I will need a permit for this wall.I do not intend to sell my house. I do not need a permit for this wall.
• pq~p ~q
![Page 48: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/48.jpg)
Validity vs. Truth
• Valid arguments can have false conclusions if one of the premises is false.
• Invalid arguments can have true conclusions.
![Page 49: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/49.jpg)
Valid but False
• If John Lennon was a rock starthen John Lennon had red hair.
• John Lennon was a rock star. John Lennon had red hair.
![Page 50: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/50.jpg)
Invalid but True
• If New York is a big city,then New York has tall buildings.
• New York has tall buildings. New York is a big city.
![Page 51: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/51.jpg)
Contradiction Rule
• If the supposition that p is false leads to a contradiction then p is true.
• ~p c, where c is a contradiction. p
![Page 52: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/52.jpg)
Contradiction Rule
• If the supposition that p is false leads to a contradiction then p is true.
• ~p c, where c is a contradiction. p
premise conclusion
p ~p c ~pc p
T F F T T
F T F F F
![Page 53: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/53.jpg)
Rule of Contradiction Example
• Knights tell the truth, Knaves lie.
• A says: “B is a knight.”
• B says: “A and I are opposite types.”
• What are A and B?
• (Hint: Suppose A is a Knight.)
![Page 54: Valid and Invalid Arguments](https://reader036.vdocument.in/reader036/viewer/2022081420/56813acf550346895da2f5ef/html5/thumbnails/54.jpg)
Rules of Inference(Valid Argument Forms)
• Modus Ponens• Modus Tolens• Disjunctive Addition• Conjunctive
Simplification
• Disjunctive Syllogism• Hypothetical
Syllogism• Division into Cases• Rule of Contradiction