Por otro lado las condiciones de verdad de formula_27 requieren la existencia de un mundo posible.