Logica Matematica

LOGICA MATEMÁTICA

Introducción.

Aprender matemáticas, física y química “es muy difícil”; así se expresan la mayoría de estudiantes de todos los niveles, sin embargo pocas veces se busca una explicación del porqué no aprenden las ciencias exactas los alumnos. Nuestra teoría es la siguiente: “Los alumnos no aprenden ciencias exactas, porque no saben relacionar las conocimientos que se proporcionan en la escuela (leyes, teoremas, formulas) con los problemas que se le presentan en la vida real”. Otro problema grave es que el aprendizaje no es significativo. El presente trabajo pretende motivar a los estudiantes para que con ayuda de la “lógica matemática”, él sea capaz de encontrar estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe lógica matemática puede relacionar estos conocimientos, con los de otras áreas para de esta manera crear conocimiento.

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, sin embargo la lógica permite saber el significado correcto. En las matemáticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

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.

El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lógica matemática, después definimos el concepto de proposición. Se establece el significado y utilidad de conectivos lógicos para formar proposiciones compuestas. Más tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautología, contradicción y contingente, y proporcionamos una lista de las tautologías más importantes, así mismo explicamos a que se le llama proposiciones lógicamente equivalente apoyándonos de tablas de verdad. Para finalizar; abordamos los métodos de demostración: directo y por contradicción, en donde incluye reglas de inferencia.

En este trabajo se trata además de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el método directo y el método por contradicción. Ya que la mayoría de los libros comerciales únicamente se quedan en explicación y demostración de reglas de inferencia. Consideramos que sí el alumno aprende lógica matemática no tendrá problemas para aprender ciencias exacta y será capaz de programar computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos lógicos, que la persona establece para resolver n problema determinado.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o más corto dependiendo de las reglas de inferencia y tautologías que el alumno seleccione, pero definitivamente deberá llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicación de reglas y fórmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solución, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado.

Desarrollo.

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.

Proposiciones y operaciones lógicas.

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.

A continuación se tienen algunos ejemplos de proposiciones válidas y no válidas, y se explica el porqué algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Ejemplo.

p: La tierra es plana.

q: -17 + 38 = 21

r: x > y-9

s: El Morelia será campeón en la presente temporada de Fut-Bol.

t: Hola ¿como estas?

w: Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de fut-boll. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Conectivos lógicos y proposiciones compuestas.

Existen conectores u operadores

...