Este documento define y proporciona ejemplos de funciones proposicionales y cuantificadores. Las funciones proposicionales son funciones cuyas variables son proposiciones que pueden asumir valores de verdadero o falso dependiendo de los valores de las variables. Los cuantificadores son expresiones que convierten enunciados abiertos en proposiciones indicando si todos o algunos elementos cumplen una propiedad. Los cuantificadores más comunes son el universal, existencial, existencial único y la negación del existencial.