Go backward to Solution to Question 1, part 1
Go up to Question 1
Go forward to Solution to Question 1, part 3
Solution to Question 1, part 2
f isn't a logical consequence
of KB means there is a model of the KB in which f is false.
One model of KB is where the atoms {j,a,b,e,c} are true and all
other atoms are false. f is false in this model.
Another model is where
{h,d,j,a,b,e,c} are all true, and all other atoms are false. f
is false in this model too.