Esto implica que cualquier fórmula bien formada define una función proposicional.