Conceptos elementales de lógica informática

Sinopsis del libro

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados;…