This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: a from the first set with a vertex b from the second set if and only if ( a, b ) ∈ R . 7. What relevant conclusion can be drawn from the following premises: “I am either dreaming or hallucinating.” “If I am dreaming, I am snoring.” “If I am hallucinating, I see elephants running down the road.” “I am not snoring.” The relevant conclusion is: “I see elephants running down the road.” Let the primitive statements be: d , ‘I am dreaming’ h , ‘I am hallucinating’ s , ‘I am snoring’ e , ‘I see elephants running down the road’ Then the premises are translated as: d ∨ h , d → s , h → e , ¬ s . And the conclusion: e . Steps Reason 1. d → s premise 2. ¬ s premise 3. ¬ d modus tollens to Steps 1 and 2 1 4. d ∨ h premise 5. h rule of disjunctive syllogism 6. h → e premise 7. e modus ponens to Steps 5 and 6. 2...
View
Full
Document
This note was uploaded on 10/09/2009 for the course MATH macm 101 taught by Professor Jcliu during the Spring '09 term at Simon Fraser.
 Spring '09
 jcliu

Click to edit the document details