This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ence (example)
Determine the conclusion of the following argument must be true
or not.
If 27196 is multiple of 17, then 27196+17 is multiple of 17.
27196 is multiple of 17.
Therefore, 27196+17 is multiple of 17.
Solution:
Check if all premises are true
“27196 is multiple of 17” is false.
The conclusion “27196+17 is multiple of 17” is not true. 8 Rules of inference
Argument:
It is sunny today.
Therefore,
it is either sunny or cloudy today. p.
Therefore, p p
q p q p premise
true
conclusion
true (p q) Tautology
9 Rules of inference (example)
State which rule of inference is applied in the following
argument.
Tofu is healthy to eat.
Therefore, either tofu or cheeseburger is healthy to eat.
Solution:
Determine individual propositions
p: tofu is healthy to eat.
q: cheeseburger is healthy to eat.
Determine the argument using p and q
p
p.
pq
Therefore, p q.
10 Rules of inference
Argument:
It is cloudy and raining.
Therefore,
it is cloudy. p q.
Therefore, p. p q
p premise
true
conclusion
true (p q) p Tautology
11 Rules of inference (...
View
Full
Document
This note was uploaded on 01/13/2014 for the course CSE 1019 taught by Professor Shafiei during the Summer '09 term at York University.
 Summer '09
 Shafiei
 Computer Science

Click to edit the document details