Resolution_Part_2

# Resolution_Part_2 - Example(2 A1 If Henry has two days off...

This preview shows pages 1–4. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Example (2) A1. If Henry has two days off, then if the weather is bad, Henry is not fishing. A2. if Henry is not fishing and is not drinking in a pub with his friends, then he is watching TV at home. A3. If Henry is working, then he is neither drinking in a pub with his friends nor watching TV at home. Q. If Henry is not watching TV at home and he has two days off, then he is drinking in a pub with his friends provided that the weather is bad. York University- CSE 3401 8 04_Resolution Example (2) (cont.) • From logical point of view, we want to prove Q, given A1, A2, A3. • By refutation principle, the consistency of is examined. – Step 1: Represent as propositional formulas – Step 2: Represent as clauses – Step 3: Determine the consistency of C • If C is consistent, answer NO (false) • If C is inconsistent, answer YES (true) York University- CSE 3401 9 } { } 3 , 2 , 1 { Q A A A C . } 3 , 2 , 1 { Q A A A 04_Resolution Example (2) (cont.) A1. If Henry has two days off, then if the A1....
View Full Document

{[ snackBarMessage ]}

### Page1 / 7

Resolution_Part_2 - Example(2 A1 If Henry has two days off...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online