Eso que llamamos Lógica (IX) La inferencia lógica.
En el artículo anterior de esta serie sobre Lógica de aplicación para la informática que hoy finaliza (¡por fin!), se definió el Cálculo de Predicados como una generalización del Cálculo Proposicional que vimos algunos capítulos atrás… Como sabéis los aguerridos seguidores de la serie, para confeccionarla estoy usando extensivamente los apuntes de la asignatura de “Metodología” de [...]

