Filosofía En el anterior post dedicado a nuestro curso de lógica, vimos la relación de inclusión y el conjunto vacío. Hoy lo vamos a dedicar al axioma de separación. Este, como se verá, es una forma de poner solución a las contradicciones de la teoría de conjuntos de Cantor-Frege, la cual ser comprometía con el principio […]
En el anterior post dedicado a nuestro curso de lógica introdujimos la teoría de conjuntos, con un post dedicado a definir la noción de conjunto. En este capítulo vamos a dedicarnos a explicar una relación entre conjuntos, a saber, la relación de inclusión. Después hablaremos del conjunto vacío. 1. La relación de inclusión Como hemos […]
Vista la lógica proposicional en los capítulos II-VI de este curso de lógica, pasamos a continuación a la teoría de conjuntos, la cual nos será muy útil para el estudio de la lógica de predicados de primer y segundo orden. Esta primera lección la dedicaremos a esclarecer la noción de conjuntos, así como algunas otras […]
