Documentos de Académico
Documentos de Profesional
Documentos de Cultura
‐ Rúbrica de evaluación para el curso de
matemáticas discretas (competencia alcanzada o
no alcanzada) Dirección electrónica
2.‐ Portafolio de evidencias
a.‐ Trabajo en equipo (actividades)
b.‐ Trabajo individual (actividades)
c.‐ Tareas
3.‐ Programa del curso y acuse
Identificador con su nombre
Toma de notas
Unidad 1 Conjuntos
Examen de diagnóstico
1. Introducción.
2. Conceptos básicos.
2.1 Notación.
2.2 Inclusión e igualdad.
2.3 Subconjuntos.
2.4 Conjunto potencia.
3. Operaciones.
3.1 Unión.
3.2 Intersección.
3.3 Complementación.
3.4 Diferencia.
3.5 Diferencia simétrica.
4. Diagramas de Venn.
5. Identidades básicas
5.1 Doble negación.
5.2 Leyes de Morgan.
5.3 Ley conmutativa.
5.4 Ley distributiva.
5.5 Ley asociativa.
5.6 Ley de idempotencia.
5.7 Ley de equivalencia.
6. Conjuntos finitos.
E
Examen
n de diaagnóstico
1
1.‐ ¿Qu é es lógica?
2
2.‐ ¿Qu é es lógica prroposiccional?
3
3.‐ ¿Qu é es un posición?
na prop
4.‐ ¿Qu
4 ue signiifican los sigu
uientes símbo
olos
lógico
os.?
5
5.‐ ¿Qu é es un
n símbo
olo?
6
6.‐ ¿Qu é es la disyun
nción?
7
7.‐ ¿Qu é es la conjun
nción?
or qué es imporrtante estud
8.‐ ¿Po
8 diar
m
matem áticas d
discrettas?
9.‐ ¿Que es una tabla de verdad?
Es importante comprender el razonamiento
matemático lógico (matemáticas discretas),
porque tiene aplicaciones en diseño de circuitos
lógicos utilizados en las computadoras y en un sin
número de equipos electrónicos, construcción de
programas de computadora (el software),
depuración de programas entre otras aplicaciones.
La lógica es el estudio del razonamiento; en
particular se analiza si un razonamiento es
correcto.
Es una colección de reglas que nosotros usamos
cuando hacemos un razonamiento lógico
(lenguaje).
Un símbolo
Es la representación perceptible de una idea, con
rasgos asociados por una convención socialmente
aceptada.
Sím
mbolos lógicos (p, qq, r reprresentaan propoosicionees)
OR disyun
nción
AND conjunción
P NEEGADA
A
La lógicaa que estud diarem
mos ess la lógica de
enuunciados (lóggica pro
oposiciional)
Lóggica pro
oposiciional
Se centraa en lass relaciiones e os enunciado
entre lo os y
no en el cconteniido de un enu unciado
o en paarticulaar.
Unna prop posición
n es unna oracción afiirmativva (es u
una
oraación qque decclara un hechho) quee es verrdadero o o
falsso, pe
ero noo amb bos. Son
S lo
os blooques de
construcción básicos para cualquier teoría de la
lógica.
Identifique cual de las siguientes oraciones es una
proposición.
1.‐ What time is it?
2.‐ Read this carefully.
3.‐ x + 1 = 2
4.‐ x + y = z
Respuesta: 1 y 2 no son oraciones declarativas, 3 y 4 no son proposiciones porqué no se sabe si son ni verdaderas ni falsas.
Si las oraciones son proposiciones cuál de ellas es
verdadera y cual falsa.
1.‐ Washington, DC., es la capital de USA.
2.‐ Toronto es la capital de Canadá
3.‐ 1 + 1 = 2
4.‐ 2 + 2 = 3
Todas son proposiciones. 1 y 3 son verdaderas, 3 y 4 son falsas
¿Utilizando su lógica, lea las oraciones y concluya?
Todos los informáticos utilizan sandalias
Cualquier persona que utilice sandalias es
algebrista.
Todos los informáticos son algebristas
p q CONJUNCIÓN “Y”
p q DISYUNCIÓN “O”
Una proposición es una oración afirmativa (es una
oración que declara un hecho) que es verdadero o
falso, pero no ambos. Son los bloques de
construcción básicos para cualquier teoría de la
lógica.
x + y = z NO ES PROPOSICIÓN (NO HAY CERTEZA)
1 + 1 = 2 SI ES PROPOSICIÓN (VERDADERA)
p, q, r representan proposiciones
p: 1 + 3 = 56
q: 1 + 1 = 2
p=f, q=v
Tablas de verdad de una proposición P
Enumera todas las combinaciones posibles de los
valores de verdad para p1,….,pn, donde V indica
verdadero y F falso
Con 2 proposiciones se tienen 2N combinaciones:
22=4
p q
v v
v f
f v
f f
Con 3 proposiciones se tienen 23 combinaciones:
23 = 8
p q r
f f f
f f v
f v f
f v v
v f f
v f v
v v f
v v v
¿Con 4 proposiciones cuantas combinaciones se
pueden hacer? Dibuje la tabla de verdad.
Con 4 proposiciones se tienen 24 combinaciones:
24 = 16
p q r s
f f f f
f f f v
f f v f
f f v v
f v f f
f v f v
f v v f
f v v v
v f f f
v f f v
v f v f
v f v v
v v f f
v v f v
v v v f
v v v v
Tabla de verdad de la conjunción (and, y)
La conjunción (AND) de p y q (proposiciones), se
denota por:
p q y su tabla de verdad es:
P q p q
V v v
V f f
F v f
F f f
Para que la conjuncion de p y q sea verdadera ambas proposiciones
deben serlo
Tenemos dos proposiciones
1+1=2
2+2=4
1+1=2 Y 2+2=4
p: 1+1=2
q: 2+2=4
p: V
q: V
p q
p q = V
Tenemos otras dos proposiciones
1+1=9
2+2=4
1+1=9 Y 2+2=4
p: 1+1=9
q: 2+2=4
p: F
q: V
p q
p q = F
p: para trabajar como maestro en la Buap
requieres maestría
q: para trabajar como maestro requieres de una
plaza docente.
p = v
q= v
p q = v
Tabla de verdad de la disyunción (OR, O)
p q y su tabla de verdad es:
P q p q
V v v
V f v
F v v
F f f
Para que la disyunción de p V q sea verdadera al menos una proposición
debe serlo
Tenemos dos proposiciones
1+1=2
2+2=4
1+1=2 O 2+2=4
p: 1+1=2
q: 2+2=4
p: V
q: V
p q
p q = V
Tenemos otras dos proposiciones
1+1=9
2+2=4
1+1=9 O 2+2=4
p: 1+1=9
q: 2+2=4
p: F
q: V
p q
p q = v
Conjunción Y (verdadera)
Puente P Puente Q
Llevar si estan los 2 puentes ¿llegarón?
mercancias si llegarán las mercancias
Conjunción Y falsa
Puente P Puente Q
Llevar si estan los 2 puentes ¿llegarón?
mercancias si llegarán las mercancias
Disyunción O (Verdadera)
Puente P
Llevar ¿llegarón?
mercancias
Puente Q
Disyunción O (Verdadera)
Puente P
Llevar ¿llegarón?
mercancias
Puente Q
Disyunción O Falsa
Puente P
Llevar ¿llegarón?
mercancias
Puente Q
La negación de p es
p
v f
f v
p: 3+4=7
p = v = f
: 3+4 ≠7
Actividad 2
Conteste a las preguntas de forma individual,
marque la actividad como “actividad 2” y anéxela a
su portafolio de evidencias.
Evalúe cada proposición con los valores de verdad
p= f, q= v, r=f
Escriba la tabla de verdad para cada una de las
proposiciones
Proposición condicional (símbolo)
De la siguiente afirmación:
Si el departamento de matemáticas obtiene 20 mil
pesos adicionales, entonces podrá contratar un
nuevo miembro.
Es una proposición condicional y se denota por
y se lee si p entonces q
La proposición p es la hipótesis y la proposición q
es la conclusión.
p: El departamento de matemáticas obtiene 20 mil
pesos adicionales
q: El departamento de matemáticas contrata a un
nuevo miembro
p q p q
f f v
f v v
v f f
v v v
Evaluar
p=v q=f r=v
Proposición bicondicional
Si p y q son proposiciones, la proposición
compuesta
p si y sólo si q se denota
Una forma alternativa para afirmar “p si y sólo si q ” es:
p es una condición necesaria y suficiente para q.
Cuantificadores
Si una proposición es una afirmación que es
verdadera o falsa, la afirmación p.
p: n es un entero impar
No es una proposición ya que el hecho de que p
sea verdadera o falsa depende del valor de n