En otras palabras, la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A."