Eso que llamamos Lógica (VIII) El cálculo de predicados.
En el artículo anterior de esta anticuada (pero intensa) serie sobre Lógica de aplicación para la informática, para confeccionar la cual estoy usando los apuntes de la asignatura de “Metodología” de mi lejanísimo Segundo de Carrera, de Informática, del año académico 1973-74, impartida por el desgraciadamente fallecido profesor D. José Cuena Bartolomé, llegamos a definir el proceso [...]