Un predicado n-ario: formula_2 es una función a valores de verdad de n variables.