Go up to Question 1
[15 marks]
Go forward to Solution to Question 1, part (b)
Solution to Question 1, part (a)
"a isn't a logical consequence of KB" means there exists a model of
KB in which a is false.
To show why a isn't a logical consequence of KB, we can give such
a model. The minimal model will always be one such model.
This model has {h,e,d,c,g} all true and {a,b,f} all false.