Está en la página 1de 25

1.

‐ 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

 
 
 
 
 
 
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  

Los  métodos  lógicos  se  utilizan  en  matemáticas 


para  demostrar  teoremas,  y  en  computación  para 
demostrar que los programas hacen precisamente 
lo que deberían hacer. 
 
 
 
 
 
 
 
 
Actividad 1 
Conteste  a  las  preguntas  de  forma  individual, 
marque la actividad como “actividad 1” y anéxela a 
su portafolio de evidencias.   
Determine si cada una de las proposiciones es una 
afirmación. Si la afirmación es una proposición 
escriba su negación. 
1.‐  2  +  5  =  19 
2.‐  Mesero ¿puede traer la sopa? 
3.‐ Para algún entero positivo n, 19340 = n * 17 
4.‐ España es el campeón mundial actual de futbol    
5.‐ Pélame una uva 
6.‐ La frase “hasta la vista, baby”  aparece en la 
película terminator dos  
7.‐ Todo entero par mayor que 4 es la suma de dos 
primos. 
8.‐ La diferencia de dos primos   
 
 
 
Tablas de verdad de una proposición P 
Una tabla de verdad de una proposición P formada 
por  las  proposiciones  p1,….,pn  enumera  todas  las 
combinaciones  posibles  de  los  valores  de  verdad 
para  p1,….,pn,  donde V indica verdadero y F falso, 
de  modo  que  para  cada  una  de  estas 
combinaciones se indica el valor de verdad de P.  
 
Repaso de la sesión anterior  
La  lógica  es  el  estudio  del  razonamiento;  en 
particular  se  analiza  si  un  razonamiento  es 
correcto. 

     
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      

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. 

 Tabla de verdad:  p  q  p     q


   
f  f  v 
  f  v  f 
  v  f  f 
v  v  v 
Actividad 3 
Recuerde anexarlo a su portafolio de evidencias  
Determine  los  valores  de  verdad  para  cada 
proposición. 
 

  
 
 
 
 
 
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  
  
 
 
 
 
 
 

También podría gustarte