Abstract

En este trabajo se muestra de forma rigurosa que los métodos de diagramas de Venn sí son procedimientos formales de demostración de las fórmulas de conjuntos para ciertos subconjuntos, determinándose de forma exacta la familia de conjuntos que cumplen con esta condición. Cabe mencionar que en este trabajo solo se considera la teoría de conjuntos clásica que acepta la hipótesis del continuo, por lo que el dominio de validez de los diagramas de Venn que aquí se demuestra sólo es aplicable a los conjuntos considerados bajo este supuesto.