Así, en nuestro caso, formula_17 es equivalente a la proposición formula_18.