LGICA MATEMTICA

INTEGRANTES:

Everardo Cruz Villegas.

Manuel Antonio Bravo Martnez.
Jess Horacio Gutirrez Castellanos
Leonel Snchez Gonzlez

CONCEPTO DE LOGICA
MATEMATICA:

La lgica matemtica es una parte de la lgica y la

matemtica, que consiste en el estudio matemtico de la
lgica, y en la aplicacin de dicho estudio a otras reas de la
matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la
lgica filosfica.
La lgica matemtica estudia los sistemas formales en
relacin con el modo en el que codifican o definen nociones
intuitivas de objetos matemticos como conjuntos, nmeros,
demostraciones, y algoritmos, utilizando un lenguaje formal.

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.

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.

CONCEPTO DE
ARGUMENTACION:

Los argumentos son una de las formas ms comunes en matemticas, en lo

lgica y en computacin de establecer razonamientos para llegar a la
verdad.

Podemos tener tambin situaciones como:

Todos los hombres son mortales.

Scrates es hombre.

Por lo tanto: Scrates es mortal.

Si lo comparamos con:

Todos los rboles son verdes.

Todos los pericos son verdes.

Por lo tanto: Todos los rboles son pericos.

La pregunta importante es, cmo saber si un razonamiento es vlido? En

general, la lgica proporciona los mtodos para saber si un argumento es
correcto y poder obtener conclusiones.

Un argumento es un conjunto de premisas, condiciones dadas, junto con

una conclusin. Y decimos que un argumento es vlido si la conclusin es
verdadera siempre que las premisas lo son.

CONCEPTO DE PROPOSICION Y
PROPOSICION LOGICA:

Es un enunciado que puede tener carcter de verdadero o falso,

pero no ambos. La proposicin es la expresin lingstica del
razonamiento, que se caracteriza por ser verdadera o falsa
empricamente, sin ambigedades. Son proposiciones las oraciones
aseverativas, las leyes cientficas, las frmulas matemticas, las
formulas y/o esquemas lgicos, los enunciados cerrados o
claramente definidos.

No son proposiciones las opiniones y suposiciones; los proverbios,

modismos y refranes; los enunciados abiertos no definidos; las
oraciones interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general; ni las operaciones
aritmticas.

Las siguientes expresiones son ejemplos de proposiciones:

El hierro es un mineral.

Einstein fue un fsico terico.

36+63=99

El da esta nublado.

Carlos esta matriculado en el tecnolgico

Los siguientes son ejemplos de expresiones las cuales no son proposiciones:

El hombre ms fuerte del mundo.

El director del peridico.

13+7

T te callas!

X obtuvo el Premio Nobel en 1970.

Cunto cuesta ese reloj?

Las proposiciones se representan por letras minsculas: p, q, r, s, t, u, etc.

Por ejemplo, sea la proposicin q igual a 34+56=90.

3 EJEMPLOS DE PROPOSICIONES
LOGICAS:

1.- Hasta pronto.

2.- Que frio!
3.- Hola

2 ENUNCIADOS USANDO PARA ELLO

NOTACION LOGICA:

A) Si no falto a clases, entrego las tareas y apruebo el examen

paso la materia con 100.
B) Si le prendo una veladora a la virgen paso la materia con
100.

1 EJEMPLO DE EVALUACION DE
PREPOSICIONES LOGICAS COMPUESTAS
MEDIANTE TABLAS DE VERDAD:
Si no falto a clases, entrego las tareas y apruebo el examen paso la materia con 100.
Si le prendo una veladora a la virgen paso la materia con 100.
a

a^b

a^b: Si no falto a clases, entrego las tareas y apruebo el examen paso la

materia con 100 y Si le prendo una veladora a la virgen paso la materia
con 100.