Al conjunto de fórmulas que la función toma como argumento se lo llama "premisas", mientras que a la fórmula que devuelve como valor se la llama "conclusión".