1)
Exercises 3
1) Rosen(Page 73, #2, modified)
What rules of inference are used in these examples?
a) It is either cold outside, or snowy. It is not cold outside. Therefore it is snowy.
b) Jack is an excellent programmer. If Jack is an excellent programmer, then he will get the job. Therefore, Jack will get the job.
c) If I work all night on this homework, then I can answer all the questions. If I can answer all the questions then I will understand the material. Therefore, if I work all night on this homework, then I will understand the material.
2) Rosen(Page 73, #6)
What rules of inference are used in the argument:
No man is an island. Manhattan is an island. Therefore, Manhattan is not a man.
3) Rosen(Page 74, #7)
What conclusions can you draw from the following statements?
a) If I take the day off, it either rains or snows.
b) I took Tuesday off or Thursday off.
c) It was sunny (did not rain and did not snow) on Tuesday.
d) It did not snow on Thursday.
4) Rosen(Page 74, #10)
Which rules of inference are used in the following arguments?
a) Linda, a student in this class, owns a red convertible. Everyone who owns a red convertible has gotten a speeding ticket. Therefore, someone is this class has gotten a speeding ticket.
b) Everyone enrolled in the university has lived in a dormitory. Mia has not lived in a dormitory. Therefore, Mia is not enrolled in the university.
5) What is wrong with the following arguments? (Rosen, Page 74)
a) All parrots like fruit. My pet bird is not a parrot. Therefore, my pet bird does not like fruit.
b) Every CS major takes discrete math. Natasha takes discrete math. Therefore, Natasha is a computer science major.
6) Rosen(Page 75, # 19)
Let P(n) be the proposition: “If a and b are positive numbers, then [pic][pic]
Prove than P(1) is true. What kind of proof did we use?
7) (Rosen(Page 75, #21)
Prove that if n is an integer and [pic]+ 5 is odd then n is even using
a) an indirect proof
b) a proof by contradiction
8) Rosen(Page 75, #24)
Prove that the product of two odd numbers is odd.
9) Rosen(Page 75, # 34)
Use a proof by cases to show that min(a,min(b,c)) = min(min(a,b),c)).
10) Rosen(Page 76, #50)
Prove that either [pic] or [pic] is not a perfect square. Is your proof constructive or nonconstructive?
11) Rosen(Page 76, # 51)
Prove that there are two consecutive integers such that one is perfect square and the other is a perfect cube. Is your proof constructive or nonconstructive?
12) Rosen(Page 76, #60)
Use resolution to show that the hypothesis: “Allen is a bad boy or Hillary is a good girl” and “Allen is a good boy or David is happy” imply the conclusion “Hillary is a good girl or David is happy”.
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- rules of inference
- list of rules of inference saylor academy
- rules of inference duke university
- rules of inference york university
- reference inference and the semantics of pejoratives
- introduction cidoc crm
- inference web portable explanations for the web
- inference web portable and sharable explanations for
- what is rule based reasoning
- rule of inference conjunction
Related searches
- 1 or 2 374 374 1 0 0 0 1 168 1 1 default username and password
- 1 or 3 374 374 1 0 0 0 1 168 1 1 default username and password
- 1 or 2 711 711 1 0 0 0 1 168 1 1 default username and password
- 1 or 3 711 711 1 0 0 0 1 168 1 1 default username and password
- 1 or 2 693 693 1 0 0 0 1 168 1 1 default username and password
- 1 or 3 693 693 1 0 0 0 1 168 1 1 default username and password
- 1 or 2 593 593 1 0 0 0 1 or 2dvchrbu 168 1 1 default username and password
- 1 or 3 593 593 1 0 0 0 1 or 2dvchrbu 168 1 1 default username and password
- 1 or 2 910 910 1 0 0 0 1 168 1 1 default username and password
- 1 or 3 910 910 1 0 0 0 1 168 1 1 default username and password
- 192 1 or 2 33 33 1 0 0 0 1 1 1 default username and password
- 1 or 2 364 364 1 0 0 0 1 168 1 1 admin username and password