Lógica proposicional y teoría de conjuntos

Abstract

La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir de los conectores lógicos -- Permite validar o no las afirmaciones que se hacen en matemáticas o en otras ramas del conocimiento -- Es por esto que el estudio y comprensión de las estructuras que componen la lógica y la forma como validan o no las proposiciones es fundamental en todas las ramas de las ciencias -- De otro lado, la teoría de conjuntos permite estudiar relaciones y propiedades entre diferentes colecciones de objetos al compararlas entre sí de diversas maneras -- La matemática moderna estudia una gran variedad de clases conjuntos a partir de las propiedades que los componen o define operaciones con los elementos de los mismos que resultan de interés para las ciencias en general -- El estudio de la lógica y la teoría de conjuntos le permite al estudiante comprender la forma como se construyen las propiedades, relaciones, resultados de las diversas ramas del conocimiento en las que se aplica la matemática