que es la logica

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual,dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de la química es la materia, yel de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógica investiga los principios por los cualesalgunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razónla lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
La lógica proposicional o lógica de orden cero trata con sistemas lógicos que carecen decuentificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden serinterpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simplessignos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna delas proposiciones más simples.1
Una lógica proposicional es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representanoperaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2
Tipos de proposiciones
En adelante cuando hablemos de proposiciones, éstas serán lógicas. Si son abiertas,...