LA LOGICA MATEMATICA EN LA VIDA COTIDIANA...

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, estadística y economía. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo, que se realiza tiene un procedimiento lógico, por ejemplo; para ir de compra al supermercado, se debe tener una necesidad de alguna mercancía, tener dinero para comprar y posibilidades de desplazarse del hogar al supermercado.

La lógica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos.

La 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.

El objetivo de la lógica matemática es cuestionar con el mayor rigor los conceptos y las reglas de deducción utilizados en matemáticas, constituyendo la lógica por ello una verdadera matemática. Una teoría matemática considera objetos definidos (enteros, por ejemplo) y define leyes que relacionan a estos objetos entre sí (los axiomas de la teoría). De los axiomas se deducen nuevas proposiciones (los teoremas), y a veces, nuevos objetos. La construcción de 3 sistemas formales (formalización), piedra angular de la lógica matemática, permite eliminar la arbitrariedad en la elección de los axiomas y definir explicita y exhaustivamente las reglas de la deducción matemática.