Por ejemplo formula_11 es cierta; sin embargo, formula_12 no es cierta.