Primera aproximación a nuestro sistema deductivo

La víctima fue apuñalada hasta morir en la sala del cine. El suspechoso estaba en el tren a Edimburgo cuando ocurrió el crimen

Nuestro sistema deductivo concluye: el sospechoso es inocente

• La conclusión depende no sólo de las premisas sino también de conocimiento general (una persona no puede estar en dos lugares al mismo tiempo, no hay salas de cines en los trenes a Edimburgo, etc.)
• La conclusión no incrementa la información semántica
• Hay muchas otras conclusiones correctas que se siguen de las premisas, muchas de ellas triviales, por ejemplo
  La víctima fue apuñalada hasta morir en la sala del cine y El suspechoso estaba en el tren a Edimburgo cuando ocurrió el crimen
  ¿Qué regla de inferencia se ha aplicado?
• Aunque la conclusión no fuese correcta podríamos chequear su validez o producir situaciones en las que la conclusión fuese correcta