Este documento discute los cuantificadores universal y existencial. El cuantificador universal indica que una proposición es verdadera para todos los valores de una variable, mientras que el cuantificador existencial indica que una proposición es verdadera para al menos un valor. Se proveen ejemplos de cómo usar estos cuantificadores con conjuntos y diagramas de Venn. Finalmente, se discuten las expresiones lógicas para indicar que un conjunto A es subconjunto de un conjunto B y que al menos un elemento de un conjunto B pertenece a un conjunto A.