Scribd
Upload
25 views

Logic of Informatics - Rules of Inference

Here are the steps to prove the validity of this argument using rules of inference: 1. p ∧ q (Premise) 2. (p ∨ q) → r (Premise) 3. p ∨ q (Simplification from 1) 4. r (Modus Ponens from 2 and 3) Therefore, this argument is valid by using rules of inference (Simplification and Modus Ponens).

Uploaded by

liamroytiukinhoy
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
25 views

Logic of Informatics - Rules of Inference

Here are the steps to prove the validity of this argument using rules of inference: 1. p ∧ q (Premise) 2. (p ∨ q) → r (Premise) 3. p ∨ q (Simplification from 1) 4. r (Modus Ponens from 2 and 3) Therefore, this argument is valid by using rules of inference (Simplification and Modus Ponens).

Uploaded by

liamroytiukinhoy
Copyright
© © All Rights Reserved
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 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 pq
This argument has the form:
p
q
Another Example
Ex: p q
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: 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 p1 , p2 ,  , pn

and conclusion q
is valid when ( p1  p2    pn )  q is a tautology
The Rules of Inference -
Modus Ponens

pq
p
q

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
-

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
-

pq pq
q OR
p
p q

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 q
OR
pq pq

= I like tea, = I like coffee


I like tea
Therefore, I like tea or coffee
The Rules of Inference -
Simplification

pq pq
OR
p q

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. p  q
2. I read the newspaper in the living room or I read it in the kitchen. r  s
3. If I read the newspaper in the living room, then surely put my glasses on
the coffee table. r  t
4. I do not see my glasses at breakfast time. q
5. If I read a book in bed, then put my glasses on the bedside table. u  w
6. If I read the newspaper in the kitchen, then my glasses are on the kitchen
table. s  p

Based on these facts, prove / show that the glasses left on the coffee table!
Exercise 3
• Prove the validity of the following arguments using
the rules of inference!

pq
(p  q)  r
r

You might also like