Matemtica Discreta I

Introduccin a la matemtica discreta y lgica

Agenda
Matemtica Discreta
Lgica
Proposicin simple
Funciones proposicionales
Proposicin compuesta
Tablas de verdad
Lgicamente equivalente
Leyes de la lgica
Dualidad
Reglas de sustitucin
Matemtica Discreta
La matemtica discreta es la rama de las
matemticas que estudia objetos
discretos.
Lo discreto es lo finito o lo que, si no
es finito, presenta el aspecto de los
nmeros naturales. Lo contrario de
discreto es continuo.
Discreto vs Continuo
Por qu nos interesa?
Es necesario analizar procesos que incluyan
un nmero finito de pasos, as como su
rendimiento.
La informacin se manipula y almacena en
los ordenadores en forma discreta (unos y
ceros).
Se necesita contar objetos (unidades de
memorias, unidades de tiempo)
Se precisa estudiar relaciones entre
conjuntos finitos (bases de datos y lgebra
relacional).
Razonamiento vlido y reglas de inferencia.
Lgica
Es el estudio de los principios del
razonamiento vlido y de las formas
vlidas de inferencia.
Dicho en otras palabras trata acerca de
los mtodos y principios para distinguir
el razonamiento correcto e incorrecto.
(Logos griego).
Proposicin
Enunciado que posee un valor ya sea
verdadero o falso.
Cumple una funcin informativa.
Se utilizarn las letras minsculas p, q,r.
Funcin proposicional
Son frases o enunciados que contienen
un esquema de proposicin e incluyen
variables.
Ejemplos:
X es un nmero primo.
4 es un nmero primo.
(F)
7 es un nmero primo.
(V)
Proposicin compuesta
Combinacin de dos o ms
proposiciones unidas por un conectivo
lgico.
Tabla de verdad (I)

Tabla de verdad (II)
Tabla de verdad (III)
En base al resultado obtenido se le
puede clasificar como:
Tautologa
Contradiccin
Contingencia
Lgicamente equivalentes

Lgicamente equivalentes

Leyes de la lgica (I)

Leyes de la lgica (II)

Dualidad

Reglas de Sustitucin (I)

Reglas de sustitucin (II)
Reglas de Sustitucin (III)

Reglas de Sustitucin (IV)