LOGICA MATEMATICA
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 lógicas que permiten formar proposiciones
compuestas (formadas por varias proposiciones). Los operadores o conectores
básicos son:
Operador and (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se
pueda obtener un resultado verdadero. Si símbolo es: { , un punto (.), un
paréntesis}. Se le conoce como la multiplicación lógica:
Ejemplo.
Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el
tanque y tiene corriente la batería"
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batería.
De tal manera que la representación del enunciado anterior usando simbología
lógica es como sigue:
