Duda sobre el problema 3.1 del libro base de problemas (A)

PREGUNTA:
Tengo una duda que quisiera me resolvieran. En la pag 122 del libro de problemas, referente al ejercicio 3.1, nos dice que la base de afirmaciones inicialmente posee:

12. e(2, Sum)
13. e(3, Sum)

¿Porqué no incluye también las entradas 1 y 4 del sumador ?

RESPUESTA:
Respecto a la duda que plantea, la respuesta es que, tal como se dice en el libro de problemas, se parte del axioma del mundo cerrado, por lo que al no estar e(1,sum) y e(4,sum) en la base de hechos ni poder ser deducidos, se supone que son falsos, es decir, su valor de verdad es 0, tal como se pretendía.