Professional Documents
Culture Documents
DISCRETAS
MAT-111
*Autmatas,
*Computabilidad,
Ciencias de la
*Complejidad
computacin
Fundamento para:
Procesos *Circuitos digitales
digitales
*Clculo infinitesimal,
Matemticas
Opuesta a: *Lmites, curvas continuas,
continuas
*Procesos analgicos,
1. Lgica matemtica
Lgica: Es una ciencia formal que examina la
validez de los argumentos en trminos de su
estructura, independientemente del contenido.
Estudia los esquemas de razonamiento.
Ejemplos:
No es cierto que tengo 60 aos. p
Ni llueve ni hace fro. p q
Si estudio entonces aprendo mn
El ser humano es un organismo si y slo si es un ser vivo. r s
Tablas de verdad
Indica el valor de verdad de una frmula para cada combinacin de valores de sus
componentes.
Tienen el mismo valor de
verdad en cada caso.
Por tanto:
( p q) p q
son proposiciones
lgicamente equivalentes.
p q Forma equivalente:
Antecedente Consecuente O llega a tiempo o lo despiden
o hiptesis o conclusin
Si no llega a tiempo, lo despiden
Significado: Si p entonces q:
Negacin:
Cada que sucede p ,sucede q
Si estoy enfermo, entonces voy al mdico
Tabla de verdad: Estoy enfermo y no voy al mdico
Condicional:
Contrapositiva:
La nica combinacin que hace la
Contraria:
condicional falsa es cuando la
hiptesis es verdadera pero la Conversa:
conclusin no.
Validez de un argumento
Argumento: Es una relacin entre un conjunto de proposiciones llamadas
premisas y otra proposicin llamada conclusin. Un argumento es vlido
si la conclusin es verdadera cada vez que las premisas son verdaderas.
Premisas
Conclusin
Igualdad de conjuntos:
A B x( ( x A x B) ( x B x A))
Vemos que : A B ( A B) ( B A)
Operaciones con conjuntos
Hay cuatro operaciones bsicas. Aqu se representan
con Diagramas de Venn:
A B A B A B A c
Conceptos adicionales de conjuntos.
Conjunto potencia de X: Es el conjunto de todos los subconjuntos
(propios o no) del conjunto X.
Sea X {1,2,3} P(X) { ,{1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}
P(X) 2 23 8
X