RAMAS DE LA LOGICA

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

LÓGICA MATEMÁTICA Lógica matemática . Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad. Inicio La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la  Filosofía ,  Matemáticas ,  Computación ,  Física . En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones,