on a la L
ogica Matem
atica
Lic. Vctor Lopez Sandoval
Universidad Gerardo Barrrios
Facultad de Ciencia y Tecnologa
28 de enero de 2015
Resumen
La l
ogica matem
atica es el intento de dar una forma universal al pensamiento,
expres
andolo por un sistema unvoco de signos, con un sistema de relaciones entre
esos signos comparable al c
alculo matematico, para alcanzar as todas las verdades.
La l
ogica matem
atica pretende hacer que todas las expresiones reales se vuelvan
formales; pretende reducirlas a una expresion matematica que pueda ser calculada
como al hacer uso de n
umeros. Por esa razon es que se le llama tambien algebra de
la l
ogica.
1.
Qu
e es la L
ogica Matem
atica?
La l
ogica matem
atica es la disciplina que trata de metodos de razonamiento. En
un nivel elemental, la l
ogica proporciona reglas y tecnicas para determinar si es o
no valido un argumento dado. El razonamiento logico se emplea en matematicas
para demostrar teoremas; en ciencias de la computacion para verificar si son o no
correctos los programas; en las ciencias fsica 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
logico para realizar cualquier actividad.
2.
Propocisiones
ii
3. Cu
al es el valor de verdad de una proposici
on simple?
En este punto conviene hacer un analisis un poco mas profundo sobre el valor
verdad, vale la pena aclarar que no compete a la logica establecer el valor de verdad
de las proposiciones, es decir, se consideraran las proposiciones simples con su valor
ya asignado. A que se de debera esto?
Logica matematica I.