Oración 1: a □→ c es verdadera (en un mundo m) si y solo si o bien (1) no hay mundos-a posibles (en cuyo caso a □→ c es vacua), o (2) algún mundo-a donde se da c es más cercano (a m) que cualquier mundo-a en el que c no se da
Oración 2: un contrafáctico es verdadero de modo no vacuo si y solo si se requiere una divergencia menor respecto de la actualidad para hacer verdadero el consecuente junto con el antecedente de la que se requiere para hacer verdadero al antecedente sin el consecuente
Conector: en otras palabras,
Relación: entailment
Género: books