Donde podemos comprobar cuándo y por qué la proposición formula_20 es V y cuándo es F.