Este texto está diseñado para abordar el curso de lógica informática de la carrera de Ingeniería o Tecnología. En el primer capítulo se habla de los conceptos generales de la lógica; en el segundo se trata 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 lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental.

Cómo citar un libro

Formato general

Según el formato APA, las citas en el texto deben contener: el apellido del autor, el nombre, entre paréntesis el año de publicación, título del libro en cursiva y nombre de la editorial. Cuando cites una parte específica de una fuente, también debes incluir un número o rango de páginas, según corresponda; por ejemplo: (Santoyo, 2020, p. 67) o (García, 2017, pp. 39–41).

Libro impreso

Apellido autor, N. (año). Título del libro en cursiva. Nombre de la editorial.

Libro en línea

Apellido autor, N. y Apellido, N. (año). Título del libro en cursiva. Nombre de la editorial. DOI o URL.

Libro con editor

Apellido autor, N. (Ed.). (año). Título del libro en cursiva. Nombre de la editorial.

N° de edición o Volumen

Apellido autor, N. N. (año). Título del libro en cursiva. (#ª ed., Vol. #). Nombre de la editorial.