Curso de Lógica (XVI): introducción a la lógica de predicados
Visto el lenguaje de la lógica proposicional y la teoría de conjuntos, vamos a pasar ya a nuestra parte culminante de nuestro curso de Lógica. Se trata de la lógica de predicados. Dado que en lógica nos interesa la validez de los argumentos, necesitamos herramientas formales que nos ayuden a ello. Por otra parte, la […]