Vous êtes sur la page 1sur 14

UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica

Capítulo 1 Teoría de Conjuntos


georffreyUNADest@yahoo.com

TEORIA DE CONJUNTOS
AUTOEVALUACIÓN
1. Si X = {1, {1}}; hallar todos los subconjuntos de X.
Sean A = {1, 2, 3, 4, 5}, B = {2, 4, 6,}, C = {3, 5, 7} y U = {x / x es un número
natural menor o igual que 9}. Hallar:
1.1 A ' ∩ B'
1.2 A' ∪ B'
1.3 A - B
1.4 A ∩ B
1.5 B ∩ C
1.6 A ∆ U
1.7 B ∆ C
1.8 B X C
1.9 A ∪ B
1.10 B ∪ C

2. Comprobar que el número de elementos de A ∪ B y de B ∪ C esta dado


respectivamente por:
n (A ∪ B) = n (A) + n(B) - n(A ∩ B) y el
n(B ∪ C) = n(B) + n(C)

3. Hallar los conjuntos A y B si se sabe que:


A' = {2, 3, 5, 7}, B' = {1, 4, 7} y U = {1, 2, 3, 4, 5, 6, 7, 8}

4. El número de elementos de los conjuntos A, B, C y U son:


n (U) = 60, n(A) = 26, n(B) = 24, n(C) = 8, n(A ∩ B) = 10, n(A ∩ C) = 0
y se sabe que C ⊂ B. Hallar:

