Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an...
Transcript of Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an...
![Page 1: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/1.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Warmup Problem
Describe how structural induction differs from our MATH 135 notion ofinduction.
1/37
![Page 2: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/2.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
The Principle of Structural Induction
Theorem. Let 𝑅 be a property. Suppose that
1. for each atomic formula 𝑝, we have 𝑅(𝑝); and2. for each formula 𝛼, if 𝑅(𝛼) then 𝑅((¬𝛼)); and3. for each pair of formulas 𝛼 and 𝛽, and each binary connective ⋆,
if 𝑅(𝛼) and 𝑅(𝛽) then 𝑅((𝛼 ⋆ 𝛽)).
Then 𝑅(𝛼) for every formula 𝛼.
Use of this principle is called structural induction.
Structural induction is a special case of mathematical induction.
2/37
![Page 3: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/3.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
CS 245: Logic and Computation
Carmen BruniLecture 3
Based on slides by Jonathan Buss, Lila Kari, Anna Lubiw and SteveWolfman with thanks to B. Bonakdarpour, A. Gao, D. Maftuleac, C.
Roberts, R. Trefler, and P. Van Beek
3/37
![Page 4: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/4.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Let’s begin!
4/37
![Page 5: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/5.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Announcements
1. Assignment 1 due. Submit to Crowdmark! If you’re missing a link,please email myself and the ISC!
2. Reminder: Please attend your own class! Spots in a section arereserved for the people registered in the section. Standing in the backis a fire hazard.
3. Office Hours Monday 9-10 and Tuesday 10-11:20 in DC 3119 (in thebridge between DC and MC)
5/37
![Page 6: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/6.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Previously on CS245
• Give multiple translations of English sentences with ambiguity.• Describe the three types of symbols in propositional logic.• Describe the recursive definition of well-formed formulas.• Write the parse tree for a well-formed formula.• Determine and give reasons for whether a given formula is well
formed or not.• A template for writing structural induction proofs.
Up next some more sample clicker questions!
6/37
![Page 7: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/7.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Plan for today
By the end of this lecture, you should be able to
• Review the template for writing structural induction proofs.• Prove the unique readability theorem using structural induction.• Evaluate the truth value of a formula
• Define a (truth) valuation.• Determine the truth value of a formula by using truth tables.• Determine the truth value of a formula by using valuation trees.
• Determine and prove whether a formula has a particular property• Define tautology, contradiction, and satisfiable formula.• Compare and contrast the three properties (tautology, contradiction,
and satisfiable formula).• Prove whether a formula is a tautology, a contradiction, or satisfiable,
using a truth table and/or a valuation tree.• Describe strategies to prove whether a formula is a tautology, a
contradiction or a satisfiable formula.
7/37
![Page 8: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/8.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formula
Lemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
A proper prefix of 𝜑 is a non-empty segment of 𝜑 starting from the firstsymbol of 𝜑 and ending before the last symbol of 𝜑. Sometimes, peopleemphasize non-empty in the statement and say this is a propernon-empty prefix.
One can reword this as: A proper prefix of 𝜑 is a non-empty expression,say 𝑥, such that there exists a non-empty expression 𝑦 satisfying 𝜑 = 𝑥𝑦.
For example, the formula (¬𝑝) has as proper prefixes (, (¬ and (¬𝑝.
8/37
![Page 9: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/9.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formulaLemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
Proof: Proof is by structural induction.
Let 𝑃 (𝜑) be the property that every proper prefix of the well-formedformula 𝜑 has more opening brackets than closing brackets. We prove𝑃 (𝜑) is true for all well-formed formulas 𝜑 by structural induction.
Base Case: If 𝜑 is an atom, then there are no proper prefixes and theclaim is vacuously true.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
Complete the induction step.
9/37
![Page 10: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/10.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formulaLemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
Proof: Proof is by structural induction.
Let 𝑃(𝜑) be the property that every proper prefix of the well-formedformula 𝜑 has more opening brackets than closing brackets. We prove𝑃 (𝜑) is true for all well-formed formulas 𝜑 by structural induction.
Base Case: If 𝜑 is an atom, then there are no proper prefixes and theclaim is vacuously true.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
Complete the induction step.
9/37
![Page 11: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/11.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formulaLemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
Proof: Proof is by structural induction.
Let 𝑃(𝜑) be the property that every proper prefix of the well-formedformula 𝜑 has more opening brackets than closing brackets. We prove𝑃 (𝜑) is true for all well-formed formulas 𝜑 by structural induction.
Base Case: If 𝜑 is an atom, then there are no proper prefixes and theclaim is vacuously true.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
Complete the induction step.
9/37
![Page 12: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/12.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formulaLemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
Proof: Proof is by structural induction.
Let 𝑃(𝜑) be the property that every proper prefix of the well-formedformula 𝜑 has more opening brackets than closing brackets. We prove𝑃 (𝜑) is true for all well-formed formulas 𝜑 by structural induction.
Base Case: If 𝜑 is an atom, then there are no proper prefixes and theclaim is vacuously true.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
Complete the induction step.
9/37
![Page 13: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/13.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Unbalanced brackets in a proper prefix of a formulaLemma: Every proper prefix of a well-formed formula has moreopening brackets than closing brackets.
Proof: Proof is by structural induction.
Let 𝑃(𝜑) be the property that every proper prefix of the well-formedformula 𝜑 has more opening brackets than closing brackets. We prove𝑃 (𝜑) is true for all well-formed formulas 𝜑 by structural induction.
Base Case: If 𝜑 is an atom, then there are no proper prefixes and theclaim is vacuously true.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
Complete the induction step.9/37
![Page 14: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/14.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Structural induction (1)
Step 1: Identify the recursive structure in the problem.
Theorem 1: Every well-formed formula has an equal number of openingand closing brackets.
Notes:
• “Well-formed formulas” are the recursive structures that we aredealing with.
• “Has an equal number of opening and closing brackets” is theproperty that we are going to prove that well formed formulas have.Some examples of other properties that we could prove: (1) containsat least one propositional variable, (2) has an even number ofbrackets, etc.
10/37
![Page 15: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/15.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Structural induction (1)
Step 1: Identify the recursive structure in the problem.
Theorem 1: Every well-formed formula has an equal number of openingand closing brackets. Notes:
• “Well-formed formulas” are the recursive structures that we aredealing with.
• “Has an equal number of opening and closing brackets” is theproperty that we are going to prove that well formed formulas have.Some examples of other properties that we could prove: (1) containsat least one propositional variable, (2) has an even number ofbrackets, etc.
10/37
![Page 16: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/16.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Structural induction (2)
Step 2: Identify each recursive appearance of the structure inside itsdefinition. (A recursive structure is self-referential. Where in the definitionof the object does the object reference itself?
Let 𝒫 be a set of propositional variables. A well-formed formula over 𝒫has exactly one of the following forms:
1. A single symbol of 𝒫,2. (¬𝛼) if 𝛼 is well-formed,3. One of (𝛼 ∧ 𝛽), (𝛼 ∨ 𝛽), (𝛼 → 𝛽), (𝛼 ↔ 𝛽) if 𝛼 and 𝛽 are
well-formed.
11/37
![Page 17: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/17.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Structural induction (2)
Step 2: Identify each recursive appearance of the structure inside itsdefinition. (A recursive structure is self-referential. Where in the definitionof the object does it the object reference itself?
There are 3 cases in the following definition. The definition referencesitself in cases 2 and 3, as highlighted below.
Let 𝒫 be a set of propositional variables. A well-formed formula over 𝒫has exactly one of the following forms:
1. A single symbol of 𝒫,2. (¬𝛼) if 𝛼 is well-formed,3. One of (𝛼 ∧ 𝛽), (𝛼 ∨ 𝛽), (𝛼 → 𝛽), (𝛼 ↔ 𝛽) if 𝛼 and 𝛽 are
well-formed.
12/37
![Page 18: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/18.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Structural induction (3)
Step 3: Divide the cases into: those without recursive appearances(“��base cases”) and those with (“inductive” cases).
Case 1 has no recursive appearance of the definition. Cases 2 and 3 haverecursive appearances of the definition.
Let 𝒫 be a set of propositional variables. A well-formed formula over 𝒫has exactly one of the following forms:
1. A single symbol of 𝒫, (base case)2. (¬𝛼) if 𝛼 is well-formed, (inductive case)3. One of (𝛼 ∧ 𝛽), (𝛼 ∨ 𝛽), (𝛼 → 𝛽), (𝛼 ↔ 𝛽) if 𝛼 and 𝛽 are
well-formed. (inductive case)
13/37
![Page 19: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/19.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
A structural induction template
Problem: Prove that every recursive structure 𝜑 has property 𝑃 .
Define 𝑃(𝜑) to be the property in the problem.
Theorem: For every recursive structure 𝜑, 𝑃(𝜑) holds.
Proof by structural induction:
Base case: For every base case you identified, prove that the recursivestructure 𝜑 has property 𝑃 .
(Continued on the next slide)
14/37
![Page 20: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/20.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
A structural induction template
Induction step: For each recursive case you identified, write an inductionstep
Recursive case 1:Induction hypothesis: Assume each recursive appearance of thestructure in this case has property 𝑃 .Prove that the recursive structure 𝜑 has property 𝑃 using theinduction hypothesis.
Recursive case 2:(State the induction hypothesis and use it to prove the theorem.)
(Possibly more recursive cases)
By the principle of structural induction, every recursive structure 𝜑 hasproperty 𝑃 . QED
15/37
![Page 21: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/21.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Proving the unique readability of well-formed formulas
Lemma 1: Every well-formed formula starts with a propositional variable oran opening bracket.
Lemma 2: Every well-formed formula has an equal number of opening andclosing brackets.
Lemma 3: Every proper prefix of a well-formed formula has more openingbrackets than closing brackets.
Theorem: There is a unique way to construct every well-formed formula.
16/37
![Page 22: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/22.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Main Theorem
Theorem (Unique Readability Theorem)
There is a unique way to construct every well-formed formula.
17/37
![Page 23: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/23.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Proof
Let 𝑃(𝜑) be the property that there is a unique way to construct thewell-formed formula 𝜑. We prove this property for all well-formed formulas𝜑 by structural induction.
Base Case: There is only one way to construct an atom.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
18/37
![Page 24: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/24.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Proof
Let 𝑃(𝜑) be the property that there is a unique way to construct thewell-formed formula 𝜑. We prove this property for all well-formed formulas𝜑 by structural induction.
Base Case: There is only one way to construct an atom.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
18/37
![Page 25: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/25.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Proof
Let 𝑃(𝜑) be the property that there is a unique way to construct thewell-formed formula 𝜑. We prove this property for all well-formed formulas𝜑 by structural induction.
Base Case: There is only one way to construct an atom.
Inductive Hypothesis: Assume that 𝑃(𝛼) and 𝑃(𝛽) are true for somewell-formed formulas 𝛼 and 𝛽.
18/37
![Page 26: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/26.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Inductive Conclusion
We now have a few possibilities to consider:
1. 𝜑 = (¬𝛼)2. 𝜑 = (𝛼 ⋆ 𝛽)
Each of these has two subcases...
19/37
![Page 27: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/27.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Inductive Conclusion
We now have a few possibilities to consider:
1. 𝜑 = (¬𝛼)2. 𝜑 = (𝛼 ⋆ 𝛽)
Each of these has two subcases...
19/37
![Page 28: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/28.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 1: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (¬𝛼′) for someother well-formed formula 𝛼′?
If this were the case, then comparing symbols shows immediately that𝛼 = 𝛼′. Since 𝛼 is uniquely readable by hypothesis, then so is 𝛼′ andhence so is 𝜑.
Subcase 2: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (𝛼′ ⋆ 𝛽′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Then in this case, it must be that 𝛼 = (𝛾 ⋆ 𝜂), 𝛼′ = ¬(𝛾 and 𝛽′ = 𝜂. Thisis a contradiction since 𝛼′ is not well-formed but 𝛼′ was assumed to bewell-formed (could argue formally using bracket argument if desired).
20/37
![Page 29: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/29.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 1: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (¬𝛼′) for someother well-formed formula 𝛼′?
If this were the case, then comparing symbols shows immediately that𝛼 = 𝛼′. Since 𝛼 is uniquely readable by hypothesis, then so is 𝛼′ andhence so is 𝜑.
Subcase 2: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (𝛼′ ⋆ 𝛽′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Then in this case, it must be that 𝛼 = (𝛾 ⋆ 𝜂), 𝛼′ = ¬(𝛾 and 𝛽′ = 𝜂. Thisis a contradiction since 𝛼′ is not well-formed but 𝛼′ was assumed to bewell-formed (could argue formally using bracket argument if desired).
20/37
![Page 30: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/30.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 1: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (¬𝛼′) for someother well-formed formula 𝛼′?
If this were the case, then comparing symbols shows immediately that𝛼 = 𝛼′. Since 𝛼 is uniquely readable by hypothesis, then so is 𝛼′ andhence so is 𝜑.
Subcase 2: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (𝛼′ ⋆ 𝛽′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Then in this case, it must be that 𝛼 = (𝛾 ⋆ 𝜂), 𝛼′ = ¬(𝛾 and 𝛽′ = 𝜂. Thisis a contradiction since 𝛼′ is not well-formed but 𝛼′ was assumed to bewell-formed (could argue formally using bracket argument if desired).
20/37
![Page 31: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/31.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 1: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (¬𝛼′) for someother well-formed formula 𝛼′?
If this were the case, then comparing symbols shows immediately that𝛼 = 𝛼′. Since 𝛼 is uniquely readable by hypothesis, then so is 𝛼′ andhence so is 𝜑.
Subcase 2: If 𝜑 = (¬𝛼), then what if we could write 𝜑 = (𝛼′ ⋆ 𝛽′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Then in this case, it must be that 𝛼 = (𝛾 ⋆ 𝜂), 𝛼′ = ¬(𝛾 and 𝛽′ = 𝜂. Thisis a contradiction since 𝛼′ is not well-formed but 𝛼′ was assumed to bewell-formed (could argue formally using bracket argument if desired).
20/37
![Page 32: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/32.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 3: If 𝜑 = (𝛼 ⋆ 𝛽), then what if we could write 𝜑 = (𝛼′ ⋆ 𝛽′) forsome other well-formed formulas 𝛼′ and 𝛽′?
21/37
![Page 33: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/33.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
ProofWe have assumed that 𝜑 is (𝛼 ⋆ 𝛽), where both 𝛼 and 𝛽 have property 𝑃 .To conclude, we must now show that
If 𝜑 is (𝛼′ ⋆′ 𝛽′) for formulas 𝛼′ and 𝛽′, then 𝛼 = 𝛼′, ⋆ = ⋆′ and 𝛽 = 𝛽′.
If |𝛼′| = |𝛼|, then 𝛼′ = 𝛼 (both start at the second symbol of 𝜑).Thus also ⋆ = ⋆′ and 𝛽 = 𝛽′, as required.
If 0 < |𝛼′| < |𝛼|, then 𝛼′ is a proper prefix of 𝛼.Thus, by lemmas 2 and 3 on 𝛼, 𝛼′ is not a formula; we have nothingto prove.
If |𝛼′| > |𝛼|,then 𝛼′ = 𝛼 ⋆ 𝑦, where 𝑦 is a proper prefix of 𝛽 (or is empty).By lemma 2, 𝛼 has equally many ‘(’ and ‘)’, while by lemma 3 𝑦 hasmore ‘(’ than ‘)’. Thus 𝛼′ has more ‘(’ than ‘)’ and hence again bylemma 3, it is not a formula, and again we have nothing to prove.
Therefore 𝛼 has a unique derivation in this case.
22/37
![Page 34: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/34.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
ProofWe have assumed that 𝜑 is (𝛼 ⋆ 𝛽), where both 𝛼 and 𝛽 have property 𝑃 .To conclude, we must now show that
If 𝜑 is (𝛼′ ⋆′ 𝛽′) for formulas 𝛼′ and 𝛽′, then 𝛼 = 𝛼′, ⋆ = ⋆′ and 𝛽 = 𝛽′.
If |𝛼′| = |𝛼|, then 𝛼′ = 𝛼 (both start at the second symbol of 𝜑).Thus also ⋆ = ⋆′ and 𝛽 = 𝛽′, as required.
If 0 < |𝛼′| < |𝛼|, then 𝛼′ is a proper prefix of 𝛼.Thus, by lemmas 2 and 3 on 𝛼, 𝛼′ is not a formula; we have nothingto prove.
If |𝛼′| > |𝛼|,then 𝛼′ = 𝛼 ⋆ 𝑦, where 𝑦 is a proper prefix of 𝛽 (or is empty).By lemma 2, 𝛼 has equally many ‘(’ and ‘)’, while by lemma 3 𝑦 hasmore ‘(’ than ‘)’. Thus 𝛼′ has more ‘(’ than ‘)’ and hence again bylemma 3, it is not a formula, and again we have nothing to prove.
Therefore 𝛼 has a unique derivation in this case.
22/37
![Page 35: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/35.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
ProofWe have assumed that 𝜑 is (𝛼 ⋆ 𝛽), where both 𝛼 and 𝛽 have property 𝑃 .To conclude, we must now show that
If 𝜑 is (𝛼′ ⋆′ 𝛽′) for formulas 𝛼′ and 𝛽′, then 𝛼 = 𝛼′, ⋆ = ⋆′ and 𝛽 = 𝛽′.
If |𝛼′| = |𝛼|, then 𝛼′ = 𝛼 (both start at the second symbol of 𝜑).Thus also ⋆ = ⋆′ and 𝛽 = 𝛽′, as required.
If 0 < |𝛼′| < |𝛼|, then 𝛼′ is a proper prefix of 𝛼.Thus, by lemmas 2 and 3 on 𝛼, 𝛼′ is not a formula; we have nothingto prove.
If |𝛼′| > |𝛼|,then 𝛼′ = 𝛼 ⋆ 𝑦, where 𝑦 is a proper prefix of 𝛽 (or is empty).By lemma 2, 𝛼 has equally many ‘(’ and ‘)’, while by lemma 3 𝑦 hasmore ‘(’ than ‘)’. Thus 𝛼′ has more ‘(’ than ‘)’ and hence again bylemma 3, it is not a formula, and again we have nothing to prove.
Therefore 𝛼 has a unique derivation in this case.
22/37
![Page 36: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/36.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
ProofWe have assumed that 𝜑 is (𝛼 ⋆ 𝛽), where both 𝛼 and 𝛽 have property 𝑃 .To conclude, we must now show that
If 𝜑 is (𝛼′ ⋆′ 𝛽′) for formulas 𝛼′ and 𝛽′, then 𝛼 = 𝛼′, ⋆ = ⋆′ and 𝛽 = 𝛽′.
If |𝛼′| = |𝛼|, then 𝛼′ = 𝛼 (both start at the second symbol of 𝜑).Thus also ⋆ = ⋆′ and 𝛽 = 𝛽′, as required.
If 0 < |𝛼′| < |𝛼|, then 𝛼′ is a proper prefix of 𝛼.Thus, by lemmas 2 and 3 on 𝛼, 𝛼′ is not a formula; we have nothingto prove.
If |𝛼′| > |𝛼|,then 𝛼′ = 𝛼 ⋆ 𝑦, where 𝑦 is a proper prefix of 𝛽 (or is empty).By lemma 2, 𝛼 has equally many ‘(’ and ‘)’, while by lemma 3 𝑦 hasmore ‘(’ than ‘)’. Thus 𝛼′ has more ‘(’ than ‘)’ and hence again bylemma 3, it is not a formula, and again we have nothing to prove.
Therefore 𝛼 has a unique derivation in this case.
22/37
![Page 37: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/37.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
ProofWe have assumed that 𝜑 is (𝛼 ⋆ 𝛽), where both 𝛼 and 𝛽 have property 𝑃 .To conclude, we must now show that
If 𝜑 is (𝛼′ ⋆′ 𝛽′) for formulas 𝛼′ and 𝛽′, then 𝛼 = 𝛼′, ⋆ = ⋆′ and 𝛽 = 𝛽′.
If |𝛼′| = |𝛼|, then 𝛼′ = 𝛼 (both start at the second symbol of 𝜑).Thus also ⋆ = ⋆′ and 𝛽 = 𝛽′, as required.
If 0 < |𝛼′| < |𝛼|, then 𝛼′ is a proper prefix of 𝛼.Thus, by lemmas 2 and 3 on 𝛼, 𝛼′ is not a formula; we have nothingto prove.
If |𝛼′| > |𝛼|,then 𝛼′ = 𝛼 ⋆ 𝑦, where 𝑦 is a proper prefix of 𝛽 (or is empty).By lemma 2, 𝛼 has equally many ‘(’ and ‘)’, while by lemma 3 𝑦 hasmore ‘(’ than ‘)’. Thus 𝛼′ has more ‘(’ than ‘)’ and hence again bylemma 3, it is not a formula, and again we have nothing to prove.
Therefore 𝛼 has a unique derivation in this case.22/37
![Page 38: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/38.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 4: If 𝜑 = (𝛼 ⋆ 𝛽), then what if we could write 𝜑 = (¬𝛼′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Argue as in Subcase 2; Notice that 𝛼′ = (𝛾 ⋆ 𝜂) for some well-formedformulas 𝛾 and 𝜂 which also satisfies 𝛼 = ¬(𝛾 and 𝛽 = 𝜂. Once again 𝛼 isnot well-formed which is a contradiction.
23/37
![Page 39: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/39.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Subcases
Subcase 4: If 𝜑 = (𝛼 ⋆ 𝛽), then what if we could write 𝜑 = (¬𝛼′) forsome other well-formed formulas 𝛼′ and 𝛽′?
Argue as in Subcase 2; Notice that 𝛼′ = (𝛾 ⋆ 𝜂) for some well-formedformulas 𝛾 and 𝜂 which also satisfies 𝛼 = ¬(𝛾 and 𝛽 = 𝜂. Once again 𝛼 isnot well-formed which is a contradiction.
23/37
![Page 40: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/40.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
The meaning of well-formed formulas
To interpret a formula, we have to give meanings to the propositionalvariables and the connectives.
A propositional variable has no intrinsic meaning; it gets a meaning via avaluation.
A (truth) valuation is a function 𝑡 ∶ 𝒫 ↦ {F, T} from the set of allproposition variables 𝒫 to {F, T}. It assigns true/false to everypropositional variable.
Two notations: 𝑡(𝑝) and 𝑝𝑡 both denote the truth value of 𝑝 under thetruth valuation 𝑡.
24/37
![Page 41: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/41.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Truth value of a formulaFix a truth valuation 𝑡. Every formula 𝛼 has a value under 𝑡, denoted 𝛼𝑡,determined as follows.
1. 𝑝𝑡 = 𝑡(𝑝).
2. (¬𝛼)𝑡 = { T if 𝛼𝑡 = FF if 𝛼𝑡 = T
3. (𝛼 ∧ 𝛽)𝑡 = { T if 𝛼𝑡 = 𝛽𝑡 = TF otherwise
4. (𝛼 ∨ 𝛽)𝑡 = { T if 𝛼𝑡 = T or 𝛽𝑡 = TF otherwise
5. (𝛼 → 𝛽)𝑡 = { T if 𝛼𝑡 = F or 𝛽𝑡 = TF otherwise
6. (𝛼 ↔ 𝛽)𝑡 = { T if 𝛼𝑡 = 𝛽𝑡
F otherwise
25/37
![Page 42: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/42.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Truth tables for connectives
The unary connective ¬:
𝛼 (¬𝛼)T FF T
The binary connectives ∧, ∨, →, and ↔:
𝛼 𝛽 (𝛼 ∧ 𝛽) (𝛼 ∨ 𝛽) (𝛼 → 𝛽) (𝛼 ↔ 𝛽)F F F F T TF T F T T FT F F T F FT T T T T T
26/37
![Page 43: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/43.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Evaluating a formula using a truth table
Example. The truth table of ((𝑝 ∨ 𝑞) → (𝑞 ∧ 𝑟)).
𝑝 𝑞 𝑟 (𝑝 ∨ 𝑞) (𝑞 ∧ 𝑟) ((𝑝 ∨ 𝑞) → (𝑞 ∧ 𝑟))F F F F F TF F T F F TF T F T F FF T T T T TT F F T F FT F T T F FT T F T F FT T T T T T
27/37
![Page 44: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/44.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Evaluating a formula using a truth table
Example. The truth table of ((𝑝 ∨ 𝑞) → (𝑞 ∧ 𝑟)).
𝑝 𝑞 𝑟 (𝑝 ∨ 𝑞) (𝑞 ∧ 𝑟) ((𝑝 ∨ 𝑞) → (𝑞 ∧ 𝑟))F F F F F TF F T F F TF T F T F FF T T T T TT F F T F FT F T T F FT T F T F FT T T T T T
27/37
![Page 45: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/45.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Evaluating a formula using a truth table
Build the truth table of ((𝑝 → (¬𝑞)) → (𝑞 ∨ (¬𝑝))).
28/37
![Page 46: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/46.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Understanding the disjunction and the biconditional
𝛼 𝛽 (𝛼 ∨ 𝛽) Exclusive OR BiconditionalF F F F TF T T T FT F T T FT T T F T
• What is the difference between an inclusive OR (the disjunction) andan exclusive OR?
• What is the relationship between the exclusive OR and thebiconditional?
29/37
![Page 47: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/47.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
A Small Theorem
Theorem: Fix a truth valuation 𝑡. Every formula 𝛼 has a value 𝛼𝑡 in{F, T}.
Proof: By structural induction. Let 𝑅(𝛼) be “𝛼 has a value 𝛼𝑡 in {F, T}”.
1. If 𝛼 is a propositional variable, then 𝑡 assigns it a value of T or F (bythe definition of a truth valuation).
2. If 𝛼 has a value in {F, T}, then (¬𝛼) also does, as shown by the truthtable of (¬𝛼).
3. If 𝛼 and 𝛽 each has a value in {F, T}, then (𝛼 ⋆ 𝛽) also does for everybinary connective ⋆, as shown by the corresponding truth tables.
By the principle of structural induction, every formula has a value.
By the unique readability of formulas, we have proved that a formula hasonly one truth value under any truth valuation 𝑡. QED
Equivalence 30/37
![Page 48: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/48.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
A Small Theorem
Theorem: Fix a truth valuation 𝑡. Every formula 𝛼 has a value 𝛼𝑡 in{F, T}.
Proof: By structural induction. Let 𝑅(𝛼) be “𝛼 has a value 𝛼𝑡 in {F, T}”.
1. If 𝛼 is a propositional variable, then 𝑡 assigns it a value of T or F (bythe definition of a truth valuation).
2. If 𝛼 has a value in {F, T}, then (¬𝛼) also does, as shown by the truthtable of (¬𝛼).
3. If 𝛼 and 𝛽 each has a value in {F, T}, then (𝛼 ⋆ 𝛽) also does for everybinary connective ⋆, as shown by the corresponding truth tables.
By the principle of structural induction, every formula has a value.
By the unique readability of formulas, we have proved that a formula hasonly one truth value under any truth valuation 𝑡. QED
Equivalence 30/37
![Page 49: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/49.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
A Small Theorem
Theorem: Fix a truth valuation 𝑡. Every formula 𝛼 has a value 𝛼𝑡 in{F, T}.
Proof: By structural induction. Let 𝑅(𝛼) be “𝛼 has a value 𝛼𝑡 in {F, T}”.
1. If 𝛼 is a propositional variable, then 𝑡 assigns it a value of T or F (bythe definition of a truth valuation).
2. If 𝛼 has a value in {F, T}, then (¬𝛼) also does, as shown by the truthtable of (¬𝛼).
3. If 𝛼 and 𝛽 each has a value in {F, T}, then (𝛼 ⋆ 𝛽) also does for everybinary connective ⋆, as shown by the corresponding truth tables.
By the principle of structural induction, every formula has a value.
By the unique readability of formulas, we have proved that a formula hasonly one truth value under any truth valuation 𝑡. QED
Equivalence 30/37
![Page 50: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/50.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Tautology, Contradiction, Satisfiable
A formula 𝛼 is a tautology if and only iffor every truth valuation 𝑡, 𝛼𝑡 = T.A formula 𝛼 is a contradiction if and only iffor every truth valuation 𝑡, 𝛼𝑡 = F.A formula 𝛼 is satisfiable if and only ifthere exists a truth valuation 𝑡 such that 𝛼𝑡 = T.
Properties of formulas 31/37
![Page 51: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/51.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Examples
Let 𝑝 be a Propositional variable.
• The formula (𝑝 ∨ (¬𝑝)) is a tautology (and satisfiable)• The formula (𝑝 ∧ (¬𝑝)) is a contradiction (and not satisfiable)• The formula (𝑝 → (¬𝑝)) is satisfiable (but not a tautology)
Properties of formulas 32/37
![Page 52: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/52.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
How to determine the properties of a formula
• Truth table• Valuation tree• Reasoning
Properties of formulas 33/37
![Page 53: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/53.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Valuation Tree
Rather than fill out an entire truth table, we can analyze what happens ifwe plug in a truth value for one variable.
¬T F¬F T
𝑝 ∧ T 𝑝𝑝 ∧ F F𝑝 ∧ 𝑝 𝑝
𝑝 ∨ T T𝑝 ∨ F 𝑝𝑝 ∨ 𝑝 𝑝
𝑝 → T T𝑝 → F ¬𝑝T → 𝑝 𝑝F → 𝑝 T𝑝 → 𝑝 T
We can evaluate a formula by using these rules to construct a valuationtree.
Properties of formulas 34/37
![Page 54: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/54.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Example of a valuation treeExample. Show that (((𝑝 ∧ 𝑞) → (¬𝑟)) ∧ (𝑝 → 𝑞)) → (𝑝 → (¬𝑟))) is atautology by using a valuation tree.
Suppose 𝑡(𝑝) = T. We put T in for 𝑝:
(((T ∧ 𝑞) → (¬𝑟)) ∧ (T → 𝑞)) → (T → (¬𝑟)) .
Based on the truth tables for the connectives, the formula becomes(((𝑞 → (¬𝑟)) ∧ 𝑞) → (¬𝑟)).
If 𝑡(𝑞) = T, this yields ((¬𝑟) → (¬𝑟)) and then T. (Check!).If 𝑡(𝑞) = F, it yields (F → (¬𝑟)) and then T. (Check!).
Suppose 𝑡(𝑝) = F. We get
(((F ∧ 𝑞) → (¬𝑟)) ∧ (F → 𝑞)) → (F → (¬𝑟)) ,
Simplification yields ((F → (¬𝑟)) ∧ T) → T and eventually T.
Thus every valuation makes the formula true, as required.
Properties of formulas 35/37
![Page 55: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/55.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Example of a valuation treeExample. Show that (((𝑝 ∧ 𝑞) → (¬𝑟)) ∧ (𝑝 → 𝑞)) → (𝑝 → (¬𝑟))) is atautology by using a valuation tree.
Suppose 𝑡(𝑝) = T. We put T in for 𝑝:
(((T ∧ 𝑞) → (¬𝑟)) ∧ (T → 𝑞)) → (T → (¬𝑟)) .
Based on the truth tables for the connectives, the formula becomes(((𝑞 → (¬𝑟)) ∧ 𝑞) → (¬𝑟)).
If 𝑡(𝑞) = T, this yields ((¬𝑟) → (¬𝑟)) and then T. (Check!).If 𝑡(𝑞) = F, it yields (F → (¬𝑟)) and then T. (Check!).
Suppose 𝑡(𝑝) = F. We get
(((F ∧ 𝑞) → (¬𝑟)) ∧ (F → 𝑞)) → (F → (¬𝑟)) ,
Simplification yields ((F → (¬𝑟)) ∧ T) → T and eventually T.
Thus every valuation makes the formula true, as required.Properties of formulas 35/37
![Page 56: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/56.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Valuation Tree (Do not break on multiple lines!)
((((𝑝 ∧ 𝑞) → (¬𝑟))∧ (𝑝 → 𝑞))
→ (𝑝 → (¬𝑟)))𝑝𝑡=𝑇
qqqqqq
qq 𝑝𝑡=𝐹
FFFF
FFFF
FF
(((𝑞 → (¬𝑟)) ∧ 𝑞)→ (¬𝑟))
𝑞𝑡=𝑇
ssssss
sss𝑞𝑡=𝐹
QQQQQQ
QQQQQQ
Q
𝑇
𝑇 𝑇
Properties of formulas 36/37
![Page 57: Warmup Problem - University of Waterloocbruni/CS245Resources/... · dealing with. • “Has an equal number of opening and closing brackets” is the property that we are going to](https://reader033.fdocuments.in/reader033/viewer/2022060302/5f08a2437e708231d422f95e/html5/thumbnails/57.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Examples
Determine which of the following are satisfiable, form a tautology or forma contradiction. Use a truth table. Repeat using a valuation tree.
1. ((((𝑝 ∨ 𝑞) ↔ (¬𝑟)) ∧ (𝑝 → 𝑞)) ∧ (𝑝 → (¬𝑟)))2. ((((𝑝 ∧ 𝑞) → 𝑟) ∧ (𝑝 → 𝑞)) → (𝑝 → 𝑟))3. ((𝑝 ∨ 𝑞) ↔ ((𝑝 ∧ (¬𝑞)) ∨ ((¬𝑝) → 𝑞)))4. (𝑝 ∧ (¬𝑝))
Properties of formulas 37/37