¿cuál es la relación entre lógica proposicional y teoría de conjuntos?

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.