Proposiciones lógicas : relación con la Teoría de conjuntos.

Se presentan las posibles agrupaciones que se pueden formar con las proposiciones: conjunto de todas las proposiciones, valoración de una proposición, cálculo proposicional, disyunción, conjunción, negación, consecuencias, implicación, equivalencia, función proposicional sobre un conjunto, disyunción de funciones proposicionales, conjunción de funciones proposicionales, y negación de función proposicional. Como conclusión final se expone que el conjunto de las proposiciones es un álgebra de Boole respecto de la disyunción, conjunción y negación.