Podemos definir, por ejemplo, la relación de consecuencia lógica como preservación de verdad sobre "mundos normales":