Introducci

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

Generalmente usamos proposiciones a diario para comunicarnos y expresarnos,

pero es necesario que asumamos una definicion clara de lo que es una proposicion
para evitar confusiones:
Una proposici
on es una expresi
on de la cual se puede decir siempre si es verdadera o es falsa (V o F), pero no ambos a la vez.
Ejemplo 1. Cu
ales de las siguientes expresiones son proposiciones?

ii

(a) La tierra es redonda.

(b) Tienes que tomar dos aspirinas.
(c) Habla ingles?
(d) 2 + 4 = 8
(e) La temperatura de San Miguel es de 36 C
(f) El sol saldr
a ma
nana
(g) x es un n
umero primo.
(h) x 3 = 5
Notaci
on: Por costumbre a las proposiciones las denotaremos mediante las letras: p, q, r, ...
A este tipo de proposiciones se le llaman Proposiciones Simples.
Que otros ejemplos de proposiciones simples podemos mencionar?

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?

Tarea: Investigar sobre las proposiciones compuestas y los conectivos logicos.

Logica matematica I.