Lecture Notes 8
description
Transcript of Lecture Notes 8
![Page 1: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/1.jpg)
Lecture Notes 8Lecture Notes 8
CS1502CS1502
![Page 2: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/2.jpg)
Example ProofExample Proof
A A (B (B C) C)
(A (A B) B) (A (A C) C)
![Page 3: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/3.jpg)
![Page 4: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/4.jpg)
Valid ArgumentValid Argument
PP11
P P22
… … P Pnn
Q Q
Q is a tautological (logical) consequence of PQ is a tautological (logical) consequence of P11, P, P22, …, P, …, Pnn
(P(P1 1 P P2 2 … … P Pnn) ) Q is a tautology (logical necessity). Q is a tautology (logical necessity). NEW IDEANEW IDEA
Valid Argument
![Page 5: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/5.jpg)
ExampleExample
Show Show P is a tautological consequence of P is a tautological consequence of (P (P Q). Q).
Methods of attack:Methods of attack:BooleBoole
– Show Show P is a tautological consequence of P is a tautological consequence of (P (P Q). Q).
– Show Show (P (P Q) Q) P is a tautology.P is a tautology.
FitchFitch– Show Show (P (P Q) is a valid argument Q) is a valid argument
P
![Page 6: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/6.jpg)
Tautological ConsequenceTautological Consequence
![Page 7: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/7.jpg)
TautologyTautology
![Page 8: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/8.jpg)
Using FitchUsing Fitch
![Page 9: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/9.jpg)
ExampleExample
Show Show P is not a tautological consequence of P is not a tautological consequence of (P (P Q). Q).
Method of attack:Method of attack:BooleBoole
– Show Show P is not a tautological consequence of P is not a tautological consequence of (P (P Q). Q).– Show Show (P (P Q) Q) P is not a tautology.P is not a tautology.
Build a worldBuild a world– Show Show (P (P Q) is an invalid argument Q) is an invalid argument
P
![Page 10: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/10.jpg)
Not a Tautological Not a Tautological ConsequenceConsequence
![Page 11: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/11.jpg)
Not a TautologyNot a Tautology
![Page 12: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/12.jpg)
Build a WorldBuild a World
Let P be assigned true and Q false.Let P be assigned true and Q false. (P (P Q) is true while Q) is true while P is false.P is false.
premises conclusion
![Page 13: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/13.jpg)
ExampleExample
Show the following argument is valid.Show the following argument is valid.
Cube(b) Cube(b) (Cube(c) (Cube(c) Cube(b)) Cube(b)) Cube(c) Cube(c)
![Page 14: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/14.jpg)
Logical ConsequenceLogical Consequence
Cube(b) Cube(c) Cube(b) ~(Cube(b) ̂Cube(c )) ~Cube(c) is spurious?T T T F F noT F T T T noF T F T F noF F F T T no
![Page 15: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/15.jpg)
Logical NecessityLogical Necessity
Cube(b) Cube(c) Cube(b) ~(Cube(b) ̂Cube(c) ~Cube(c) (Cube(b) ̂~(Cube(b) ̂Cube(c))) -> ~Cube(c)T T T F F TT F T T T TF T F T F TF F F T T T
Every non-spurious row is true! In fact, every row is true, so a Tautology!!
![Page 16: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/16.jpg)
FitchFitch
![Page 17: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/17.jpg)
Non-consequenceNon-consequence
Show the following argument is invalid.Show the following argument is invalid.
Cube(a) Cube(a) Cube(b) Cube(b) (Cube(c) (Cube(c) Cube(b)) Cube(b)) Cube(c)Cube(c)
![Page 18: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/18.jpg)
CounterexampleCounterexample
![Page 19: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/19.jpg)
Inference PatternsInference Patterns
Modus PonensModus Ponens P P Q Q P P Q Q
![Page 20: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/20.jpg)
Tautological ConsequenceTautological Consequence
![Page 21: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/21.jpg)
TautologyTautology
![Page 22: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/22.jpg)
EliminationElimination
P P Q Q … …
P P … … Q Q Elim
![Page 23: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/23.jpg)
IntroductionIntroduction
PP … …
Q Q P P Q Q Intro
![Page 24: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/24.jpg)
EliminationElimination
P P Q Q … …
P P … … Q Q Elim
![Page 25: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/25.jpg)
IntroductionIntroduction
PP … … Q Q
Q Q … … P P P P Q Q
Intro
![Page 26: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/26.jpg)
Inference PatternsInference Patterns
Modus TollensModus Tollens P P Q Q QQ PP
![Page 27: Lecture Notes 8](https://reader036.fdocuments.in/reader036/viewer/2022062321/568130e3550346895d96f8a4/html5/thumbnails/27.jpg)
Modus TollensModus Tollens