Talleres Logica Matematica

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 ∩ С ≠ ∅.
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
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
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.
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
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
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.
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
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
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.

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.

Por lo tanto los múltiplos de 2 son números pares
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

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’)
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
(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
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
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
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
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

Talleres Logica Matematica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Talleres Logica Matematica

Cargado por

Copyright:

Formatos disponibles

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

Capítulo 1 Teoría de Conjuntos

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

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

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

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

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

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

5.1 Leen los tres idiomas

1.1 La división entre cero es imposible.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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’)

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

2. Teniendo en cuenta el circuito anterior

a. Escribir la función booleana

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

4. Teniendo en cuenta la siguiente tabla de verdad

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

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

2. Diseño de una alarma:

También podría gustarte