Resolution_Part_2

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

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon

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

View Full DocumentRight Arrow Icon
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

Page1 / 7

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

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online