logica

 Lógica 
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva delgriego 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 esla materia, y el de la biología la vida, el de la lógica es lainferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lógica investiga los principios por los cuales algunas 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 estarazón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

Concepto
Los conceptos son construcciones o imágenes mentales, por medio de las cuales comprendemos las experiencias que emergen de la interacción con nuestro entorno. Estas construcciones surgen por medio de la integración en claseso categorías, que agrupan nuestros nuevos conocimientos ynuestras nuevas experiencias con los conocimientos y experiencias almacenados en la memoria. 1
Se considera una unidad cognitiva de significado; un contenido mental que a veces se define como una "unidad de conocimiento".
Razonamiento
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos,estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar de diferentes tipos de razonamiento:
El razonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento.
El razonamiento lógico o causal es un proceso de lógicamediante el cual, partiendo de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. 
Proposición:
En filosofía y lógica, el término proposición se usa para referirse a:1
Las entidades portadoras de los valores de verdad.1
Los objetos de las creencias y de otras actitudes proposicionales.1
El significado de las oraciones demostrativas, como «el Sol esuna estrella».1
Es un producto lógico del pensamiento que se expresa mediante el lenguaje, sea éste un lenguaje común oformalizado, cuando adopta la forma de oración gramatical, o simbólico, cuando se expresa por medio de signos o símbolos de un lenguaje formal.
En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual seafirma o se niega algo de algo, mientras ese acto constituye el juicio.
Para Aristóteles, la proposición es un discurso enunciativo perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.
Premisa
En lógica, una premisa es cada una delas proposiciones anteriores a la conclusión de un argumento.1 En un argumento válido, las premisas implican la conclusión, pero esto no es necesario para que una proposición sea una premisa: lo único relevante es su lugar en el argumento, no su rol.2 Al ser proposiciones, las premisas siempre afirman o niegan algo y pueden ser verdaderas o falsas.
Considérese el siguiente argumento:
1. O es martes oes miércoles.
2. Si es martes, entonces tengo que ir a trabajar.
3. Si es miércoles, tengo que ir a trabajar.
4. Por lo tanto, tengo que ir a trabajar.
En este argumento, las proposiciones 1, 2 y 3 son las premisas, y la proposición 4 es la conclusión. Un argumento puede tener cualquier número (en general finito) de premisas, incluso 0 (en cuyo caso la conclusión suele ser unteorema y...