cuando hablamos de que algo es logico a que nos referimos
La lógica suele definirse como el estudio de las inferencias válidas o correctas. Según esta concepción, es la tarea de la lógica proporcionar una explicación general de la diferencia entre inferencias correctas e incorrectas. Una inferencia es un conjunto de premisas junto con una conclusión. Una inferencia es válida si la conclusión se desprende de las premisas, es decir, si la verdad de las premisas asegura la verdad de la conclusión. Otra forma de definir la lógica es como el estudio de la verdad lógica. La verdad lógica es una forma especial de verdad, ya que no depende de cómo son las cosas, es decir, de qué mundo posible es real. En cambio, una proposición lógicamente verdadera es verdadera en todos los mundos posibles. Su verdad se basa únicamente en los significados de los términos que contiene, independientemente de cualquier cuestión empírica de hecho. Hay un vínculo importante entre estas dos concepciones: una inferencia de las premisas a una conclusión es válida si el condicional material de las premisas a la conclusión es lógicamente verdadero. Por ejemplo, la inferencia de "las rosas son rojas y la hierba es verde" a "las rosas son rojas" es válida, ya que el condicional material "si las rosas son rojas y la hierba es verde, entonces las rosas son rojas" es lógicamente verdadero.