Go up to
Question 1
Go forward to
Solution to Question 1, part 2
Solution to Question 1, part 1
The following shows the elements added to
C
{c} {e,c} {e,c} {b,e,c} {a,b,e,c} {j,a,b,e,c}
The set of logical consequences of
KB
is
{j,a,b,e,c}
.