MATEMTICAS

DISCRETAS
MAT-111

Unidad 1: Lgica y conjuntos

Prof. Antonio Rivero

 Matemticas discretas
Estudia los conjuntos discretos
Matemticas discretas
Finitos:
Infinitos numerables:
Sentencias lgicas
Nmeros enteros
Grafos

*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.

Lgica matemtica: Es una parte de la lgica y

de las matemticas que consiste en el estudio
matemtico de la lgica. Es la lgica usada en
matemticas.
Lgica de proposiciones
Es un sistema formal que analiza la validez de
argumentos hechos a partir de proposiciones.
Proposicin lgica: Es una oracin o una afirmacin
que puede ser cierta o falsa pero no ambas a la vez.

Proposiciones: NO son Proposiciones:

* 4 es un nmero impar * Cmo te llamas?
* 3+3=6 * x=3
* La luna es de queso. * Compra 4 libros.
 Elementos de la lgica proposicional
Cada proposicin se representa mediante una variable:
p: la rueda es cuadrada q: 3 + 3 = 6
Valores de la proposicin: Verdadero o Falso (1,0) (V,F) (t,f)
Smbolos de agrupacin: ( , )
Operadores lgicos:
Negacin Conjuncin Disyuncin Condicional Bicondicional

Orden de operaciones: Precedencia Operacin

1 Negacin
2 Conjuncin
3 Disyuncin
4 Condicional
5 Bicondicional
Simbolizacin del lenguaje natural
Operacin Smbolo Expresiones del lenguaje natural
Negacin o~ "no", "no es cierto", "no es el caso que" "es falso", "es imposible"
Conjuncin "y", "ni" "pero", "que", "mas"
Disyuncin "o", "o...o", "bien...bien", "ya...ya
Condicional "si.... entonces", "luego....", "por tanto", "por consiguiente", "con tal
que...", "se infiere", "se deduce, slo si
Bicondicional "...si y solo si...", "..equivale a..", "..es igual a..., "vale por...", "...es lo
mismo que..."

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.

Proposiciones equivalentes: Cuando al conectarlas mediante una bicondicional se

obtiene una tautologa.
Tautologa: Cuando la proposicin tiene el valor VERDADERO independientemente
de los valores de verdad de las proposiciones que la componen.
Contradiccin: Cuando la proposicin tiene el valor FALSO independientemente de
los valores de verdad de las proposiciones que la componen.
Contingencia: Cuando la proposicin tiene valor FALSO o VERDADERO.
Ejercicios: Verifique mediante tablas de verdad la validez de las siguientes formas
de proposiciones.
1. ( p q) p q 4. p q q p 7. ( p q) ( q p )
2. p q p q 5. ( p q) r p (q r ) 8. ( p q) (p p )
3. p q q p 6. ( p q) r p (q r ) 9. p q ( p q) (q p)
 Profundizando en la forma condicional

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.

Un silogismo es una forma de argumento que consiste en dos premisas y

una conclusin. Los silogismos ms conocidos son:
Modus ponens (afirmacin) Modus tollens (negacin)

Premisas

Conclusin

Existen otras formas de argumento vlidas que no se estudiarn en este

curso introductorio a la lgica.

Una falacia es un error en el razonamiento que da lugar a un argumento no

vlido. Sucede cuando en alguna forma, todas las premisas son verdaderas
y la conclusin es falsa.
Por ejemplo: Usar premisas ambiguas, razonamiento circular, saltar a una
conclusin sin tener suficientes argumentos, etc.
Validez de un argumento
Ejemplo: Un principio de razonamiento lgico dice que:
Si p entonces q y si q entonces r, entonces si p entonces r
Demuestre que el argumento
es vlido.

Para comprobarlo debemos mostrar por medio de una tabla de

verdad que la proposicin
es una tautologa.

Observe que en cada caso donde ambas premisas son verdaderas,

la conclusin es verdadera. Por tanto, el argumento es vlido.
Lgica de predicados
La validez de una proposicin depende del hecho o elemento al que se
refiere, pero en este ejemplo:
p: n es un entero par (Su validez depende del valor de n)
Funcin proposicional o predicado: Es una expresin que contiene
una o ms variables que al ser sustituidas por elementos del universo (U)
dan origen a una proposicin.
Ej: P(n): n es un entero par. (D = Z)
P(1): 1 es un entero par es F, P(2): 2 es un entero par es V
Cuantificadores
Cuantificador universal: Para todo:
Cuantificador existencial: Existe:

Negacin de predicados con cuantificadores
(xP( x )) x( P( x )) (xP( x )) x( P( x ))
Ejemplo: Determine el valor de verdad de esta afirmacin si el dominio de discurso
es R
x( x x)
2
Demostraciones
Una demostracin es un argumento que establece la
validez de un teorema. (establecer si el teorema es F o V)
La lgica es la herramienta para el anlisis de las
demostraciones.
Los sistemas formales o sistemas lgicos se componen
de:
Un conjunto finito de smbolos
Una gramtica formal (cmo construir frmulas bien formadas fbf-)
Un conjunto de axiomas
Un conjunto de reglas de inferencia (como producir nuevas fbf)
Un conjunto de teoremas derivados de los axiomas usando las
reglas de inferencia.
 Tipos de demostraciones o pruebas
Directa: Cuando se establece una cadena de proposiciones que
conducen a una conclusin verdadera.
p1 p2 p3 ... pn q
Por contradiccin: Suponer que la conclusin es falsa y
mostrar que hay contradiccin en alguna proposicin.
q p1 p2 ... pi ... pi
Por contrapositiva: Para demostrar p q usamos q p
Por casos:
Para demostrar ( p1 p2 ... pn ) q usamos ( p1 q) ( p2 q) ... ( pn q)

Prueba existencial: Basta hallar un ejemplo.

Para demostrar xP( x) buscamosun contrajemplo : xP( x)
2. Conjuntos
Conjunto: Coleccin bien definida de objetos. Cada objeto se
llama elemento y es un miembro del conjunto si cumple con la
relacin de pertenencia:
3 N 2 Q
Los conjuntos se puede describir mediante:
Lista de elementos:
A = {1, 3, 5, 7, 9}
Lista extendida de elementos:
B = {lunes, martes, ..., domingo}
Notacin con predicado:
C es el conjunto de todos los habitantes de Nueva York.
D = {x | x es un entero par, positivo}
(se lee: D es el conjunto de todas las x tales que x es un entero par, positivo)

NOTA: Un predicado mal definido puede producir una paradoja.

Cardinalidad de un conjunto
Los conjuntos pueden ser finitos o infinitos.
Cardinalidad del conjunto X
|X| = nmero de elementos en X.
Conjunto vaco: Es el conjunto sin elementos.
Subconjunto:
A B x(x A x B)
Subconjunto propio:
A B ( A B) ( A B)

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:

Unin Interseccin Diferencia Complemento

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

Producto cartesiano de A y B: Es el conjunto de todos los pares

ordenados (x,y) donde x es elemento de A y y es elemento de B.
Sea A {a, b} B {1,2,3} A B {( x, y ) | ( x A) ( y B)}
A B {( a,1), (a,2), (a,3), (b,1), (b,2), (b,3)} A B A B 2 3 6

Particin S de un conjunto X : Es una coleccin de subconjuntos

no vacos de X donde cada elemento de X pertenece exactamente a
un miembro de S.
Sea X {1,2,3,4,5,6} S {{1,2},{3},{4,5,6}} es una particin de X