Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI

Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas

Curso: Lgica Matemtica Cdigo: 90004

Anexo 1:
Importancia de la Lgica Matemtica

Importancia de la Lgica Matemtica [Imagen]. (s.f). Recuperado de https://sites.google.com/site/sitesagradopythia/impportancia-de-la-logica-matematica

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de
la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones
intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin,
teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel
fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente
como sinnimos las expresiones: lgica simblica( o logstica), lgica matemtica, lgica teortica y lgica
formal.1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas
partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

Aprender matemticas, fsica y qumica ?es muy difcil?; as se expresan la mayora de estudiantes de todos
los niveles, sin embargo pocas veces se busca una explicacin del porqu no aprenden las ciencias exactas
los alumnos. Nuestra teora 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 ?lgica matemtica?, l sea capaz de
encontrar estos relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
tenga una buena estructura cognitiva. Consideramos que si el alumno sabe lgica matemtica puede relacionar
estos conocimientos, con los de otras reas para de esta manera crear conocimiento.
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina
si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica.
En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo la lgica permite saber el significado correcto. En los matemticos para
demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la
computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo
que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de
casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea
pintar una pared, este trabajo tiene un procedimiento lgico, 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 manchara lo que
ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de
derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.
La lgica 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 apoyndose de algunos conocimientos acumulados, se
pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la
lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de
conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones
condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista
de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente
equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo
y por contradiccin, en donde incluye reglas de inferencia.
En este trabajo se trata adems de presentar las explicaciones con ejemplos que le sean familiares. Nuestro
objetivo es que el alumno aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por
contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en explicacin y demostracin
de reglas de inferencia. Consideramos que s el alumno aprende lgica matemtica 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 lgicos, que la persona establece para resolver un problema
determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino
puede ser ms largo o ms cort dependiendo de las reglas de inferencia y tautologas que el alumno
seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como alumnos se
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y
frmulas. De tal manera que cuando llegue a poner en practica esto, l sea capaz de inventar su propia
solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para
relacionar los conocimientos y obtener el resultado. Tomado de:
https://sites.google.com/site/sitesagradopythia/impportancia-de-la-logica-matematica
Qu es la lgica matemtica?
LGICA MATEMTICA
"El pensamiento humano ha ido forjndose a lo largo de la Historia en una interminable batalla por encontrar
la veracidad de sus planteamientos. La filosofa, lgica y las matemticas han sido los centros
hiperespecializados que dirimen esa batalla por la concrecin, la argumentacin, la deduccin y, en suma, por
hallar los valores de la verdad y la razn." (Castillo,2014)
La lgica matemtica forma parte de la filosofa, en ella podemos distinguir 2 dimensiones:
Las tericas
Las Prcticas
Es una disciplina que se encarga de estudiar los principios y mtodos para que el ser humano sea capaz de
distinguir un razonamiento correcto de otro incorrecto
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
Cmo surge la Lgica matemtica?
El nombre de "lgica matemtica" fue otorgado por Giuseppe peano un matemtico, lgico y filsofo italiano,
el cual fue conocido por sus grandes aportes a la lgica matemtica y a la teora de los numero.
As pues, tenemos que, hasta mediados del siglo XIX, la lgica era poco ms que una curiosidad que interesaba
a quienes sentan alguna inquietud por la filosofa de la matemtica o del pensamiento en general. La lgica
como hoy la entendemos surgi bsicamente con los trabajos de Frege y Peano. En principio estos eran, al
igual que los anteriores, nuevos ensayos sobre el razonamiento, si bien ms complejos y ambiciosos. Lo que
les dio importancia fue que no aparecieron como productos de mentes inquietas, sino como culminacin del
proceso de formalizacin que la matemtica vena experimentando desde los tiempos de Newton y Leibniz.
El habitual desarrollo de la lgica destacaba su centro de inters en la forma de argumentar, mientras que la
actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un
nivel sintctico (es decir, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un
programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como
a un nivel semntico, construyendo modelos apropiados. (2011, 02). Historia de la lgica
matematica.BuenasTareas.com. Recuperado 02, 2011, de http://www.buenastareas.com/ensayos/Historia-
De-La-Logica-Matematica/1621363.html
Importancia de la Lgica matemtica en la vida cotidiana
 Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
La lgica matemtica es pues muy importante; ya que permite resolver incluso problemas a los que nunca
nos hemos enfrentado utilizando solamente nuestra inteligencia y apoyndonos de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin
de los mismos.
En general la lgica matemtica se puede aplicar en la tarea diaria, ya que cualquier trabajo que se realiza
tiene un procesamiento lgico, por el ejemplo: el escoger la ruta para ir a la universidad para llegar ms
rpido requiere de un procedimiento lgico, para ir de compras al supermercado una ama de casa tiene que
realizar de una manera lgica que permita realizar dicha tarea.
Las matemticas desarrollan en uno; actitudes ms crticas y ms curiosas; nos hace expandir diferentes
puntos de vista sobre un tema y nos estimula la imaginacin durante un proceso de formacin profesional.
A mi parecer la lgica matemtica nos ayuda hacer ms competentes en el medio que estamos, porque nos
permite desarrollar nuestras habilidades comunicativas, as como la capacidad mental y el desarrollo de
nuestro pensamiento. Herrera. (1955).Sobre la importancia de la forma lgica matemtica. Revista Cubana
de Filosofa, 3(11),37-39
Tomado de: http://logicamatematicas00.blogspot.com.co/2015/03/que-es-la-logica-matematica.html