SlideShare a Scribd company logo
1 of 17
Logic of Informatics
Rules of Inference
Last Lecture
• Converse
• Inverse
• Contrapositive
• Tautology
• Contradiction
What is an argument?
An argument is a sequence of statements or
premises that end in a conclusion.
Ex:
If I jump I will fall
I jump
Therefore, I will fall
q
p
q
p


This argument has the form:
Another Example
Ex:
Premise: If I eat too much, my stomach will be hurt
Premise: My stomach doesn’t hurt
Conclusion: Therefore, I don’t eat too much
p q
This argument has the form:
p q
q
p



The purpose of rules of inference
We use rules of inference to construct valid
arguments.
A valid argument is one in which it is not possible for
the conclusion to be false if the premises are true.
The argument is valid iff the truth of all premises
implies the conclusion is true
How to determine the validity of
argument?
The argument form with premises
q
p
p
p n 


 )
( 2
1 
and conclusion q
is valid when
n
p
p
p ,
,
, 2
1 
is a tautology
The Rules of Inference -
Modus Ponens
q
p
q
p


If I am late, my teacher is angry to me
I am late
Therefore, my teacher is angry to me
The Rules of Inference -
Modus Tollens
p q
q
p



If grass is blue, then trees are blue
Trees are not blue
Therefore, grass is not blue
The Rules of Inference -
Hypothetical Syllogism
p q
q r
p r


 
If today is raining, then we are late
If we are late, then our teacher will be angry
Therefore, if today is raining then our teacher will be angry
The Rules of Inference -
Disjunctive Syllogism
p q
q
p



p q
p
q



OR
My wallet is in my pocket or left behind at home
No wallet in my pocket
Therefore, my wallet left behind at home
The Rules of Inference -
Conjunction
p
q
p q
 
He takes Discrete Mathematics Lecture
He repeats Algorithms Lecture
Therefore, he takes Discrete Mathematics and repeats
Algorithms
The Rules of Inference -
Addition
p
p q
 
q
p q
 
OR
𝑝 = I like tea, 𝑞 = I like coffee
I like tea
Therefore, I like tea or coffee
The Rules of Inference -
Simplification
p q
p


p q
q


OR
I am clever in mathematic and computer science
Therefore, I am clever in mathematic
The Rules of Inference -
Dilemma
p q
p r
q r
r




Either we increase the price or we decrease the quality.
If we increase the price, sales will slump.
If we decrease the quality, sales will slump.
Therefore, sales will slump.
Exercise 1
• Determine whether the following argument is
valid / Invalid
a). P  (Q  R)
R
 P  Q
b). P  (Q  R)
Q  (P  R)
 P  R
Exercise 2
One day, you want to go to college and realized that you do not wear glasses.
Having to remember, there are some facts that you make sure the truth:
1. If the glasses are on the kitchen table, then I would have seen it as
breakfast.
2. I read the newspaper in the living room or I read it in the kitchen.
3. If I read the newspaper in the living room, then surely put my glasses on
the coffee table.
4. I do not see my glasses at breakfast time.
5. If I read a book in bed, then put my glasses on the bedside table.
6. If I read the newspaper in the kitchen, then my glasses are on the kitchen
table.
Based on these facts, prove / show that the glasses left on the coffee table!
p q

r s

r t

q

u w

s p

Exercise 3
• Prove the validity of the following arguments using
the rules of inference!
p  q
(p  q)  r
 r

More Related Content

Similar to Logic_of_Informatics_-_Rules_of_Inference.pptx

Hypothesis
HypothesisHypothesis
HypothesisLizzyL1
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxMahdiHasan86
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical LogicJoey Valdriz
 
Discrete maths lecture 2
Discrete maths lecture 2Discrete maths lecture 2
Discrete maths lecture 2ToobaKhan721147
 
Rules of Inference.pptx
Rules of Inference.pptxRules of Inference.pptx
Rules of Inference.pptxMubeenNaeem4
 
unit1rulesofinference-170113152312.pdf
unit1rulesofinference-170113152312.pdfunit1rulesofinference-170113152312.pdf
unit1rulesofinference-170113152312.pdfBhanuCharan9
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inferenceraksharao
 
