Exercise 6        Name __________________        Score __/12

Rules

1. ABC
2. AD
3. CDE
4. BEFG
5. AEH
6. DEHI

Facts:    A, B, F
 

1. Using logical equivalences, modus ponens, etc. prove H.
2. Using resolution, prove H.
3. Using forward chaining, prove H.
4. Using backward chaining, prove H.