La lógica formal proporciona un medio para representar argumentos de una manera formal y rigurosa, estudiando los fundamentos relacionados con su velidez así como los métodos para inferir proposiciones a partir de otras consideradas válidas. Por su parte, la lógica computacional es una disciplina que estudia la aplicación de la lógica formal para la representación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez de sistemas de proposiciones y las aplicaciones de esas técnicas a las diferentes áreas de las ciencias computacionales en todas las etapas del desarrollo del software. El libro está realizado de manera que pueda ser usado como libro de texto en cursos de lógica computacional en los últimos años de las carreras de Informática o Computación, o en los primeros semestres de posgrados en áreas de las Ciencias Computacionales y de la informática. Sin embargo, el libro también puede ser usado por el profesional interesado en el papel de la lógica en la computación.