4.1 n(A - B)
4.2 n(A ∪ B)'
4.3 n(A ∪ C)'
4.4 n[A - (B ∪ C)' ]

5. Construya un diagrama de Venn con 3 conjuntos A, B y C no vacíos,


de tal forma que cumplan con las siguientes características.
5.1 A ⊂ B; C ⊂ B; A ∩ C = ∅
5.2 A ⊆ B; C ⊆ B; A ∩ C ≠ ∅
5.3 A ⊆ B; B ⊆ C; A ∩ B ≠ ∅ ; B ∩ С ≠ ∅.
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

EJERCICIOS DE PROFUNDIZACIÓN
1. Representar mediante diagramas de Veen o círculos de Euler las
relaciones entre conjuntos.

2. Demostrar o refutar cada una de las siguientes propiedades entre


conjuntos.

2.1 A ∪ B = B ∪ A
2.2 A ⊂ ( A U B ) y B ⊂ ( A U B )
2.3 Si B ⊂ C entonces A ∩ B = B

3. Si B ⊂ A, hallar A – B y hacer la representación gráfica.

4. Hallar el dual de cada una de las siguientes operaciones. Realizar la


demostración.

4.1 (B ∪ C) ∩ A = (B ∩ A) ∪ (C ∩ A)
4.2 A ∪ (A' ∩ B) = A ∪ B
4.3 (A ∩ U) ∩ (∅ ∪ A') = ∅
4.4 (A ∪ ∅) ∩ (A ∪ U ) = A
4.5 A ∩ ∅ = ∅
4.6 (A ∪ B)' = A' ∩ B'

5. En un examen a 200 estudiantes relacionado con la habilidad para leer inglés, francés y español
se obtuvieron los siguientes resultados: 80 leen inglés, 105 leen francés, 80 leen español, 55 leen
español y francés, 55 leen inglés y no leen francés, 60 leen inglés y no leen español, 15 leen inglés
y español, pero no francés. Cuántos de estos estudiantes:

5.1 Leen los tres idiomas


5.2 Leen únicamente francés
5.3 No leen ninguno de los tres idiomas
5.4 Leen español pero no inglés ni francés
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

PRINCIPIOS DE LOGICA
AUTOEVALUACIÓN

1. Diga si las siguientes expresiones son proposiciones o no; en caso afirmativo traduzca las
proposiciones a la forma simbólica y escriba su valor de verdad.

1.1 La división entre cero es imposible.


1.2 Patricia esta comiendo y divirtiéndose.
1.3 Alfredo no vino anoche y no recogió su dinero.
1.4 ¿Estás resfriado?.
1.5 La figura es un triángulo o un círculo.
1.6 26 no es número primo pero 13 sí.
1.7 Es falso que: 26 es número primo y 13 no es número primo.
1.8 Es falso que 13 es número impar.
1.9 13 es número par ó 26 es impar.

2. Si p es verdadero (1), q es falso (0) y r es verdadero (1), determinar el valor de verdad de cada
una de las siguientes proposiciones:

2.1 ∼ [(∼ p ∨ q) ∧ ∼ (q ∧ ∼ p)] → [(∼ p ∧ r) → q]


2.2 [p → (q ∨ r)] ↔ [(p → q) ∨ (p → r)]-
2.3 (p ∧ q) ↔ ∼ [p ∧ (q → r)]

3. Deducir la conclusión del siguiente grupo de premisas:


1. (∼ s ∧ ∼ t) → ∼ r
2. q
3. ∼ s
4. ∼ (q ∧ ∼ r)

4. Establecer mediante una tabla de verdad si la siguiente proposición es o no una tautología.


∼ [(∼ p ∨ q) ∧ ∼ (q ∧ ∼ p)] → [(∼ p ∧ r) → q]

5. Dadas las proposiciones p, q, r, demostrar utilizando las leyes del álgebra de proposiciones las
siguientes equivalencias:

5.1 [(p ∧ q) ∨ (∼ p ∧ r) ∨ (q ∧ r)] ↔ [p ∧ q) ∨ (∼ p ∧ r)]


5.2 (p ∧ q ∧ r) ∨ (∼ p ∨ ∼ q ∨ ∼ r) ↔ 1 es un tautología
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

EJERCICIOS DE PROFUNDIZACIÓN
1. Construir la tabla de verdad para cada una de las siguientes proposiciones:

1.1 (p ∧ q ∧ r) ∨ (∼ p ∧ q ∧ ∼ r) ∨ (∼ p ∧ ∼ q ∧ ∼ r)

1.2 [p → (q ∨ r)] ↔ [(p → q) ∨ (p → r)]

2. Indicar el cuantificador que debe utilizarse en cada una de las siguientes proposiciones:

2.1 Algunas manzanas están verdes.

2.2 Todos los computadores son eléctricos.

2.3 Existen números negativos.

2.4 Algunos enteros son positivos.

2.5 Todos los cuadrados son rectángulos.

3. Para cada uno de los siguientes argumentos obtenga una conclusión válida empleando todas las
proposiciones y la correspondiente demostración.

3.1 Si estoy ocioso, entonces me vuelvo holgazán.

3.2 Si no nos oponemos a la publicación de información falsa, somos culpables de suprimir la


libertad de otros. No somos culpables de suprimir la libertad de otros.

3.3 Si 2 divide a un entero positivo n, y si n es mayor que 2, entonces n no es un número primo. n


es un número primo.

3.4 Si vas a la universidad, entonces obtienes un buen empleo. Si obtienes un buen empleo,
entonces ganas mucho dinero. Si no obedeces la Ley, entonces no ganas mucho dinero. Vas a la
universidad.

3.5 Si escalas la montaña más alta, entonces te sientes grande, si te sientes grande, entonces
estás contento.
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

DEDUCION
AUTOEVALUACIÓN
1. Para cada uno de los siguientes argumentos enuncie la regla de inferencia mediante la cual se
sigue la conclusión.

1.1 (P ∧ Q) → R
/ ∴ (P ∧ Q) → (P ∧ Q) ∧ R

1.2 1. ∼ (P ∧ ∼ Q) → (P → Q)
2. (Q ↔ P) → ∼ (P ∧ ∼ Q)
/ ∴ (Q ↔ P) → (P → Q)

2. Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncie la
justificación de cada renglón que no sea una premisa de la prueba.

2.1 1. A ∧ B
2. (A ∨ C) → D / ∴ A∧D
3. A
4. A ∨ C
5. D
6. A ∧ D

2.2 1. Q → R
2. ∼ S → (T → U)
3. S ∨ (Q ∨ T)
4. ∼ S / ∴ R∨U
5. T → U
6. (Q → R) ∧ (T → U)
7. Q ∨ T
8. R ∨ U

3. Construir una prueba formal de la validez de cada uno de los siguientes argumentos:

3.1 1. ∼ (P ∨ ∼ R) ↔ ∼ P ∧ R
2. Q∨P
3. R→S
4. (Q ∧ S) → (T ∧ S) / ∴ S∧T

3.2 1. ∼ T ∨ ∼ S
2. ∼ Q → T
3. Q → ∼ R
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

4. R / ∴ ∼S

4. Escribir el siguiente enunciado en lenguaje simbólico y luego construir la prueba formal

1. x<3 y y>6
2. Si y ≠ 7 entonces ∼ (x = 2 ∧ y > x)

3. Si (y > 6 ∧ x < 3), entonces, (y > x ∧ x = 2)


/ ∴ X<3 ∧ y=7

5. Probar la invalidez del siguiente argumento utilizando el método de asignación de valores de


verdad.

1. [(X ∧ Y) ∧ Z] → A
2. [z → A] → [B → C]
3. B / ∴ X→C

EJERCICIOS DE PROFUNDIZACIÓN
1. Para cada uno de los siguientes argumentos, construir una prueba formal de validez o probar la
invalidez por el método de asignación de valores:

1.1 1. A→∼B
2 ∼ (C ∧ ∼ A) / ∴ C→ ∼B

1.2 1. S → (T → U)
2. V → (W → X)
3. T → (V ∧ W)
4. ∼ (T ∧ X) / ∴ S↔U

2. En cada uno de los siguientes argumentos, utilizar un lenguaje simbólico y construir una prueba
formal de validez o probar la invalidez por el método de asignar valores.

2.1 Si el papel tornasol se vuelve rojo, entonces la solución es un óxido. Luego, si el papel se
vuelve rojo, entonces o la solución es un óxido o hay algo que anda mal.

2.2 O el ladrón entro por la puerta, o el robo fue cometido desde dentro y uno de los sirvientes
debe estar involucrado en él. El ladrón sólo pudo entrar por la puerta si el cerrojo fue levantado
desde dentro; pero uno de los sirvientes seguramente se halla implicado en el robo, si el cerrojo fue
levantado desde dentro. Por ende, uno de los sirvientes está involucrado en el robo.

2.3 Si la víctima tenía dinero en sus bolsillos, entonces el robo no fue el motivo del crimen. Pero
el motivo del crimen fue, o bien el robo, o bien la venganza. Luego, el motivo del crimen debe haber
sido la venganza.
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

INDUCCION
AUTOEVALUACIÓN
1. Teniendo en cuenta los siguientes argumentos inductivos identifique el aspecto utilizado:

1.1 El lunes cayó un fuerte aguacero, el martes hubo tempestad, el miércoles se presentó una
fuerte tormenta, por lo tanto, se puede pronosticar que el día jueves habrá un fuerte aguacero.

1.2 El número 4 es un múltiplo de 2 porque 2 x 2 = 4


El número 8 es un múltiplo de 2 porque 2 x 4 = 8
El número 54 es un múltiplo de 2 porque 2 x 27 = 54
El número 100 es un múltiplo de 2 porque 2 x 50 = 100
Por lo tanto los múltiplos de 2 se consiguen multiplicando el número 2 por otro número
entero, es decir, si N es un número entero, los múltiplos de 2 son de la forma 2N.

2. Con el siguiente conjunto de premisas escriba la conclusión, orientada a la solución de la


siguiente pregunta, ¿cómo se pueden escribir los números impares?

2.1 3 es un número impar que se puede escribir como (2 X 1) + 1


5 es un número impar que se puede escribir como (2 X 2) + 1
25 es un número impar que se puede escribir como (2 X 12) + 1
43 es un número impar que se puede escribir como (2 X 21) + 1
101 es un número impar que se puede escribir como (2 X 50) + 1

2.2 El área del cuadrado de lado 5 unidades es 25 unidades cuadradas


El área de un cuadrado de lado 10 unidades es 100 unidades cuadradas
El área de un cuadrado de lado 13 unidades es 169 unidades cuadradas

3. Evalúe los siguientes argumentos analógicos teniendo en cuenta los criterios analizados en el
capítulo.

3.1 El número 4 es un múltiplo de 2 porque 2 x 2 = 4


El número 8 es un múltiplo de 2 porque 2 x 4 = 8
El número 54 es un múltiplo de 2 porque 2 x 27 = 54
El número 100 es un múltiplo de 2 porque 2 x 50 = 100
Por lo tanto los múltiplos de 2 se consiguen multiplicando el número 2 por otro número
entero, es decir, si N es un número entero, los múltiplos de 2 son de la forma 2N.

3.2 El número 4 es un múltiplo de 2 porque 2 x 2 = 4


El número 8 es un múltiplo de 2 porque 2 x 4 = 8
El número 54 es un múltiplo de 2 porque 2 x 27 = 54
El número 100 es un múltiplo de 2 porque 2 x 50 = 100
Por lo tanto los múltiplos de 2 son números pares
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

EJERCICIOS DE PROFUNDIZACIÓN

1. ¿Cuál es la diferencia principal entre el método deductivo y el inductivo?

2. Escriba un argumento inductivo en el cual las premisas y la conclusión sean verdaderas.

3. Escriba un argumento inductivo en el cual la validez de la conclusión no se pueda establecer de


la validez de las premisas.

4. Refute por medio de una analogía el argumento 1.1 de la AUTO EVALUACIÓN No 4


UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

ALGEBRA BOOLEANA
AUTO EVALUACIÓN
1. Demostrar que la forma normal conjuntiva de la expresión

x z’ + y es (x + y + z) (x + y + z’) ( x’ + y + z’)

2. Demostrar que la forma normal disyuntiva de la expresión

(x + y + z) (x y + x’z)’ es x’ y z’ + x y’

3. Escribir en forma normal disyuntiva las funciones F1, F2 y F3 especificadas en la siguiente


tabla;
X y z F1 F2 F3
0 0 0 0 1 1
0 0 1 0 1 0
0 1 0 1 0 1
0 1 1 1 0 0
1 0 0 0 1 0
1 0 1 0 1 1
1 1 0 1 0 0
1 1 14 1 0 1

4. Cambiar la siguiente expresión de la forma normal disyuntiva a la forma conjuntiva.

x y + x y’ + x’ y’

5. Cambiar la siguiente expresión de la forma normal conjuntiva a la forma normal disyuntiva:

(y + z’) (y’ + z) (y’ + z’)

EJERCICIOS DE PROFUNDIZACIÓN
1. Simplificar las siguientes expresiones booleanas:

1.1 (x + x y + x y z) (x + y + z)
1.2 (x + y + z + x’ y’ z’) ( y z + y z’ + y’z)

2. Demostrar que la forma normal conjuntiva de la expresión

x y z + x y’ z’ + x’ y z’ + x’ y’ z + x’ y’ z’ es
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

(x + y’ + z’)(x’ + y + z’)(x’ + y’ + z)

3. Demostrar que la forma normal disyuntiva de la expresión

(x + y + z) (x + y + z’) (x + y’ + z) (x’ + y + z’) (x’ + y’ + z) (x’ + y’ + z’)


es x y’ z’ + x’ y z

4. Escribir las funciones especificadas en la siguiente tabla y simplificarlas utilizando la


forma más conveniente:

X y z F1 F2 F3 F4
0 0 0 1 0 0 0
0 0 1 0 1 0 1
0 1 0 1 0 1 1
0 1 1 1 0 1 1
1 0 0 1 0 1 0
1 0 1 1 0 0 1
1 1 0 0 1 1 1
1 1 1 1 0 0 1

5. Determinar las expresiones simplificadas para cada uno de los mapas de Karnaugh

5.1
X’Y’ X’Y XY XY’
00 01 11 10
Z’ W’= 00 1 1 0 0
Z’ W= 01 1 1 0 1
ZW= 11 1 0 0 1
ZW’= 10 1 0 1 0

5.2
X’Y’ X’Y XY XY’
00 01 11 10
Z’ W’= 00 1 1 0 1
Z’ W= 01 0 0 0 0
ZW= 11 1 0 0 1
ZW’= 10 1 1 0 1
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

CIRCUITOS LOGICOS
AUTO EVALUACIÓN
1. En el siguiente circuito escribir la función de salida, elaborar la tabla de verdad.

2. Teniendo en cuenta el circuito anterior

a. Escribir la función booleana


b. Diseñar el circuito utilizando la técnica NAND
c. Diseñar el circuito utilizando la técnica NOR

3. Teniendo en cuenta la siguiente tabla de verdad, responda a), b) y c).

