RAMAS DE LA LOGICA La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida , 1 las falacias , las paradojas y la noción de verdad . 2 La palabra «lógica» deriva del griego antiguo λογική logikḗ , que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος ( lógos ), « palabra , pensamiento , idea , argumento , razón o principio ». Así como el objeto de estudio tradicional de la química es la materia , y el 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 . 3 La lógica investiga los fundamentos 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 esta razón la lógica se considera una ciencia formal, como la mate
Lógica Computacional La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación . Su uso es fundamental en varios niveles: en los circuitos computacionales , en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos . La lógica se extiende al corazón de la informática a medida que surge como una disciplina: El trabajo de Alan Turing sobre el Entscheidungsproblem seguido del trabajo de Kurt Gödel sobre teoremas incompletos . La noción de la computadora de uso general que surgió de este trabajo fue de gran importancia para los diseñadores de la maquinaria informática en la década de 1940. En los 50's y 60's, investigaciones predijeron que, cuando el conocimiento humano se pudiera expresar usando la lógica con notaciones matemáticas, sería posible crear una máquina capaz de razonar o una inteligencia artificial . Esto fue más difícil de lo esperado a c