Time management
Time management Time management
Time management Baloji
 
rulesOfInference.ppt
rulesOfInference.pptrulesOfInference.ppt
rulesOfInference.pptssuserf1f9e8
 
Persuasive speech
Persuasive speechPersuasive speech
Persuasive speechlaineyindia
 
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptx
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptxDisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptx
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptxAdeel Saifee
 
Probability - The Basics Workshop 1
Probability - The Basics Workshop 1Probability - The Basics Workshop 1
Probability - The Basics Workshop 1Angela Lee
 
Daily routine - Denní program, život ve škole
Daily routine - Denní program, život ve školeDaily routine - Denní program, život ve škole
Daily routine - Denní program, život ve školeSŠ Automobilní Holice
 
rules of inference in discrete structures
rules of inference in discrete structuresrules of inference in discrete structures
rules of inference in discrete structuresZenLooper
 
Osmosis report powerpoint
Osmosis report powerpointOsmosis report powerpoint
Osmosis report powerpointclairebloom
 

Similar to Logic_of_Informatics_-_Rules_of_Inference.pptx (20)

Hypothesis
HypothesisHypothesis
Hypothesis
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptx
 
logicj-160412050513.pptx
logicj-160412050513.pptxlogicj-160412050513.pptx
logicj-160412050513.pptx
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
Discrete maths lecture 2
Discrete maths lecture 2Discrete maths lecture 2
Discrete maths lecture 2
 
Rules of Inference.pptx
Rules of Inference.pptxRules of Inference.pptx
Rules of Inference.pptx
 
unit1rulesofinference-170113152312.pdf
unit1rulesofinference-170113152312.pdfunit1rulesofinference-170113152312.pdf
unit1rulesofinference-170113152312.pdf
 
Unit 1 rules of inference
Unit 1  rules of inferenceUnit 1  rules of inference
Unit 1 rules of inference
 
Time management
Time management Time management
Time management
 
rulesOfInference.ppt
rulesOfInference.pptrulesOfInference.ppt
rulesOfInference.ppt
 
Persuasive speech
Persuasive speechPersuasive speech
Persuasive speech
 
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptx
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptxDisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptx
DisMath-lecture-2-Logic-and-Proofs-08032022-115009am.pptx
 
Denní program-život-ve-škole
Denní program-život-ve-školeDenní program-život-ve-škole
Denní program-život-ve-škole
 
Probability - The Basics Workshop 1
Probability - The Basics Workshop 1Probability - The Basics Workshop 1
Probability - The Basics Workshop 1
 
Denni program
Denni programDenni program
Denni program
 
Denní program, život ve škole
Denní program, život ve školeDenní program, život ve škole
Denní program, život ve škole
 
Daily routine - Denní program, život ve škole
Daily routine - Denní program, život ve školeDaily routine - Denní program, život ve škole
Daily routine - Denní program, život ve škole
 
2017 eda
2017 eda2017 eda
2017 eda
 
rules of inference in discrete structures
rules of inference in discrete structuresrules of inference in discrete structures
rules of inference in discrete structures
 
Osmosis report powerpoint
Osmosis report powerpointOsmosis report powerpoint
Osmosis report powerpoint
 

Recently uploaded

Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin ClassesCeline George
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeThiyagu K
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docxPoojaSen20
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...christianmathematics
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDThiyagu K
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxAreebaZafar22
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhikauryashika82
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxDenish Jangid
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701bronxfugly43
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfJayanti Pande
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...Poonam Aher Patil
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsTechSoup
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxnegromaestrong
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfChris Hunter
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17Celine George
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.christianmathematics
 
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...Shubhangi Sonawane
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphThiyagu K
 

Recently uploaded (20)

Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17  How to Extend Models Using Mixin ClassesMixin Classes in Odoo 17  How to Extend Models Using Mixin Classes
Mixin Classes in Odoo 17 How to Extend Models Using Mixin Classes
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docx
 
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
Explore beautiful and ugly buildings. Mathematics helps us create beautiful d...
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701ComPTIA Overview | Comptia Security+ Book SY0-701
ComPTIA Overview | Comptia Security+ Book SY0-701
 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
 
