Una base de conocimientos formula_1 puede inferir una sentencia formula_2 sólo si la sentencia es verdadera en todos los mundos donde la base de conocimientos es verdadera.