Portland Cyber Theatre Marek Perkowski Graduate Seminar, Friday, May 7, 2004 Part 1.
Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.
-
Upload
sheldon-witte -
Category
Documents
-
view
228 -
download
2
Transcript of Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.
![Page 1: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/1.jpg)
Marek Perkowski
INTRODUCTION TO MODAL AND
EPISTEMIC LOGIC for beginners
![Page 2: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/2.jpg)
Overview
1. Why we need moral robots2. Review of classical Logic3. The Muddy Children Logic Puzzle4. The partition model of knowledge5. Introduction to modal logic6. The S5 axioms7. Common knowledge8. Applications to robotics9. Knowledge and belief
![Page 3: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/3.jpg)
The goals of this series of lectures• My goal is to teach you everything about modal logic, deontic logic,
temporal logic, proof methods etc that can be used in the following areas of innovative research:1. Robot morality (assistive robots, medical robots, military robots)2. Natural language processing (robot assistant, robot-receptionist)3. Mobile robot path planning (in difficult “game like” dynamically
changeable environments)4. General planning, scheduling and allocation (many practical problems in
logistics, industrial, military and other areas)5. Hardware and software verification (of Verilog or VHDL codes)6. Verifying laws and sets of rules (like consistency of divorce laws in Poland)7. Analytic philosophy (like proving God’ Existence, free will, the problem of
evil, etc)8. Many other… At this point I should ask all students to give
another examples of similar problems that they want to solve
![Page 4: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/4.jpg)
Big hopes
• Modal logic is a very hot topic in recent ~12 years.
• In my memory I see new and new areas that are taken over by modal logic
• Let us hope to find more applications• Every problem that was formulated or not
previously in classical logic, Bayesian logic, Hiden Markov models, automata, etc can be now rewritten to modal logic.
![Page 5: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/5.jpg)
The Tokyo University of Science: Saya
Morality for non-military robots that deal directly with humans.
At this point I should ask all students to give another examples of dialogs, that would include reasoning, to have with Saya
![Page 6: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/6.jpg)
6
MechaDroyd Typ C3Business Design, Japan
At this point I should ask all students to give another examples of dialogs, that would include reasoning, to have with MechaDroyd
![Page 7: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/7.jpg)
My Spoon – Secom in Japan
http://www.secom.co.jp/english/myspoon/index.html
![Page 8: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/8.jpg)
My Spoon – Secom
1. At this point I should ask
all students to give examples of robots to help elderly, autistic children or handicapped and what kind of morality or deep knowledge this robot should have.
2. Example, a robot for old woman, 95 years old who cannot find anything on internet and is interested in fashion and gossip.
![Page 10: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/10.jpg)
Fuji Heavy Industries/Sumitomo
Cleaning lawn-moving, and similar robots will have contact with humans and should be completely safe
What kind of deep knowledge and morality a robot should have for standard large US hospital?
![Page 11: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/11.jpg)
Care robot
1. How much trust you need to be in arms of a strong big robot like this?2. How to build this trust?3. What kind morality you would expect from this robot?
R. Capurro: Cybernics Salon
![Page 12: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/12.jpg)
Robots and War
1. Congress: one-third of all combat vehicles to be robots by 2015
2. Future Combat System (FCS) Development cost by 2014: $130-$250 billion
![Page 13: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/13.jpg)
Robotex (Palo Alto, California)by Terry Izumi
We urgently need robot morality for military robotsIt is expected that these robots will be more moral than contemporary US soldiers in case of accidental shootings of civilians, avoiding panic behaviors, etc
![Page 14: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/14.jpg)
![Page 15: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/15.jpg)
Review of classical
logic
![Page 16: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/16.jpg)
Classical logic
• What is logic?– A set of techniques for
• representing,• transforming, • and using information.
• What is classical logic?– A particular kind of logic that has been well
understood since ancient times.– (Details to follow…)
![Page 17: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/17.jpg)
Classical vs non-classcial logic
• I should warn you that non-classical logic is not as weird as you may think.– I’m not going to introduce “new ways of
thinking” that lead to bizarre beliefs.– What I want to do is make explicit some non-
classical ways of reasoning that people have always found useful.
• I will be presenting well-accepted research results, not anything novel or controversial.
![Page 18: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/18.jpg)
Classical logic in Ancient times
• 300s B.C.:• ARISTOTLE and other Greek philosophers
discover that• some methods of reasoning are truth-
preserving.• That is, if the premises are true, the
conclusion is guaranteed true, regardless of what the premises are.
![Page 19: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/19.jpg)
Example of Classical logic Syllogism
• All hedgehogs are spiny.• Matilda is a hedgehog.• ∴ Matilda is spiny.
• You do not have to know the meanings of “hedgehog” or “spiny” or know anything about Matilda in order to know that this is a valid argument.
![Page 20: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/20.jpg)
What Classical logic can really do?
• VALID means TRUTH-PRESERVING.
• Logic cannot tell us whether the premises are true.
• The most that logic can do is tell us that IF the premises are true, THEN the conclusions must also be true.
![Page 21: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/21.jpg)
Classical logic since 1854
1854:George Boole points out thatinferences can be represented as formulas andthere is an infinite number of valid inference schemas.(∀x) hedgehog(x) spiny(x)⊃hedgehog(Matilda)
∴ spiny(Matilda)Proving theorems (i.e., proving inferences valid)is done by manipulating formulas.
![Page 22: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/22.jpg)
What is an argument?
• An argument is any set of statements one of which, the conclusion, is supposed to be epistemically supported by the remaining statements, the premises.
![Page 23: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/23.jpg)
Is this an argument?
1. Ms. Malaprop left her house this morning. 2. Whenever she does this, it rains.
_____________ 3. Therefore, the moon is made of blue cheese.
![Page 24: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/24.jpg)
What is a good argument?
• An argument is valid if and only if the conclusion must be true, given the truth of the premises.
![Page 25: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/25.jpg)
Is this argument valid?
1. If the moon is made of blue cheese, then pigs fly.
2. The moon is made of blue cheese.______________
3. Therefore, pigs fly.
![Page 26: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/26.jpg)
What we aim for
• An argument is sound if and only if the argument is valid and, in addition, all of its premises are true.
![Page 27: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/27.jpg)
Logical Negation
Consider the following sentences• “2 plus 2 is 4” is true• “2 plus 2 isn’t 4” is false
• “2 plus 2 is 5” is false• “2 plus 2 isn’t 5” is true
![Page 28: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/28.jpg)
Truth Table for Negation
p not p
True (T) False (F)
False (F) True (T)
![Page 29: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/29.jpg)
Definition of Logical Negation
• A sentence of the form “not-p” is true if and only if p is false; otherwise, it is false.
• So logically speaking negation has the effect of switching the truth-value of any sentence in which it occurs.
![Page 30: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/30.jpg)
Other English phrases
• That claim is irrelevant• Your work is unsatisfactory• It is not true that I goofed off all summer.
![Page 31: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/31.jpg)
Logical Connectives
• Technically, negation is a one-place logical connective, meaning that negation combines with a single sentence to produce a more complex sentence having the opposite truth-value as the original.
![Page 32: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/32.jpg)
The Material Conditional
• The material conditional is most naturally represented by the English phrase “if … , then ...”.
• For example, “If you study hard in this class, you will do well.”
![Page 33: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/33.jpg)
Truth Table for the Conditional
p q If p, then q
T T T
T F F
F T T
F F T
![Page 34: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/34.jpg)
Definition of the Conditional
• A sentence of the form “if p, then q” is true if and only if either p is false or q is true; otherwise it is false.
![Page 35: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/35.jpg)
Some More Jargon
• Technically, “if …, then …” is a two-place sentential connective: it takes two simpler sentences and connects them into a single, more complex sentence.
• The first sentence p is called the antecedent. The second sentence q is called the consequent.
![Page 36: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/36.jpg)
Conjunction
Which of the following are true?1. 2 + 2 = 4 and 4 + 4 = 8.2. 2 + 2 = 5 and 4 + 4 = 6.3. 2 + 2 = 4 and 4 + 4 = 7.4. 2 + 2 = 5 and 4 + 4 = 8.
![Page 37: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/37.jpg)
Truth Table for Conjunction
p q p and q
T T T
T F F
F T F
F F F
![Page 38: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/38.jpg)
Definition of Conjunction
• A sentence of the form “p and q” is true if and only if p is true and q is true; otherwise it is false.
• The two sentences p and q are known as the conjuncts.
![Page 39: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/39.jpg)
Inclusive “Or” (Disjunction)Example
Marion Jones is worried that she is not going to win a medal in the ’04 Olympic games. Her husband assures her that she will surely place in one of the two events she has qualified for: ‘It’s ok,’ he says. “Either you’ll medal in the long jump or in the 400m relay.”
![Page 40: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/40.jpg)
Truth Table for Disjunction
p q p or q
T T T
T F T
F T T
F F F
![Page 41: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/41.jpg)
Definition of Disjunction
• A sentence of the form “p or q” is true if and only if either p is true or q is true or both p and q are true; otherwise, it is is false.
• The two sentences p and q are knows as the disjuncts.
![Page 42: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/42.jpg)
Exclusive “Or”
Suppose your waiter tells you that you can have either rice pilaf or baked potato with your dinner. In such circumstances, he plainly does not mean either rice pilaf or baked potato or both. You have to choose. So this use of “or” doesn’t fit the definition of disjunction given above.
![Page 43: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/43.jpg)
Defining Exclusive “Or”
Rather than introducing exclusive “or” via a truth table, logicians usually just define it in terms of negation, conjunction and disjunction:
• (p or q) and not-(p and q)
![Page 44: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/44.jpg)
Material Biconditional1. Sometimes we want to say that two
sentences are equivalent―that is they are both true or false together.
2. For instance, I might tell you that John is a bachelor if and only if John is an unmarried adult male.
![Page 45: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/45.jpg)
Truth Table for the Biconditional
p q p if and only if q
T T T
T F F
F T F
F F T
![Page 46: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/46.jpg)
Defining the Biconditional
• A sentence of the form “p if and only if q” is true if and only if either both p and q are true or both p and q are false; otherwise, it is false.
• Alternatively: p if and only if q = (if p, then q) and (if q, then p)
![Page 47: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/47.jpg)
Logic, Knowledge Bases and Agents
![Page 48: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/48.jpg)
Syntax versus semantics
![Page 49: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/49.jpg)
What does it mean that there are many logics?
![Page 50: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/50.jpg)
Types of Logic
![Page 51: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/51.jpg)
Review of classical
propositional logic Basic concepts, methods
and terminology that will be our base in modal and other logics
![Page 52: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/52.jpg)
Propositional logic is the logic from ECE 171
• Simple and easy to understand• Decidable, but NP complete
– Very well studied; efficient SAT solvers– if you can reduce your problem to SAT …
• Drawback– can only model finite domains
![Page 53: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/53.jpg)
Truth Table Methodand
Propositional Proofs
![Page 54: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/54.jpg)
You are already used to use Karnaugh maps to interprete all these facts
DeductionIn deduction, the conclusion is true whenever the premises are true.
Premise: pConclusion: (p q)
Premise: p Non-Conclusion: (p q)
Premises: p, qConclusion: (p q)
![Page 55: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/55.jpg)
Logical Entailment
![Page 56: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/56.jpg)
56
Logical EntailmentA set of premises logically entails a conclusion (written as |= ) if and only if every interpretation that satisfies the premises also satisfies the conclusion.
Examples{p} |= (p q) entails
{p} |# (p q) does not entail
{p,q} |= (p q) entails
![Page 57: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/57.jpg)
Comment on definingA set of premises logically entails a conclusion (written as |= ) if and only if every interpretation that satisfies the premises also satisfies the conclusion.
1. This definition raised some doubt in class2. But it is only the way how we define things in metalanguage3. I can write like this
A set of premises logically entails a conclusion (written as |= ) =def= every interpretation that satisfies the premises also satisfies the conclusion.
![Page 58: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/58.jpg)
Comment on defining in Meta-Language
A set of premises logically entails a conclusion (written as |= ) ifevery interpretation that satisfies the premises also satisfies the conclusion.
AndWhenevery interpretation that satisfies the premises also satisfies the conclusionThenA set of premises logically entails a conclusion (written as |= )
This is a way of defining
![Page 59: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/59.jpg)
59
More on definingA set of premises logically entails a conclusion (written as |= ) if and only if every interpretation that satisfies the premises also satisfies the conclusion.
I am not saying
A set of premises logically entails a conclusion (written as |= ) if and only if every interpretation that satisfies the premises also satisfies the conclusion and every interpretation that satisfies the conclusion also satisfies the premises.
If and only if is in definition, this is equality of metalanguage and equality inside the definition.
Metalanguage is a different beast!
![Page 60: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/60.jpg)
60
Truth Table Method to check entailment
1. We can check for logical entailment by comparing tables of all possible interpretations.
2. In the first table, eliminate all rows that do not satisfy premises.
3. In the second table, eliminate all rows that do not satisfy the conclusion.
4. If the remaining rows in the first table are a subset of the remaining rows in the second table, then the premises logically entail the conclusion.
There are many ways to check entailment. In binary logic it is easy, here is one method. Another is to look to included in set X set S of minterms – ask student.
![Page 61: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/61.jpg)
61
Example of using Truth Table method to check entailment
Does p logically entail (p q)?
p q
1 1
1 0
0 1
0 0
p q
1 1
1 0
0 1
0 0
![Page 62: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/62.jpg)
62
Example of using Truth Table method. Other method
Does p logically entail (p q)?
p q
1 1
1 0
0 1
0 0
p q
1 1
1 0
0 1
0 0
1. In the first table, eliminate all rows that do not satisfy premises.
2. In the second table, eliminate all rows that do not satisfy the conclusion.
![Page 63: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/63.jpg)
63
Example of using Truth Table method. Other method
Does p logically entail (p q)?
p q
1 1
1 0
0 1
0 0
p q
1 1
1 0
0 1
0 0
1. In the first table, eliminate all rows that do not satisfy premises.
2. In the second table, eliminate all rows that do not satisfy the conclusion.
![Page 64: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/64.jpg)
One more Example: no entailment.Does p logically entail (p q)?
p q
1 1
1 0
0 1
0 0
p q
1 1
1 0
0 1
0 0
Does {p,q} logically entail (p q)? NO Ask a student to show
another examples of checking entailment
![Page 65: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/65.jpg)
ExampleIf Mary loves Pat, then Mary loves Quincy.If it is Monday, then Mary loves Pat or Quincy.If it is Monday, does Mary love Quincy?
m p q
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
m p q
1 1 1
1 0 1
0 1 1
0 1 0
0 0 1
0 0 0
Not on Monday Mary does not love Pat and does not love Quincy
1. We can check for logical entailment by comparing tables of all possible interpretations.
2. In the first table, eliminate all rows that do not satisfy premises.
3. In the second table, eliminate all rows that do not satisfy the conclusion.
4. If the remaining rows in the first table are a subset of the remaining rows in the second table, then the premises logically entail the conclusion.
X10 eliminated
100 eliminated
It is Monday and Mary does not love Quincy eliminated
Yes, Mary Loves Quincy on Monday
Conclusion:It is Monday and Mary loves Quincy
Is this conclusion true?
First variant:Entailment true
![Page 66: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/66.jpg)
ExampleIf is always true that if on this day Mary loves Pat, then Mary loves Quincy.If it is Monday, then Mary loves Pat or Quincy.If it is Monday, does Mary love only Pat?
m p q
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
m p q
x x x
1 1 0
x x x
x x x
0 1 1
0 1 0
0 0 1
0 0 0
Not on Monday Mary does not love Pat and does not love Quincy
1. We can check for logical entailment by comparing tables of all possible interpretations.
2. In the first table, eliminate all rows that do not satisfy premises.
3. In the second table, eliminate all rows that do not satisfy the conclusion.
4. If the remaining rows in the first table are a subset of the remaining rows in the second table, then the premises logically entail the conclusion.
X10 eliminated
100 eliminated
Conclusion: It is Monday and Mary loves only Pat
No, statement “Mary Loves only Pat on Monday” is not true
Is it true that “It is Monday and Mary loves only Pat”
SecondVariant:Entailment not true Mary does
not love Pat
![Page 67: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/67.jpg)
What did we learn from this example of entailment?
1. As seen in this example, we can formulate many various methods to remove “worlds” (cells of Kmaps, rows of truth tables) from consideration.
2. They can be not described by Boolean formulas but by some other rules of language or behavior.
3. But we can check the entailment by exhaustively checking the relation between minterms of two truth tables, in general by checking some relations directly in the model
![Page 68: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/68.jpg)
68
Problem with too many interpretations
1. There can be many, many interpretations for a Propositional Language.
2. Remember that, for a language with n constants, there are 2n possible interpretations.
3. Sometimes there are many constants among premises that are irrelevant to the conclusion. Much wasted work.
4. Answer: Proofs
5. Too many interpretations is like extreme Karnaugh maps that you even cannot create
![Page 69: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/69.jpg)
69
PatternsA pattern is a parameterized expression, i.e. an expression satisfying the grammatical rules of our language except for the occurrence of meta-variables (Greek letters) in place of various subparts of the expression.
Sample Pattern: ( )
Instance: p (q p)
Instance:(p r) ((pq) (p r))
![Page 70: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/70.jpg)
70
PatternsQuestions1. Is this pattern a tautology, check it using Kmaps or
elimination of implication from logic class2. If I know that this is a tautology, should I check the
second instance?
Sample Pattern: ( )
Instance 1: p (q p)
Instance 2:(p r) ((pq) (p r))
Substitute logic variables for formulas
![Page 71: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/71.jpg)
Rules of Inference
![Page 72: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/72.jpg)
72
Rules of InferenceA rule of inference is a rule of reasoning consisting of one set of sentence patterns, called premises, and a second set of sentence patterns, called conclusions.
![Page 73: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/73.jpg)
73
Instances of applying rulesAn instance of a rule of inference is a rule in which all meta-variables have been consistently replaced by expressions in such a way that all premises and conclusions are syntactically legal sentences.
wet slippery
wet
slippery
(p q) r
p q
r
raining wet
raining
wet
p (q r)
p
q r
![Page 74: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/74.jpg)
74
Four Sound Rules of InferenceA rule of inference is sound if and only if the premises in any instance of the rule logically entail the conclusions.
Modus Ponens (MP) Modus Tolens (MT)
Equivalence Elimination (EE) Double Negation (DN)
![Page 75: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/75.jpg)
75
Proof (Version 1)
A proof of a conclusion from a set of premises is a sequence of sentences terminating in the conclusion in which each item is either:
1. a premise2. the result of applying a rule of inference to earlier items in sequence.
![Page 76: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/76.jpg)
Example of simple proofWhen it is raining, the ground is wet. When the ground is wet, it is slippery. It is raining. Prove that it is slippery.
1. raining wet Premise
2. wet slippery Premise
3. raining Premise
4. wet MP :1,3
5. slippery MP : 2,4
At this point I should ask a student to draw the tree of this derivation
![Page 77: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/77.jpg)
This is obvious but beware
ErrorNote: Rules of inference apply only to top-level sentences in a proof. Sometimes works but sometimes fails.
No! No!1. raining cloudy Premise
2. raining wet Premise
3. cloudy wet MP : 1,2
![Page 78: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/78.jpg)
Ask a student to draw the derivation tree
Another example of a proofHeads you win. Tails I lose. Suppose the coin comes up tails. Show that you win.
1. h y Premise
2. t m Premise
3. h t Premise
4. y m Premise
5. t Premise
6. m MP : 2,5
7. y m EE : 4
8. m y EE : 4
9. y MP : 8,6
Tails is no money
![Page 79: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/79.jpg)
Entailment and Models
![Page 80: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/80.jpg)
Entailment – Logical Implication
This can be found in Kmap, but in real life we cannot create such simple models.
![Page 81: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/81.jpg)
1. M(a) some set of ones in a Kmap
2. KB included in it set of cells
Models versus Entailment
![Page 82: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/82.jpg)
Derivation, Soundness and Completeness
It is not so nice for more advanced logic systems
We derive alpha from knowledge base
![Page 83: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/83.jpg)
Soundness and Completeness in other notation
Soundness: Our proof system is sound, i.e. if the conclusion is provable from the premises, then the premises propositionally entail the conclusion.
( |- ) ( |= )
Completeness: Our proof system is complete, i.e. if the premises propositionally entail the conclusion, then the conclusion is provable from the premises.
( |= ) ( |- )
Observe that here we have only if and not iff in metalanguage
![Page 84: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/84.jpg)
![Page 85: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/85.jpg)
Syntax of Propositional
Logic
![Page 86: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/86.jpg)
![Page 87: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/87.jpg)
Semantics of Propositional
Logic
![Page 88: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/88.jpg)
Intuitive explanation what is semantics
![Page 89: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/89.jpg)
Formal definition of semantics of propositional logic
![Page 90: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/90.jpg)
![Page 91: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/91.jpg)
Exercise to understand the concept of interpretation
1. Find an interpretation and a formula such that the formula is true in that interpretation– (or: the interpretation satisfies the formula).
2. Find an interpretation and a formula such that the formula is not true in that interpretation – (or: the interpretation does not satisfy the formula).
3. Find a formula which can't be true in any interpretation (or: no interpretation can satisfy the formula).
![Page 92: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/92.jpg)
Satisfiability and Validity
![Page 93: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/93.jpg)
Definitions of Satisfiability and Validity
• Ask students to do several exercises
![Page 94: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/94.jpg)
Exercises for Satisfiability, Tautology and Equivalency
• Ask students to do all these exercises with various Kmaps.
![Page 95: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/95.jpg)
Consequences of definitions of satisfiability and tautology
• Important – equivalent formulas can be replaced forward and backward
![Page 96: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/96.jpg)
![Page 97: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/97.jpg)
Enumeration Method – check all
possible models
![Page 98: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/98.jpg)
![Page 99: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/99.jpg)
![Page 100: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/100.jpg)
![Page 101: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/101.jpg)
![Page 102: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/102.jpg)
![Page 103: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/103.jpg)
Deduction, Contraposition and Contradiction theorems
of propositional logic
• Can be used in automated theorem proving and reasoning
![Page 104: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/104.jpg)
Equivalences of propositional
logic
![Page 105: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/105.jpg)
![Page 106: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/106.jpg)
![Page 107: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/107.jpg)
Normal Forms for
propositional logic
![Page 108: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/108.jpg)
Conjunctive Normal Form and Disjunctive Normal Form
SOP
POS
![Page 109: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/109.jpg)
Conjunction of Horn Clauses Normal Form
![Page 110: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/110.jpg)
![Page 111: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/111.jpg)
Axiom Schemata
![Page 112: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/112.jpg)
112
Axiom Schemata1. Fact: If a sentence is valid, then it is true under all interpretations.
2. Consequently, there should be a proof without making any assumptions at all.
3. Fact: (p (q p)) is a valid sentence.
4. Problem: Prove (p (q p)).
5. Solution: We need some rules of inference without premises to get started.
6. An axiom schema is sentence pattern construed as a rule of inference without premises.
![Page 113: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/113.jpg)
113
Rules and Axiom SchemataAxiom Schemata as Rules of Inference
( )
Rules of Inference as Axiom Schemata
( ) ( )
Note: 1. Of course, we must keep at least one rule of inference to use the
schemata. 2. By convention, we retain Modus Ponens.
( )
![Page 114: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/114.jpg)
114
Valid Axiom SchemataA valid axiom schema is a sentence pattern denoting an infinite set of sentences, all of which are valid.
( )
![Page 115: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/115.jpg)
Standard Axiom Schemata
II: ( )ID: ( ( )) (( ) ( ))CR: ( ) (( ) )
( ) (( ) )
EQ: ( ) ( )( ) ( )( ) (( ) ( ))
OQ: ( ) ( )( ) ( )( ) ( )
![Page 116: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/116.jpg)
Ask a student to do this without a help from Kmaps
Sample Proof using Axiom Schemata1. Whenever p is true, q is true. 2. Whenever q is true, r is true. 3. Prove that, whenever p is true, r is true.
1. p q Premise
2. q r Premise
3. (q r) (p (q r)) II
4. p (q r) MP : 3,2
5. (p (q r)) ((p q) (p r)) ID
6. (p q) (p r) MP : 5, 4
7. p r MP : 6,1
![Page 117: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/117.jpg)
117
Proof (Official Version)A proof of a conclusion from a set of premises is a sequence of sentences terminating in the conclusion in which each item is either:
1. A premise2. An instance of an axiom schema3. The result of applying a rule of inference to earlier items
in sequence.
![Page 118: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/118.jpg)
Observe that if and only if is from definition in metalanguage again
Provability
A conclusion is said to be provable from a set of premises (written |- ) if and only if there is a finite proof of the conclusion from the premises using only Modus Ponens and the Standard Axiom Schemata.
Definition of provable
![Page 119: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/119.jpg)
Truth tables versus proofs
![Page 120: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/120.jpg)
120
Truth Tables versus Proofs1. The truth table method and the proof method succeed in
exactly the same cases.
2. On large problems, the proof method often takes fewer steps than the truth table method.
3. However, in the worst case, the proof method may take just as many or more steps to find an answer as the truth table method.
4. Usually, proofs are much smaller than the corresponding truth tables.
5. So writing an argument to convince others does not take as much space.
![Page 121: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/121.jpg)
Metatheorems of propositional logic
Deduction Theorem: |- ( ) if and only if {} |- .
Equivalence Theorem:
|- ( ) and |- , then it is the case that |- .
If some implication is entailed from set delta than the precedence of this formula added to delta entails the consequence of this implication
We will show with examples that these theorems are truly useful in proofs
![Page 122: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/122.jpg)
122
Proof Without Deduction TheoremProblem: {p q, q r} |- (p r)?
1. p q Premise
2. q r Premise
3. (q r) (p (q r)) II
4. p (q r) MP : 3,2
5. (p (q r)) ((p q) (p r)) ID
6. (p q) (p r) MP : 5, 4
7. p r MP : 6,1
![Page 123: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/123.jpg)
123
Proof Using Deduction TheoremProblem: {p q, q r} |- (p r)?
1. p q Premise
2. q r Premise
3. p Premise
4. q MP :1,3
5. r MP : 2, 4
![Page 124: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/124.jpg)
No TA in this class, you have to learn these rules to be able to deeply understand more advanced topics
TA Appeasement Rules ;-)1. When we ask you to show that something is true, you
may use metatheorems.
2. When we ask you to give a formal proof, it means you should write out the entire proof.
3. When we ask you to give a formal proof using certain rules of inference or axiom schemata, it means you should do so using only those rules of inference and axiom schemata and no others.
![Page 125: Marek Perkowski INTRODUCTION TO MODAL AND EPISTEMIC LOGIC for beginners.](https://reader035.fdocuments.net/reader035/viewer/2022062421/56649c995503460f9495611d/html5/thumbnails/125.jpg)
Summary on Propositional• Syntax: formula, atomic formula, literal, clause• Semantics: truth value, assignment, interpretation• Formula satisfied by an interpretation• Logical implication, entailment• Satisfiability, validity, tautology, logical equivalence• Deduction theorem, Contraposition Theorem• Conjunctive normal form, Disjunctive Normal form,
Horn form