Las fórmulas lógicamente válidas de la lógica clásica, por ejemplo formula_59, son verdaderas en todo mundo posible (normal o no).