Web & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdfWeb & Social Media Analytics Previous Year Question Paper.pdf
Web & Social Media Analytics Previous Year Question Paper.pdf
 
General Principles of Intellectual Property: Concepts of Intellectual Proper...
General Principles of Intellectual Property: Concepts of Intellectual  Proper...General Principles of Intellectual Property: Concepts of Intellectual  Proper...
General Principles of Intellectual Property: Concepts of Intellectual Proper...
 
Introduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The BasicsIntroduction to Nonprofit Accounting: The Basics
Introduction to Nonprofit Accounting: The Basics
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
Making and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdfMaking and Justifying Mathematical Decisions.pdf
Making and Justifying Mathematical Decisions.pdf
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 

Logic_of_Informatics_-_Rules_of_Inference.pptx

  • 2. Last Lecture • Converse • Inverse • Contrapositive • Tautology • Contradiction
  • 3. What is an argument? An argument is a sequence of statements or premises that end in a conclusion. Ex: If I jump I will fall I jump Therefore, I will fall q p q p   This argument has the form:
  • 4. Another Example Ex: Premise: If I eat too much, my stomach will be hurt Premise: My stomach doesn’t hurt Conclusion: Therefore, I don’t eat too much p q This argument has the form: p q q p   
  • 5. The purpose of rules of inference We use rules of inference to construct valid arguments. A valid argument is one in which it is not possible for the conclusion to be false if the premises are true. The argument is valid iff the truth of all premises implies the conclusion is true
  • 6. How to determine the validity of argument? The argument form with premises q p p p n     ) ( 2 1  and conclusion q is valid when n p p p , , , 2 1  is a tautology
  • 7. The Rules of Inference - Modus Ponens q p q p   If I am late, my teacher is angry to me I am late Therefore, my teacher is angry to me
  • 8. The Rules of Inference - Modus Tollens p q q p    If grass is blue, then trees are blue Trees are not blue Therefore, grass is not blue
  • 9. The Rules of Inference - Hypothetical Syllogism p q q r p r     If today is raining, then we are late If we are late, then our teacher will be angry Therefore, if today is raining then our teacher will be angry
  • 10. The Rules of Inference - Disjunctive Syllogism p q q p    p q p q    OR My wallet is in my pocket or left behind at home No wallet in my pocket Therefore, my wallet left behind at home
  • 11. The Rules of Inference - Conjunction p q p q   He takes Discrete Mathematics Lecture He repeats Algorithms Lecture Therefore, he takes Discrete Mathematics and repeats Algorithms
  • 12. The Rules of Inference - Addition p p q   q p q   OR 𝑝 = I like tea, 𝑞 = I like coffee I like tea Therefore, I like tea or coffee
  • 13. The Rules of Inference - Simplification p q p   p q q   OR I am clever in mathematic and computer science Therefore, I am clever in mathematic
  • 14. The Rules of Inference - Dilemma p q p r q r r     Either we increase the price or we decrease the quality. If we increase the price, sales will slump. If we decrease the quality, sales will slump. Therefore, sales will slump.
  • 15. Exercise 1 • Determine whether the following argument is valid / Invalid a). P  (Q  R) R  P  Q b). P  (Q  R) Q  (P  R)  P  R
  • 16. Exercise 2 One day, you want to go to college and realized that you do not wear glasses. Having to remember, there are some facts that you make sure the truth: 1. If the glasses are on the kitchen table, then I would have seen it as breakfast. 2. I read the newspaper in the living room or I read it in the kitchen. 3. If I read the newspaper in the living room, then surely put my glasses on the coffee table. 4. I do not see my glasses at breakfast time. 5. If I read a book in bed, then put my glasses on the bedside table. 6. If I read the newspaper in the kitchen, then my glasses are on the kitchen table. Based on these facts, prove / show that the glasses left on the coffee table! p q  r s  r t  q  u w  s p 
  • 17. Exercise 3 • Prove the validity of the following arguments using the rules of inference! p  q (p  q)  r  r