rules of inference
DESCRIPTION
Rules of Inference. Rosen 1.5. Proofs in mathematics are valid arguments. An argument is a sequence of statements that end in a conclusion. By valid we mean the conclusion must follow from the truth of the preceding statements or premises. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/1.jpg)
Rules of Inference
Rosen 1.5
![Page 2: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/2.jpg)
Proofs in mathematics are valid arguments
An argument is a sequence of statements that end in a conclusion
By valid we mean the conclusion must follow from the truth of the precedingstatements or premises
We use rules of inference to construct valid arguments
![Page 3: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/3.jpg)
If you listen you will hear what I’m sayingYou are listeningTherefore, you hear what I am saying
Valid Arguments in Propositional Logic
Is this a valid argument?
Let p represent the statement “you listen” Let q represent the statement “you hear what I am saying”
The argument has the form:
q
pqp
![Page 4: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/4.jpg)
Valid Arguments in Propositional Logic
q
pqp
qpqp ))(( is a tautology (always true)
11111100011011010100
))(()( qpqppqpqpqp
This is another way of saying that
therefore
![Page 5: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/5.jpg)
Valid Arguments in Propositional Logic
When we replace statements/propositions with propositional variableswe have an argument form.
Defn:An argument (in propositional logic) is a sequence of propositions.All but the final proposition are called premises.The last proposition is the conclusionThe argument is valid iff the truth of all premises implies the conclusion is trueAn argument form is a sequence of compound propositions
![Page 6: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/6.jpg)
Valid Arguments in Propositional Logic
The argument form with premises
qppp n )( 21
and conclusion q
is valid when
nppp ,,, 21
is a tautology
We prove that an argument form is valid by using the laws of inference
But we could use a truth table. Why not?
![Page 7: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/7.jpg)
Rules of Inference for Propositional Logic
q
pqp
modus ponens
aka law of detachment
modus ponens (Latin) translates to “mode that affirms”
The 1st law
![Page 8: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/8.jpg)
Rules of Inference for Propositional Logic
q
pqp
modus ponens
If it’s a nice day we’ll go to the beach. Assume the hypothesis“it’s a nice day” is true. Then by modus ponens it follows that“we’ll go to the beach”.
![Page 9: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/9.jpg)
Rules of Inference for Propositional Logic
q
pqp
modus ponens
A valid argument can lead to an incorrect conclusionif one of its premises is wrong/false!
22
23)2(
232
232
23)2(
232
22
2
22
232
232
23)2(
232
![Page 10: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/10.jpg)
Rules of Inference for Propositional Logic
q
pqp
modus ponens
492
232
23)2(
232
22
qp
q
p
2
232:
232:
The argument is valid as it is constructed using modus ponensBut one of the premises is false (p is false)So, we cannot derive the conclusion
A valid argument can lead to an incorrect conclusion if one of its premises is wrong/false!
![Page 11: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/11.jpg)
The rules of inference Page 66
Resolution)()]()[(
nConjunctio)())()((
tionSimplifica)(
Addition)(
syllogismeDisjunctiv))((
syllogismalHypothetic)()]()[(
tollenModus)]([
ponensModus)]([
NameTautologyinferenceofRule
rprpqp
rq
rpqp
qpqp
qp
qp
pqpp
qp
qppqp
p
qpqpq
pqp
rprqqp
rp
rqqp
pqpq
p
qpq
qqpp
q
pqp
![Page 12: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/12.jpg)
You might think of this as some sort of game.
You are given some statement, and you want to see if it is avalid argument and true
You translate the statement into argument form using propositional variables, and make sure you have the premises right, and clear whatis the conclusion
You then want to get from premises/hypotheses (A) to the conclusion (B)using the rules of inference.
So, get from A to B using as “moves” the rules of inference
Another view on what we are doing
![Page 13: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/13.jpg)
Using the rules of inference to build arguments An example
It is not sunny this afternoon and it is colder than yesterday.If we go swimming 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.We will be home by sunset
![Page 14: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/14.jpg)
Using the rules of inference to build arguments An example
1. It is not sunny this afternoon and it is colder than yesterday.2. If we go swimming it is sunny.3. If we do not go swimming then we will take a canoe trip.4. If we take a canoe trip then we will be home by sunset.5. We will be home by sunset
)conclusion (thesunset by home be willWe tripcanoe a take willWe
swimming go Weyesterdayn colder tha isIt
afternoon sunny this isIt
tsrqp
ttssrprqp
.5
.4
.3
.2
.1
propositions hypotheses
![Page 15: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/15.jpg)
Hypothesis.1ReasonStep
qp
(1) usingtion Simplifica.2Hypothesis.1ReasonStep
pqp
Hypothesis.3
(1) usingtion Simplifica.2Hypothesis.1ReasonStep
prpqp
(3) and (2) using tollensModus.4Hypothesis.3
(1) usingtion Simplifica.2Hypothesis.1ReasonStep
rpr
pqp
Hypothesis.5(3) and (2) using tollensModus.4
Hypothesis.3(1) usingtion Simplifica.2
Hypothesis.1ReasonStep
srrpr
pqp
(5) and (4) using ponens Modus.6Hypothesis.5
(3) and (2) using tollensModus.4Hypothesis.3
(1) usingtion Simplifica.2Hypothesis.1ReasonStep
ssr
rpr
pqp
Using the rules of inference to build arguments An example
)conclusion (thesunset by home be willWe tripcanoe a take willWe
swimming go Weyesterdayn colder tha isIt
afternoon sunny this isIt
tsrqp
ttssrprqp
.5
.4
.3
.2
.1
Resolution)()]()[(
nConjunctio)())()((
tionSimplifica)(
Addition)(
syllogismeDisjunctiv))((
syllogismalHypothetic)()]()[(
tollenModus)]([
ponensModus)]([
NameTautologyinferenceofRule
rprpqp
rq
rpqp
qpqp
qp
qp
pqpp
qp
qppqp
p
qpqp
q
pqp
rprqqp
rp
rqqp
pqpq
p
qpq
qqpp
q
pqp
Hypothesis.7(5) and (4) using ponens Modus.6
Hypothesis.5(3) and (2) using tollensModus.4
Hypothesis.3(1) usingtion Simplifica.2
Hypothesis.1ReasonStep
tss
srrpr
pqp
(7) and (6) using ponens Modus.8Hypothesis.7
(5) and (4) using ponens Modus.6Hypothesis.5
(3) and (2) using tollensModus.4Hypothesis.3
(1) usingtion Simplifica.2Hypothesis.1ReasonStep
tts
ssr
rpr
pqp
![Page 16: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/16.jpg)
Using the resolution rule (an example)
1. Anna is skiing or it is not snowing.2. It is snowing or Bart is playing hockey.3. Consequently Anna is skiing or Bart is playing hockey.
We want to show that (3) follows from (1) and (2)
![Page 17: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/17.jpg)
Using the resolution rule (an example)
1. Anna is skiing or it is not snowing.2. It is snowing or Bart is playing hockey.3. Consequently Anna is skiing or Bart is playing hockey.
snowing isit hockey playing isBart
skiing is Anna
rqp
propositions
qrrp
.2.1
hypotheses
rq
rpqp
Consequently Anna is skiing or Bart is playing hockey
Resolution rule
![Page 18: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/18.jpg)
Rules of Inference & Quantified Statements
All men are £$%^$*(%, said JaneJohn is a manTherefore John is a £$%^$*(
Above is an example of a rule called “Universal Instantiation”.We conclude P(c) is true, where c is a particular/named element in the domain of discourse, given the premise )(xPx
![Page 19: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/19.jpg)
Rules of Inference & Quantified Statements
tiongeneralisa lExistentia)(
celement somefor P(c)
ioninstantiat lExistentiacelement somefor )(
P(x)x
tiongeneralisa Universal)(
carbitrary an for P(c)
ioninstantiat Universal)(
P(x)xNameInference of Rule
xPx
cP
xPx
cP
![Page 20: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/20.jpg)
PremiseB(x))(M(x)x.1ReasonStep
(1.) fromion instantiat UniversalB(John)M(John).2
PremiseB(x))(M(x)x.1ReasonStep
PremiseM(John).3(1.) fromion instantiat UniversalB(John)M(John).2
PremiseB(x))(M(x)x.1ReasonStep
Rules of Inference & Quantified StatementsAll men are £$%^$*(%, said JaneJohn is a manTherefore John is a £$%^$*(
tiongeneralisa lExistentia)(
celement somefor P(c)
ioninstantiat lExistentiacelement somefor )(
P(x)x
tiongeneralisa Universal)(
carbitrary an for P(c)
ioninstantiat Universal)(
P(x)xNameInference of Rule
xPx
cP
xPx
cP
B(x))(M(x)x premises
(*£$%^$ a isx B(x)man a isx M(x)
premises
(3.) and (2.) from ponens ModusB(John).4PremiseM(John).3
(1.) fromion instantiat UniversalB(John)M(John).2PremiseB(x))(M(x)x.1ReasonStep
![Page 21: Rules of Inference](https://reader035.vdocument.in/reader035/viewer/2022081513/56815c29550346895dc9fe4d/html5/thumbnails/21.jpg)
Rules of Inference & Quantified Statements
Maybe another example?