Global recruiter presentation - Taufik Arief (People Search Indonesia)
Rules of Inference pg. 63 - 69 Muhammad Arief download dari .
-
Upload
rose-potter -
Category
Documents
-
view
230 -
download
10
Transcript of Rules of Inference pg. 63 - 69 Muhammad Arief download dari .
![Page 1: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/1.jpg)
Rules of Inferencepg. 63 - 69
Muhammad Ariefdownload dari http://arief.ismy.web.id
http://arief.ismy.web.id
![Page 2: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/2.jpg)
Argument
Definition• An argument is a sequence of statements that
ends with a conclusion. Valid mean that the conclusion must follow from the truth of the preceding statements or premises.
IF premise-1, ….., premise-n THEN conclusion
• An argument is valid if and only if it is impossible for all the premises to be true and the conclusion to be false. If the premises are all true, then the conclusion is also true.
http://arief.ismy.web.id
![Page 3: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/3.jpg)
Example
• If you have a current password, then you can log onto the network
• You have a current password• Therefore,• You can log onto the network
p qp q
• The symbol , read “therefore”• Construct the truth table
http://arief.ismy.web.id
![Page 4: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/4.jpg)
Argument
• If Socrates is a human being, then Socrates is mortal
• Socrates is a human being• Therefore,• Socrates is mortal
p qp q
http://arief.ismy.web.id
![Page 5: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/5.jpg)
Testing the Validity of an Argument• Identify the premises and conclusion of the
argument• Construct a truth table showing the truth values
of all the premises and the conclusion• Find the rows (called critical rows) in which all
the premises are true• In each critical row, determine whether the
conclusion of the argument is also true.– If in each critical row the conclusion is also true, then
the argument form is valid– If there is at least one critical row in which the
conclusion is false, the argument form is invalid
http://arief.ismy.web.id
![Page 6: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/6.jpg)
Valid or Invalid Argument ?
p ( q r)~rp q
http://arief.ismy.web.id
![Page 7: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/7.jpg)
Valid or Invalid Argument ?p q ~rq p rp r
http://arief.ismy.web.id
![Page 8: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/8.jpg)
Modus Ponensp qp q
Modus ponens: method of affirming
http://arief.ismy.web.id
![Page 9: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/9.jpg)
Modus Tolensp q~q ~p
Construct the truth table
Modus tolens: method of denying
http://arief.ismy.web.id
![Page 10: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/10.jpg)
Basic Rules of Inference
http://arief.ismy.web.id
![Page 11: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/11.jpg)
ExampleIt is below freezing nowTherefore, It is either below freezing or raining now
pp q
Valid argument : addition rule
http://arief.ismy.web.id
![Page 12: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/12.jpg)
ExampleIt is below freezing and raining nowTherefore, It is below freezing now
p qp
Valid argument : simplification rule
http://arief.ismy.web.id
![Page 13: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/13.jpg)
ExampleIf it rains today, then we will not have a
barbecue todayIf we do not have a barbecue today, then
we will have a barbecue tomorrowTherefore,If it rains today, then we will have a
barbecue tomorrow
http://arief.ismy.web.id
![Page 14: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/14.jpg)
ExampleIf it rains today, then we will not have a barbecue
todayIf we do not have a barbecue today, then we will have
a barbecue tomorrowTherefore,If it rains today, then we will have a barbecue
tomorrow
p qq r
p r
Valid argument : hypothetical syllogism
http://arief.ismy.web.id
![Page 15: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/15.jpg)
Rule of Inference and Arguments
To show whether an argument is valid, when there are many premises in an argument:
- Construct truth table (not efficient)
- Use several rules of inference
http://arief.ismy.web.id
![Page 16: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/16.jpg)
ExampleIt is not sunny this afternoon and it is colder
than yesterday.
We will go swimming only if it is sunny
If we do not go swimming, then we will take a canoe trip
If we take a canoe trip, then we will be home by sunset
Conclusion:
We will be home by sunset
http://arief.ismy.web.id
![Page 17: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/17.jpg)
ExampleIt is not sunny this afternoon and it is colder
than yesterday.
We will go swimming only if it is sunny
If we do not go swimming, then we will take a canoe trip
If we take a canoe trip, then we will be home by sunset
Conclusion:
We will be home by sunset
http://arief.ismy.web.id
![Page 18: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/18.jpg)
Solution
p: it is sunny this afternoon
q: it is colder than yesterday.
r: we will go swimming
s: we will take a canoe trip
t: we will be home by sunset
http://arief.ismy.web.id
![Page 19: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/19.jpg)
Solution~p q
r p
~r s
s t
Conclusion:
t ?
http://arief.ismy.web.id
![Page 20: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/20.jpg)
Solution1. ~p q2. ~p Simplication3. r p4. ~r Modus tollens5. ~r s6. s Modus ponens7. s t8. t Modus ponens
http://arief.ismy.web.id
![Page 21: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/21.jpg)
ExampleIf you send me an e-mail message, then I will
finish writing the program
If you do not send me an e-mail message, then I will go to sleep early
If I go to sleep early, then I will wake up feeling refreshed
Conclusion:
If I do not finish writing the program, then I will wake up feeling refreshed.
http://arief.ismy.web.id
![Page 22: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/22.jpg)
Solution
p: you send me an e-mail message
q: I will finish writing the program
r: I will go to sleep early
s: I will wake up feeling refreshed
http://arief.ismy.web.id
![Page 23: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/23.jpg)
Solutionp q
~p r
r s
Conclusion:
~q s?
http://arief.ismy.web.id
![Page 24: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/24.jpg)
Solution1. p q
2. ~q ~p Contrapositive
3. ~p r
4. ~q r Hypothetical syllogism
5. r s
6. ~q s Hypothetical syllogism
http://arief.ismy.web.id
![Page 25: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/25.jpg)
ResolutionUsed to automate the task of reasoning
and proving theorems.
((p q) p r)) (q r)
It is a tautology.
Construct the truth table, if you don’t believe it.
http://arief.ismy.web.id
![Page 26: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/26.jpg)
ExampleJasmine is skiing or it is not snowing.It is snowing or Bart is playing hockey.
Conclusion: Jasmine is skiing or Bart is playing hockey.
p: it is snowingq: Jasmine is skiing r: Bart is playing hockey
((p q) p r)) (q r)
http://arief.ismy.web.id
![Page 27: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/27.jpg)
Solve this problemIf George does not have eight legs, then
he is not an insect.
George is an insect.
Therefore
George has eight legs.
http://arief.ismy.web.id
![Page 28: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/28.jpg)
Solve this problemRudy works hard.
If Rudy works hard, then he is a dull boy.
If Rudy is a dull boy, then he will not get the job.
Conclusion:
Rudy will not get the job
http://arief.ismy.web.id
![Page 29: Rules of Inference pg. 63 - 69 Muhammad Arief download dari .](https://reader036.fdocuments.in/reader036/viewer/2022062313/56649ced5503460f949badb2/html5/thumbnails/29.jpg)
Solve this problemIf it does not rain or it is not foggy, then
the sailing race will be held and the lifesaving demonstration will go on.
If the sailing race is held, then the trophy will be awarded.
The trophy was not awarded
Conclusion:
It rained
http://arief.ismy.web.id