This preview shows page 1. Sign up to view the full content.
Unformatted text preview: nny today, then I go swimming
I do not go swimming today.
it is not sunny today.
Therefore, ¬p. p
¬p ((p q) premises
true ¬q) ¬p Tautology
15 Rules of inference (example)
State which rule of inference is applied in the following argument.
If today is sunny, then she goes shopping.
She does not go shopping.
Therefore, today is not sunny.
Determine individual propositions
p: today is sunny.
q: she goes shopping.
Determine the argument using p and q
16 Rules of inference for quantified
All women are wise.
Lisa is wise.
(c is a particular
member of the domain.) premises
P(c) Universal instantiation
17 Rules of inference for quantified
State which rule of inference is applied in the following
All dogs are cute.
Therefore, his dog is cute.
Determine individual propositional function
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
- Computer Science