Ésta última es una proposición que puede o no ser verdadera, mientras que la primera, formula_25, es una relación que nos indica que formula_26 es una tautología.