logica

Introducción
La lógica se suele definir como el estudio de la inferencia válida. Se llama inferencia al proceso de derivar una conclusión de un conjunto de supuestos (premisas). Se dice que un argumento es válido si, en virtud únicamente de su estructura, la verdad de las premisas implica necesariamente la verdad de la conclusión. Este es el punto de partida de muchos manuales de lógica,pero no será el nuestro. Por supuesto, no hay ningún desacuerdo real entre nuestro punto de vista y el suyo, como veremos; sólo hay una diferencia de enfoque.















Implicación Lógica
La implicación supone un contenido semántico además de formal.
Un sistema lógico se define como una estructura compuesta por un lenguaje formal junto con una relación binaria deconsecuencia semántica (o implicación lógica) o una relación binaria de consecuencias sintácticas o ambas. La relación de consecuencia semántica se define con respecto a una clase de estructuras y la relación de consecuencia sintáctica, con respecto a un sistema de pruebas.
El cálculo lógico formal sirve para establecer una relación, o derivación entre una condición y su condicionado, o elestablecimiento de una afirmación hipotética. Si las premisas son verdaderas lo es también la conclusión.
Cuando el cálculo tiene una intención argumentativa en su contenido semántico, entonces partimos de un contenido material afirmado como verdadero, cuya verdad es condición necesaria de la verdad de lo condicionado en la conclusión, como implicación.
Normalmente el uso lógico delpensamiento es argumentativo en este sentido, y por ello esta distinción no tiene mayor importancia en la vida ordinaria, y suele confundirse con facilidad.
Inferencia Lógica
La inferencia lógica es llamada también llamada lógica inferencial.
Es un proceso que consiste en pasar de un conjunto de premisas a una conclusión, sin la necesidad de elaborar tablas o cuadros muy extensos.Todo ejercicio o problema que se resuelve usando inferencia lógica.
Aquí: p, q, r, s, t,....., w son llamadas premisas. Este conjunto de premisas originan como consecuencia otra proposición “C”, llamada conclusión, la cual también se le llama argumento lógico.
Razonamiento Válido
 
El objetivo fundamental de esta sección es ver si determinados razonamientos son verdaderos o falsos.Por razonamiento se debe entender la afirmación de que determinada proposición (la conclusión) sea consecuencia de las otras proposiciones (las premisas).
Un razonamiento es válido si, y solamente sí, la conjunción de las premisas implica la conclusión, es decir, cuando las premisas son todas verdaderas, la conclusión es verdadera.
Una observación muy importante que hay que resaltar, esque la verdad de la conclusión es independiente de la manera de demostrar la validez de un razonamiento.
Una conclusión verdadera no es condición necesaria ni suficiente para la validez de un razonamiento.
Leyes de Inferencia
Razonamiento deductivo:
El razonamiento deductivo se mueve de lo general a lo particular. Toma una premisa general y deduce conclusiones particulares.
Unargumento deductivo “válido” es aquel en el que la conclusión necesariamente se deriva de la premisa. (Todos los perros tienen
pulgas. Éste es un perro. Por lo tanto, este perro tiene pulgas.) Puede ser que la premisa no sea “verdadera” pero, no obstante, la forma del argumento es “válida.” Un argumento deductivo “válido” contendrá algo en la conclusión totalmente nuevo e independiente deaquellas cosas mencionadas en la premisa del argumento.
Consiste en partir de premisas universales y llegar a una conclusión particular. Su forma más sistematizada se expresa en el silogismo.
1. Modus Ponendo Ponens: es el razonamiento en el cual, en la primera premisa se plantea un condicional, en la segunda se afirma el antecedente y, como conclusión, se afirma el consecuente. Ejemplo: Si...