Professional Documents
Culture Documents
Índice
1. Generalidades. 5
1.1. Objetivos generales . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Introducción a la lógica matemática . . . . . . . . . . . . . . . 7
1.3. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Competencias . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5. Estrategias pedagógicas o actividades de aprendizaje . . . . . 10
1.6. Recursos de aprendizaje . . . . . . . . . . . . . . . . . . . . . 10
1.7. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.8. Clases de proposiciones . . . . . . . . . . . . . . . . . . . . . 12
1.8.1. Proposiciones conjuntivas, p ^ q . . . . . . . . . . . . . 13
1.8.2. Proposiciones disyuntivas, p _ q . . . . . . . . . . . . . 15
1.8.3. Proposiciones disyuntivas exclusivas p Y q . . . . . . . . 16
1.8.4. Proposiciones condicionales, p ! q . . . . . . . . . . . 16
1.8.5. Proposiciones bicondicionales, p $ q . . . . . . . . . . 17
1.8.6. Proposiciones negativas: p . . . . . . . . . . . . . . . 19
1.8.7. Validación de leyes lógicas . . . . . . . . . . . . . . . . 21
1
ÍNDICE Lógica Matemática
1.9. Cuanti…cadores . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.10. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.10. Actividades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1. Generalidades.
UNIDAD DE APRENDIZAJE I
1.3. Objetivos
1.4. Competencias
Mesa redonda.
Presentación de trabajos.
Sesión de Chat.
Sesión Foro.
Talleres
Encuentro presencial
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
1.7. Proposiciones
Ejemplo 1.
2. 10 < 14
5. 45 + 5 = 30
1. x + 12 = 20
“4 es un número par”
son azules".
así que :
p ^ q : El dos es un número par y siete es un número primo (V)
En caso de que una de las dos sea falsa entonces toda la proposición conjun-
tiva lo será.
r ^ q : El ocho es un número primo y siete es un número primo (F)
p q p_q
1 1 1
1 0 1
0 1 1
0 0 0
En este caso la única manera en que no salga agua es que ambos grifos
estén cerrados
p q pYq
1 1 0
1 0 1
0 1 1
0 0 0
Ejemplo 2.
p q p!q
1 0 0
p q p!q
1 1 1
1 0 0
0 1 1
0 0 1
Cuando se unen dos proposiciones con el conectivo “si y solo si”, se forma
una proposición que solo es falsa si las dos tienen valores de verdad diferentes.
Ejemplo 3.
p q p$q
1 1 1
1 0 0
0 1 0
0 0 1
La proposición bicondicional p $ q es equivalente por su tabla de verdad a
(p ! q) ^ (q ! p)
p p
q q
p q (p ! q) ^ (q ! p)
1 1
1 0
0 1
0 0
p
Problema 1.
p p
1 0
0 1
q p
p q p p!q q_ p (p ! q) ^ (q_ p)
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
Ejemplo 6.
p q p p!q p_q (p ! q) , ( p _ q)
1 1 0 1 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
p q r (p ! q) (p ! r) (q ^ r)
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 0
1 0 0 0 0 0
0 1 1 1 1 1
0 1 0 1 1 0
0 0 1 1 1 0
0 0 0 1 1 0
(p ! q) ^ (p ! r) p ! (q ^ r) (p ! q) ^ (p ! r) ) p ! (q ^ r)
1 1 1
0 0 1
0 0 1
0 0 1
1 1 1
1 1 1
1 1 1
1 1 1
Leyes de Idempotencia
p^p,p
p_p,p
Leyes conmutativas
p^q ,q^p
p_q ,q_p
pYq ,qYp
p$q,q$p
Leyes asociativas
p ^ (q ^ r) , (p ^ q) ^ r
p _ (q _ r) , (p _ q) _ r
p $ (q $ r) , (p $ q) $ r
Leyes distributivas
p ^ (q _ r) , (p ^ q) _ (p ^ r)
p _ (q ^ r) , (p _ q) ^ (p _ r)
Leyes de absorción
p ^ (p _ q) , p
p _ (p ^ q) , p
Leyes de Morgan
(p ^ q) , p_ q
(p _ q) , p^ q
Leyes de Involución
( p) , p
Tambien hay ocasiones en que lo que se desea probar es que dos proposi-
ciones no pueden ser simultáneamente verdaderas. veamos
p q q (p^ q)
1 1 0 0
1 0 1 0
0 1 0 0
0 0 1 0
A casos como estos donde la tabla termina solo con ceros se le llama
CONTRADICCIÓN
1.9. Cuanti…cadores
Por ejemplo, siendo x una variable real, son verdaderas las proposiciones:
1) 8x : x2 + 1 > 0
2) 9x : x2 4=0
3) 9!x : 8x 4=0
Justi…cación:
1) Como ningún número al cuadrado es negativo
8x : x2 0
8x : x2 + 1 0+1
8x : x2 + 1 1 y como 1>0
8x : x2 + 1 > 0
x2 = 4
p
x= 4
x= 2
8x 4 = 0
8x = 4
4
x = 8
x = 2
1.10. Actividades
d) La …losofía es triangular
e) 52 = 21
k) x2 + 3x 4=0
a) 2
b) 3
c) 4
d) 5
p : Respetamos la vida
q :Colombia será un país feliz
Se construyó la tabla de verdad para esta proposición compuesta, pero
tiene un error. Localízalo, marcando con x el renglón correcto
p q p!q
1 0 1
0 0 1
1 1 1
0 1 1
a) p ! q
b) (p $ q)
c) (p ! q ) ! (p ! r)
a) p^ q
b) (p ! q)
c) (p _ q ) Y (p ! r)
p q q p p^ q pYq (p Y q) _ ( p^ q)
1 1 1
a) 1 0 0
0 1 0
0 0 1
p q q p$q p^ q (p $ q) ! (p^ q)
1 1 1
b) 1 0 0
0 1 0
0 0 1
p q r ((p ! r) ^ (q ! r)) ! r
1 1 1
1 1 0
1 0 1
c) 1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
a) p ! q
b) p $ q
c) p Y q:
UNIDAD DE APRENDIZAJE II
2.1. Objetivos
2.2. Competencias
Mesa redonda.
Presentación de trabajos.
Sesión de Chat.
Sesión Foro.
Talleres
Encuentro presencial
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
c2
= A (c no es un elemento de A).
Por extensión, que consiste en escribir todos y cada uno de los elementos
que lo conforman, así conociendo todos sus elementos conocemos el conjunto.
Ejemplo 9.
por extensión:
V = fa; e; i; o; ug
F = f1; 11; 21; 31; 41; 51; 61; 71; 81; 91; 101; 111; ::::g
Y =
Por comprensión:
V ={las vocales}
F ={los números naturales que terminan en 1}
Y ={los números impares que terminan en 0}
Subconjunto:
Si un conjunto B está contenido en un conjunto A, es porque todos los
elementos de B están en A; pero es posible que existan elementos en A, que
no estén en B.
Entonces B es un Subconjunto de A, o también se puede decir “ B está
contenido en A”. Se representa con los símbolos: B A
Así que:
(B A) () (x 2 B =) x 2 A)
Leyes de Idempotencia
A\A=A
A[A=A
Leyes conmutativas
A\B =B\A
A[B =B[A
Leyes asociativas
p ^ (q ^ r) , (p ^ q) ^ r
p _ (q _ r) , (p _ q) _ r
p $ (q $ r) , (p $ q) $ r
Leyes distributivas
A \ (B [ C) = (A \ B) [ (A \ C)
A [ (B \ C) = (A [ B) \ (A [ C)
Leyes de absorción
A \ (A [ B) = A
A [ (A \ B) = A
Leyes de Morgan
(A [ B)0 = A0 \ B 0
(A \ B)0 = A0 [ B 0
Leyes de Involución
(A0 )0 = A
2.10. Actividades
Andrés es más liviano que Fernando, pero más pesado que Gabriela
Esteban es más liviano que Andrés, pero más pesado que Gabriela
Pedro es más liviano que Jorge, pero más pesado que Miguel
3.1. Objetivos
3.2. Competencias
Aplicará las leyes del álgebra de Boole para simpli…car funciones booleanas.
Mesa redonda.
Presentación de trabajos.
Sesión de Chat.
Sesión Foro.
Talleres
Encuentro presencial
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
1. a) 1) 8a; b 2 B; a b2B
2) 8a; b 2 B; a b2B
Ley distributiva
1. a) 1) 8a; b; c 2 B; a (b c) = (a b) (a c)
2) 8a; b; c 2 B; a (b c) = (a b) (a c)
Elementos neutros
2) 8a 2 B; 9i 2 B; a i = a (Neutro Multiplicativo o
unidad)
Complementación
Ejemplo 16. Sea D26 = f1; 2; 13; 26g el conjunto de los divisores positivos
del 26; de…namos las operaciones binarias así:
a b = M CM (a; b) ( Mínimo Común múltiplo)
a b = mcd(a; b) ( Máximo Común divisor)
observe que para que a b = a; b tiene que ser 1(Neutro Aditivo o
cero)
y para que a b = a; b tiene que ser 26(Neutro Multiplicativo o
unidad)
por otra parte:
26
para que a b = 26; tiene que ser b = (complemento de la unidad)
a
y para que a b = 1; depende de quien sea a así:
si a = 1 entonces b = 26
si a = 2 entonces b = 13
si a = 13 entonces b = 2
si a = 26 entonces b = 1
Para representar estas operaciones utilizaremos tablas algo parecidas a las
de la escuela.
1 2 13 26 1 2 13 26
1 1 2 13 26 1 1 1 1 1
2 2 2 26 26 2 1 2 1 2
13 13 26 13 26 13 1 1 13 13
26 26 26 26 13 26 1 2 13 26
1. a) 1) 8a 2 B; a + a = a
2) 8a 2 B; aa = a
Ley de acotamiento
1. a) 1) 8a 2 B; a + 1 = 1
2) 8a 2 B; a0 = 0
1. a) 1) 8a; b 2 B; a + ab = a
2) 8a; b 2 B; a(a + b) = a
1. a) 1) 8a; b; c 2 B; a + (b + c) = (a + b) + c
a + (b + c) = 1 [a + (b + c)]
= ac a [a + (b + c)]
= ac [aa + a (b + c)]
= ac [a + a (b + c)]
= ac a
= ac [a + ac]
= ac [a (a + b) + ac]
= ac a [(a + b) + c]
= 1 [(a + b) + c]
= (a + b) + c
1. a) 1) 8a 2 B; (a + x = 1) ^ (ax = 0) ) x = ac
1. a) 1) 8a 2 B; (ac )c = a
Ley de Morgan
a) 1) 8a; b 2 B; (a + b)c = ac bc
2) 8a; b 2 B; (ab)c = ac + bc
f (x) = 2x + 1
Se trata de una función Real que tiene una variable Real (x) es decir el
dominio de f es R
y
10
0
-5 -2 .5 0 2 .5 5
-5
f (x; y) = 2x + y 2
f (x; y; z) = z 2 sen(x + y)
p
f (x1 ; x2 ; x3 ; :::; xn ) = 3 x1 + x2 + x3 + ::: + xn
Ejemplo 18.
Antes de calcular los valores que toma la función, se pueden aplicar algu-
nas propiedades para obtener una función más simpli…cada:
del ejemplo anterior
f (x; y) = xc (x + y)
= xc x + xc y (ley distributiva)
= 0 + xc y (complemento al cero)
= x0 y
f (x; y) = xc (x + y)
su tabla es:
x y f (x; y)
1 1 0
1 0 0
0 1 1
0 0 0
x y z yz x + yx
1 1 1 1 1
1 1 0 0 1
1 0 1 0 1
1 0 0 0 1
0 1 1 1 1
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0
3.9. Actividades
1. a) Tablas de verdad.
abc + ac b + ac bc = ac + bc
ac bc + ac + bcc = ac cc + bc c + ab
ac bc + bd + abc = d + dc bc
(a + bc + ab)(ac + b)abc = 0
f (p; q) = p Y q
a) Asociativa
b) Conmutativa
Una función de tres variables f(a,b,c) debe tomar el valor cero cuando la
variable b esté a uno y la variable a no está en estado uno. En los demás
casos posibles debe estar en estado uno.
a) Realizar la tabla de verdad de la función.
UNIDAD DE APRENDIZAJE IV
4.1. Objetivos
4.2. Competencias
Mesa redonda.
Presentación de trabajos.
Sesión de Chat.
Sesión Foro.
Talleres
Encuentro presencial
Aula de clases
Laboratorios
Auditorios.
Videobeam
Retroproyector.
LA COMPUERTA AND
A B
A B Lampara
1 1 1
1 0 0
0 1 0
0 0 0
p q r p^q^r
1 1 1 1
1 1 0 0
1 0 1 0
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0
A B Lampara
1 1 1
1 0 1
0 1 1
0 0 0
A lámpara
1 0
0 1
cualquiera de ellas.
En forma proposicional (p _ q).
A B A XOR B
1 1 0
1 0 1
0 1 1
0 0 0
p q pYq
1 1 0
1 0 1
0 1 1
0 0 0
pYq = (p , q)
= [(p ! q) ^ (q ! p)] aplicando la ley de Morgan
= (p ! q)_ (q ! p) negación del condicional
= (p^ q) _ (q^ p) ley distributiva
= (p _ q) ^ (p_ p) ^ ( q _ q) ^ ( p_ q) siempre (p_ p) = 1
= (p _ q) ^ 1 ^ 1 ^ ( p_ q) simplificando
= (p _ q) ^ ( p_ q) Ley de Morgan
= (p _ q)^ (p ^ q) c ley distributiva
= (p^ p) _ (p^ q) _ (q^ p) _ (q^ q) complemento a cero
= 0 _ (p^ q) _ (q^ p) _ 0 suma del modulo
= (p^ q) _ (q^ p) Listo!
Con c probamos que p Y q equivale a tres compuertas una de (p _ q);
otra de (p ^ q) y otra que las relacione con la conjunción ^; así pues: A
XOR B equivale a: (A OR B) AND (A NAND B) es decir:
(A + B)(AB)0
con la parte …nal del cálculo proposicional anterior A XOR B = A0 B+AB 0
VERIFICACIÓN:
A=1 y B=1
A=1 y B=0
A=0 y B=1
A=0 y B=0
x0
X X’
Y Y
xy
XY
xy 0
XY’
X’+XY+XY’
x + y + z = (x + y) + z = x + (y + z)
una compuerta OR de tres entradas puede reemplazarse por dos com-
puertas OR de dos entradas
así:
es equivalente a:
De manera semejante ocurre para la compuerta AND.
(X+Y)+Z
Ejemplo 23.
y
xyz+x’y’
z
xyz
x (xyz)NOR(yzc+ycz)
y =[(xyz)+(yzc+ycz)]c
z
yc
yc XOR zc=
(yc)c(zc)+(yc)(zc)c
=yzc+ycz
zc
x xc
y
yc
por ultimo el tercer término de la función: xy, se marca con el uno (1)
en la tabla. y lo demás con ceros
formando grupos con los unos se observa que: se ocupa todo el renglón de la
x y toda la columna de la y; no mas.
Correcta Incorrecta
Correcta Incorrecta
Correcta Incorrecta
Correcta Incorrecta
Correcta Incorrecta
Correcta
(8) Tiene que resultar el menor número de grupos posibles (ser minimal
) siempre y cuando no contradiga ninguna de las reglas anteriores.
yz ycz yz c yczc
x
xc
F (x; y; z) = xc y c z c + xc y c z + xc yz c + xy c z c + xyz c
Los pasos a seguir para conseguir reducir esta expresión son:
1. Convertir la expresión a una suma de productos si es necesario.
en este caso no lo es.
f (x; y; z) = z c + xc y c
zw zcw zwc z c wc
xy
xc y
xy c
xc y c
c) yz c w
d) xc y c z
e) xc yz c
f) xc y c zw
Por lo tanto f (x; y; z; w) se simpli…ca en:
f (x; y; z; w) = xyz + zwc + yz c w + xc y c z + xc yz c + xc y c zw
4.6. Actividades
mapas de Karnaugh
ab0(a + b0)c0 + b
a + b + (a0 + b + c)0
bc + da + c + (dc(ab + dc))
Ejercicio 7. Probar que los dos circuitos siguientes realizan la misma fun-
ción lógica:
(c) f (x; y; z) = x + yz
1. (a) f (x; y; z) = x + y c + z
c
(b) f (x; y) = [(x + y)c (x + y)]
1.
x y f (x; y)
1 1 1
1. 1 0 0
0 1 1
0 0 0
x y f (x; y)
1 1 0
1 0 0
0 1 0
0 0 1
x y f (x; y)
1 1 0
1 0 1
0 1 1
0 0 0
Ejercicio 15. Convertir el siguiente circuito en uno que solo utilice com-
puertas NAND
1.
Ejercicio 16. Convertir el circuito anterior a uno que solo contenga com-
puertas NAND de dos entradas
Guía de trabajo 1
4.7. Objetivos
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrónico
Proposiciones
La lógica es toda una disciplina en la que las re‡exiones y el razonamien-
to son fundamentales. Es estudiada también por la …losofía, pero, aquí nos
referiremos por lógica a la Lógica matemática. El elemento básico sobre el
que se desarrolla toda esta teoría se llama proposición.
De todo lo anterior una proposición es una a…rmación con sentido completo
de la cual se puede a…rmar que es cierta o que es falsa.
Ejemplo:
2. 10 < 14
5. 45 + 5 = 30
1. x + 12 = 20
4.9. Actividades
b) La …losofía es triangular
c) 52 = 21
i) x2 + 3x 4=0
a) 2
b) 3
c) 4
d) 5
p q p^q
1 1 1
1 0 0
0 1 0
0 0 0
así que :
p ^ q : El dos es un número par y siete es un número primo (1)
En caso de que una de las dos sea falsa entonces toda la proposición conjun-
tiva lo será.
r ^ q : El ocho es un número primo y siete es un número primo (0)
p q p_q
1 1 1
1 0 1
0 1 1
0 0 0
p q p!q
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplo 27.
Cuando se unen dos proposiciones con el conectivo “si y solo si” , se forma
una proposición que solo es falsa si las dos tienen valores de verdad diferentes.
La tabla de verdad del enunciado compuesto p $ q está dada por:
p q p$q
1 1 1
1 0 0
0 1 0
0 0 1
p p
1 0
0 1
4.10. Actividades
a) p ! q
b) (p $ q)
c) (p ! q ) ! (p ! r)
a) p^ q
b) (p ! q)
p q q p p^ q pYq (p Y q) _ ( p^ q)
1 1 1
a) 1 0 0
0 1 0
0 0 1
p q q p$q p^ q (p $ q) ! (p^ q)
1 1 1
b) 1 0 0
0 1 0
0 0 1
p q r ((p ! r) ^ (q ! r)) ! r
1 1 1
1 1 0
1 0 1
c) 1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
Guía de trabajo 2
4.11. Objetivos
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrónico
4.14. Actividades
a AU B
b AU C
c BU C
d A\B
e A\C
f B\C
g A B
h A C
i B C
a (AU B) A
b AU B = B
c A\B =B
d A (A \ B)
e A (A B)
Guía de trabajo 3
4.15. Objetivos
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrónico
1. a) 1) 8a; b 2 B; a b2B
2) 8a; b 2 B; a b2B
Ley distributiva
1. a) 1) 8a; b; c 2 B; a (b c) = (a b) (a c)
2) 8a; b; c 2 B; a (b c) = (a b) (a c)
Elementos neutros
Complementación
Ejemplo 33. Sea D26 = f1; 2; 13; 26g el conjunto de los divisores positivos
del 26; de…namos las operaciones binarias así:
1 2 13 26 1 2 13 26
1 1 2 13 26 1 1 1 1 1
2 2 2 26 26 2 1 2 1 2
13 13 26 13 26 13 1 1 13 13
26 26 26 26 13 26 1 2 13 26
A continuación se plantearán otras Propiedades de las Algebras de Boole,
se realizarán las pruebas de estas propiedades para uno de ellas y la otra la
realizará el estudiante con el principio de dualidad.
Ley de idempotencia 8a 2 B; a + a = a
1. a) 1) 8a 2 B; aa = a
Ley de acotamiento
1. a) 1) 8a 2 B; a + 1 = 1
2) 8a 2 B; a0 = 0
Ley de absorción
1. a) 1) 8a; b 2 B; a + ab = a
2) 8a; b 2 B; a(a + b) = a
Ley asociativa
1. a) 1) 8a; b; c 2 B; a + (b + c) = (a + b) + c
1. a) 1) 8a 2 B; (a + x = 1) ^ (ax = 0) ) x = ac
Ley de involución
1. a) 1) 8a 2 B; (ac )c = a
Ley de Morgan
1. a) 1) 8a; b 2 B; (a + b)c = ac bc
2) 8a; b 2 B; (ab)c = ac + bc
f (x) = 2x + 1
Se trata de una función Real que tiene una variable Real (x) es decir el
dominio de f es R
y
10
0
-5 -2 .5 0 2 .5 5
-5
f (x; y) = 2x + y 2
f (x; y; z) = z 2 sen(x + y)
p
f (x1 ; x2 ; x3 ; :::; xn ) = 3 x1 + x2 + x3 + ::: + xn
Ejemplo 36.
Antes de calcular los valores que toma la función, se pueden aplicar algu-
nas propiedades para obtener una función más simpli…cada:
del ejemplo anterior
f (x; y) = xc (x + y)
= xc x + xc y (ley distributiva)
= 0 + xc y (complemento al cero)
= x0 y
4.19. Actividades
a. Tablas de verdad.
Ejercicio 19. 1.
abc + ac b + ac bc = ac + bc
ac bc + ac + bcc = ac cc + bc c + ab
ac bc + bd + abc = d + dc bc
(a + bc + ab)(ac + b)abc = 0
1.
Guía de trabajo 4
4.20. Objetivos
Aula de clases,
Auditorios.
Videobeam
Retroproyector.
Foro
Chat
Correo electrónico
A B
LA COMPUERTA AND
A B Lampara
1 1 1
1 0 0
0 1 0
0 0 0
A B Lampara
1 1 1
1 0 1
0 1 1
0 0 0
x0
xy
xy 0
x + (y + z)
una compuerta OR de tres entradas puede reemplazarse por dos com-
puertas OR de dos entradas
así:
es equivalente a:
(X+Y)+Z
4.22. Actividades
1. Probar que los dos circuitos siguientes realizan la misma función lógica:
Ejercicio 20. 1.
ab0(a + b0)c0 + b
a + b + (a0 + b + c)0
bc + da + c + (dc(ab + dc))
Ejercicio 21. 1.
2. (a) f (x; y; z) = x + y c + z
c
(b) f (x; y) = [(x + y)c (x + y)]