Oración 1: si a es verdadera, entonces nuestro mundo actual es el mundo-a más cercano, de modo que a □→ c es verdadera si c lo es
Oración 2: a □→ c implica el condicional ma- terial a → c; y a y c conjuntamente implican a □→ c
Conector: por lo tanto
Relación: reasoning
Género: books