PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is...
Transcript of PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is...
![Page 1: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/1.jpg)
PROPOSITIONAL CALCULUS
A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both.
![Page 2: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/2.jpg)
These are not propositions!
![Page 3: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/3.jpg)
Connectives and Compound Propositions
![Page 4: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/4.jpg)
PROPOSITIONAL CONNECTIVES
![Page 5: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/5.jpg)
Negation of a Proposition
• The negation of a proposition 𝑃 is denoted by ¬𝑃 and is read as “not 𝑃”.
• The truth table is shown below:
![Page 6: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/6.jpg)
Example 1: Negation of a Proposition
1. 𝑃: It will rain today.
¬𝑃: It will not rain today.
2. 𝑄: Angela is hardworking.
¬𝑄: Angela is not hardworking.
3. 𝑅: You will pass this course.
¬𝑅: You will not pass this course.
![Page 7: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/7.jpg)
Conjunction of Propositions
• The proposition “𝑃 and 𝑄”, denoted by 𝑃 ∧ 𝑄, is called the conjunction of 𝑃 and 𝑄.
• Other keywords: “but”, “nevertheless”
![Page 8: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/8.jpg)
Conjunction of Propositions
• The truth table is shown as follows:
![Page 9: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/9.jpg)
Example 2: Conjunction of a Proposition
1. 𝑃: Sofia is beautiful.
𝑄: Anton is strong.
𝑃 ∧ 𝑄: Sofia is beautiful and Anton is strong.
2. 𝑆: The stock exchange is down.
𝑇: It will continue to decrease.
𝑆 ∧ 𝑇: The stock exchange is down and it will continue to decrease.
![Page 10: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/10.jpg)
Disjunction: Inclusive “or”
• The proposition “𝑃 or 𝑄”, denoted by 𝑃 ∨ 𝑄, is called the disjunction of 𝑃 or 𝑄. This is also referred to as the inclusive “or”.
• Other keywords: “unless”
![Page 11: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/11.jpg)
Disjunction: Inclusive “or”
• The truth table is shown below:
![Page 12: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/12.jpg)
Example 3: Inclusive “or”
1. 𝑃: This lesson is interesting.
𝑄: The lesson is easy.
𝑃 ∨ 𝑄: This lesson is interesting or it is easy.
2. 𝑆: I want to take a diet.
𝑇: The food is irresistible.
𝑆 ∨ 𝑇: I want to take a diet or the food is irresistible.
![Page 13: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/13.jpg)
Disjunction: Exclusive “or”
The disjunction proposition “𝑃 or 𝑄 but not both”, denoted by 𝑃 ⊕ 𝑄, is called the exclusive “or”. The truth table is shown as follows:
![Page 14: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/14.jpg)
Example 4: Exclusive “or”
𝑃: Presidential candidate A wins.
𝑄: Presidential candidate B wins.
𝑃 ⊕ 𝑄 : Either presidential candidate A or B wins.
![Page 15: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/15.jpg)
Implications or Conditionals
• The proposition “If 𝑃, then 𝑄”, denoted by 𝑃 ⇒ 𝑄 is called an implication or a conditional.
• Equivalent propositions: “𝑃 only if 𝑄”, “𝑄 follows from 𝑃”, “𝑃 is a sufficient condition for 𝑄”, “𝑄 whenever 𝑃”
![Page 16: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/16.jpg)
Implications or Conditionals
• The truth table for an implication is shown as follows:
![Page 17: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/17.jpg)
Example 5: Implications
𝑃: It is raining very hard today.
𝑄: Classes are suspended.
𝑃 ⇒ 𝑄: If it is raining very hard today, then classes are suspended.
![Page 18: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/18.jpg)
Related Implication: Converse
• The converse of the proposition “If 𝑃, then 𝑄” is the proposition “If 𝑄, then 𝑃”. In symbols, the converse of 𝑃 ⇒ 𝑄 is 𝑄 ⇒ 𝑃.
• Example: The converse of the proposition 𝑃 ⇒ 𝑄: “If it is raining very hard today, then classes are suspended.” is the proposition 𝑄 ⇒ 𝑃: “If classes are suspended, then it is raining very hard today.”
![Page 19: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/19.jpg)
Related Implication: Contrapositive
• The contrapositive of the proposition “If 𝑃, then 𝑄” is the proposition “If not 𝑄, then not 𝑃”. In symbols, the contrapositive of 𝑃 ⇒ 𝑄 is ¬𝑄 ⇒ ¬𝑃.
• Example: The contrapositive of the proposition 𝑃 ⇒ 𝑄: “If it is raining very hard today, then classes are suspended.” is the proposition ¬𝑄 ⇒ ¬𝑃: “If classes are not suspended, then it is not raining very hard today.”
![Page 20: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/20.jpg)
Related Implication: Inverse
• The inverse of the proposition “If 𝑃, then 𝑄” is the proposition “If not 𝑃, then not 𝑄”. In symbols, the inverse of 𝑃 ⇒ 𝑄 is ¬𝑃 ⇒ ¬𝑄.
• Example: The inverse of the proposition 𝑃 ⇒ 𝑄: “If it is raining very hard today, then classes are suspended.” is the proposition ¬𝑄 ⇒ ¬𝑃: “If it is not raining very hard today, then classes are not suspended.”
![Page 21: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/21.jpg)
Biconditionals
• The proposition “𝑃 if and only if 𝑄”, denoted by 𝑃 ⇔ 𝑄 is called a biconditional.
• Equivalent propositions: “𝑃 is equivalent to 𝑄”, “𝑃 is a necessary and sufficient condition for 𝑄”
![Page 22: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/22.jpg)
Biconditionals
• The truth table for a biconditional is shown as follows:
![Page 23: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/23.jpg)
Example 6: Biconditionals
𝑃: I will pass Matapre.
𝑄: My grade is at least 60.
𝑃 ⇔ 𝑄: I will pass Matapre if and only if my grade is at least 60.
![Page 24: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/24.jpg)
TRUTH TABLE SUMMARY
![Page 25: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/25.jpg)
Truth Tables
• In constructing a truth table, the number of rows is equal to 2𝑛 where 𝑛 is the number of propositional variables.
• For example, if there are 4 propositional variables, then the truth table will consist of 24 = 16.
![Page 26: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/26.jpg)
Assignment of Values
For two propositional variables, we have 4 rows for the truth table and the assignment of values are shown as follows:
![Page 27: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/27.jpg)
Assignment of Values
For three propositional variables, we have 8 rows:
![Page 28: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/28.jpg)
Assignment of values
![Page 29: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/29.jpg)
Types of Propositional Forms
There are three types of propositional forms:
• Tautology
• Contradiction
• Contingency
![Page 30: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/30.jpg)
Tautology
A propositional form that is true under all circumstances is called a tautology.
Example: The proposition 𝑃 ⇒ 𝑄 ⇔ ¬𝑃 ∨ 𝑄
is a tautology. The truth table is shown as follows:
![Page 31: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/31.jpg)
Tautology
![Page 32: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/32.jpg)
Contradiction
A propositional form that is false under all circumstances is called a contradiction.
Example: The proposition ¬ 𝑃 ∧ 𝑄 ⇔ (𝑄 ∧ 𝑃)
is a contradiction. The truth table is shown as follows:
![Page 33: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/33.jpg)
Contradiction
![Page 34: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/34.jpg)
Contingency
A propositional form that is neither a tautology nor a contradiction is called a contingency.
Example: The proposition (𝑃 ∨ 𝑄) ⇒ 𝑅
is a contingency. The truth table is shown as follows:
![Page 35: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/35.jpg)
Contingency
![Page 36: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/36.jpg)
Knowledge Check 1.3
Test 1: Determine if the following propositional forms is a tautology, contradiction or contingency by constructing truth tables for each.
1. 𝑃 ⇔ ¬𝑃
2. 𝑄 ∨ 𝑆 ⇒ ¬𝑃
3. 𝑄 ⇒ 𝑃 ⇔ 𝑃 ∧ 𝑄
4. ¬𝑄 ⇒ 𝑆 ∧ 𝑃 ∨ 𝑆
Test 2: Turn on page 15 and answer number 18.
![Page 37: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/37.jpg)
Logically Equivalent Propositions
![Page 38: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/38.jpg)
Some Logically Equivalent Propositions
![Page 39: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/39.jpg)
Some Logically Equivalent Propositions
![Page 40: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/40.jpg)
Remark: Implications
![Page 41: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/41.jpg)
When is a Mathematical Reasoning Correct?
![Page 42: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/42.jpg)
Rule of Inference: Addition
1. Addition 𝑃
∴ 𝑃 ∨ 𝑄
• In this rule of inference, we can add any propositional variable to another with the use of the logical connective “or”.
![Page 43: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/43.jpg)
Rule of Inference: Simplification
2. Simplification 𝑃 ∧ 𝑄
∴ 𝑃
• Illustration: Give the appropriate conclusion using simplification rule.
(𝑅 ⇒ 𝑆) ∧ ¬𝑇 ∴ _________?
![Page 44: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/44.jpg)
Rule of Inference: Conjunction
3. Conjunction 𝑃 𝑄
∴ 𝑃 ∧ 𝑄
• Illustration: Give the appropriate conclusion using conjunction rule.
𝑆 ⇒ 𝑇 𝑁 ∨ 𝑅
∴ _________?
![Page 45: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/45.jpg)
Rule of Inference: Modus Ponens
4. Modus Ponens 𝑃 ⇒ 𝑄
𝑃 ∴ 𝑄
• Illustration: Give the appropriate conclusion using modus ponens rule.
(𝑀 ∧ 𝑁) ⇒ ¬𝑇 𝑀 ∧ 𝑁
∴ _________?
![Page 46: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/46.jpg)
Rule of Inference: Modus Tollens
5. Modus Tollens 𝑃 ⇒ 𝑄
¬𝑄 ∴ ¬𝑃
• Illustration: Give the appropriate conclusion using modus tollens rule.
𝑀 ⇒ (𝐵 ∧ 𝐶) ¬(𝐵 ∧ 𝐶)
∴ _________?
![Page 47: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/47.jpg)
Rule of Inference: Disjunctive Syllogism
6. Disjunctive Syllogism 𝑃 ∨ 𝑄
¬𝑃 ∴ 𝑄
• Illustration: Give the appropriate conclusion using disjunctive syllogism rule.
𝑍 ∨ (𝑋 ⇒ 𝑌) ¬𝑍
∴ _________?
![Page 48: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/48.jpg)
Rule of Inference: Hypothetical Syllogism
7. Hypothetical Syllogism 𝑃 ⇒ 𝑄 𝑄 ⇒ 𝑅
∴ 𝑃 ⇒ 𝑅
• Illustration: Give the appropriate conclusion using hypothetical syllogism rule.
(𝑋 ∧ 𝑁) ⇒ ¬𝑇 ¬𝑇 ⇒ (𝐴 ∨ 𝐵)
∴ _________?
![Page 49: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/49.jpg)
Some Applications
![Page 50: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/50.jpg)
Some Applications
![Page 51: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/51.jpg)
Knowledge Check 1.4
State the rule of inference by which the conclusion follows from its premise/s.
1. 𝐴 ⇒ (𝐵 ⇔ ¬𝐶)
𝐵 ⇔ ¬𝐶 ⇒ 𝐷
∴ 𝐴 ⇒ 𝐷
2. 𝑇 ∨ 𝑈 ∨ 𝑊
[𝑇 ∨ 𝑈 ∨ 𝑊 ] ∨ 𝑃
![Page 52: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/52.jpg)
Knowledge Check 1.4
3. 𝐸 ⇒ ¬𝐹 ⇒ ¬𝐺 ∨ ¬𝐻
𝐸 ⇒ ¬𝐹
∴ ¬𝐺 ∨ ¬𝐻
4. 𝐼 ⇒ 𝐽 ∨ 𝐾 ⇒ 𝐿
¬ 𝐼 ⇒ 𝐽
∴ 𝐾 ⇒ 𝐿
![Page 53: PROPOSITIONAL CALCULUS · PDF file · 2017-08-29proposition ⇒ : If it is raining very hard ... of the logical connective or _. Rule of Inference: ... Hypothetical Syllogism 7](https://reader031.fdocuments.net/reader031/viewer/2022030500/5aabe56a7f8b9aa06a8c74e5/html5/thumbnails/53.jpg)
Knowledge Check 1.4
5. 𝑀 ⇒ ¬𝑁
¬𝑁 ⇒ 𝑄
∴ (𝑀 ⇒ ¬𝑁) ∧ (¬𝑁 ⇒ 𝑄)
6. ¬𝑃 ⇔ 𝑄 ∨ 𝑅 ∨ 𝑆
¬ ¬𝑃 ⇔ 𝑄
∴ 𝑅 ∨ 𝑆