a) Encuentre la función booleana utilizando la forma norma conjuntiva y diseñe el circuito


b) Utilice la técnica NAND y diseñe el circuito
c) Utilice la técnica NOR y diseñe el circuito

x y z f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

4. Teniendo en cuenta la siguiente tabla de verdad

x y z f
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

a) Utilizando la forma normal disyuntiva encontrar la función booleana y diseñar el


circuito correspondiente.
b) Utilizando la técnica NAND, diseñar el circuito
c) Utilice la técnica NOR y diseñe el circuito correspondiente.

5. Construir el mapa de Karnaugh, la expresión booleana y el circuito lógico que permita


controlar una lámpara desde tres interruptores colocados en los pasillos de una edificación.
Tenga en cuenta la siguiente tabla de verdad.

x y z L
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

EJERCICIOS DE PROFUNDIZACIÓN

1. En un proceso de producción hay tres motores de los cuales sólo pueden trabajar dos a la vez,
además, ningún motor puede funcionar si no está trabajando un cuarto motor W que hace circular el
aceite lubricante. Construir un circuito lógico que controle estos cuatro motores, teniendo la
siguiente tabla de verdad:

x y z w F
0 0 0 1 0
0 0 1 1 0
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 1
1 1 1 1 0

2. Diseño de una alarma:

En una central de control de tráfico un panel muestra los puntos neurálgicos y enciende una luz de
alarma cuando las condiciones mínimas de seguridad previstas no se dan.

La siguiente figura muestra uno de esos puntos neurálgicos, en el cual pueden entrar en E sin
peligro de colisión al mismo tiempo vehículos de:

a) xz b) zw c) Solamente x, y, w, ó z.

X w

Y E
Z
UNAD Lógica Matemática Unidad 1 Teoría de conjuntos y Principios de lógica
Capítulo 1 Teoría de Conjuntos
georffreyUNADest@yahoo.com

Diseñe el circuito lógico que controla la alarma. Tenga en cuenta la siguiente tabla de verdad

ENTRADA SALIDA
x y z w ALARMA ACEPTABLE
0 0 0 0 0 1
0 0 0 1 0 1
0 0 1 0 0 1
0 0 1 1 0 1
0 1 0 0 0 1
0 1 0 1 1 0
0 1 1 0 1 0
0 1 1 1 1 0
1 0 0 0 0 1
1 0 0 1 1 0
1 0 1 0 0 1
1 0 1 1 1 0
1 1 0 0 1 0
1 1 0 1 1 0
1 1 1 0 1 0
1 1 1 1 1 0