Es una función de varios argumentos que vale formula_6 sólo si todos sus argumentos valen formula_6.