UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CURSO DE LGICA MATEMTICA

EXAMEN FINAL

Con su grupo de trabajo resolver los siguientes puntos, sustentando cada una de sus respuestas.
La fecha lmite del presente trabajo es el da 31 de mayo a las 11:55 pm en el correo
armando.lopez@unad.edu.co.

1. Entre las siguientes proposiciones, identifica la proposicin falsa:

A. Un conjunto est bien definido cuando agrupa elementos no repetidos

B. El padre de la teora de conjuntos, base de la matemtica moderna no es Dvorak
C. El conjunto de personas felices es un conjunto que cumple con las caractersticas de un
conjunto bien definido
D. Un elemento de un conjunto se caracteriza por ser un elemento nico

2. Entre los siguientes conjuntos identifica los conjuntos que pueden ser considerados como
bien definidos (Escoge las opciones que sean necesarias):

A. Conjunto de poemas de Rafael Pombo

B. { b, c, e }
C. { b, c, c, e, e }
D. Conjunto de canciones alegres

3. Identifique las caractersticas que definen un conjunto (Escoge las opciones que sean
necesarias):

A. Los elementos se diferencian entre si

B. Tiene elementos repetidos
C. Los elementos pertenecen a un nico conjunto
D. Tiene elementos nicos

4. Cuando el tutor solicita en el encuentro tutorial de gran grupo que levanten la mano los
estudiantes que matricularon lgica pero no tica, se estar realizando la operacin de:

A. Unin
B. Diferencia
C. Interseccin
D. Diferencia simtrica

5. Cuando en la asesora de pequeo grupo colaborativo el tutor solicita que levanten la mano
los estudiantes que estudiaron el captulo 1 y el captulo 2 de la primera unidad, levantarn la
mano slo los estudiantes que pertenezcan al conjunto de quienes estudiaron el captulo 1 y
al conjunto de quienes estudiaron el captulo 2.
En esta oportunidad estaremos haciendo una operacin de:

A. Unin
B. Diferencia
C. Complemento
D. Intercesin
6. Entre las siguientes proposiciones, identifica la proposicin falsa:

A. La teora de conjuntos es un captulo de la primera unidad del mdulo de Lgica Matemtica

de la UNAD" es una proposicin atmica
B. "El conectivo lgico "Si y slo si", tambin se conoce como condicin necesaria y suficiente"
es una proposicin atmica
C. una proposicin lgica es generalmente una forma gramatical de oracin enunciativa.
D. "Cuantos aos tienes?" es una proposicin atmica

7. En la proposicin compuesta "Si considero el placer como fin ltimo de la vida y como nico
camino hacia la felicidad, entonces soy epicureista", se identifican:

A. Dos proposiciones simples o atmicas separadas por los conectivos lgicos de conjuncin y
condicional
B. Dos proposiciones simples o atmicas separadas por los conectivos lgicos de conjuncin y
disyuncin
C. Tres proposiciones simples o atmicas
D. Los conectivos lgicos de condicional y bicondiconal.

8. Indique la operacin que seala el rea sombreada:

A. A
B. B
C. A-B
D. B-A

9. Seala cul de las operaciones corresponde al rea sombreada en el diagrama de venn:

 A. AUB
B. A
C. B
D. (A-B)U(B-A)

10. Seala cul de las operaciones corresponde al rea sombreada en el diagrama de venn:

A. A'
B. (A-B)U(B-A)
C. AUB
D. B'

11. Seala cul de las operaciones corresponde al rea sombreada en el diagrama de venn:
 A. (A-B)U(B-A)
B. AUB
C. A
D. B

12. La proposicin compuesta: "Si Dian estudia y practica aprende" es equivalente en lenguaje
simblico a:

A. (p ^ q) --> r
B. (p ^ q) <--> r
C. r --> (p ^ q)
D. (p v q) --> r

13. Analiza con atencin la siguiente tabla de verdad e identifica el nmero de errores, si los hay,
en la columna sealada por la flecha:

A. En la columna sealada hay dos errores

 B. En la columna sealada hay un error
C. En la columna sealada hay tres errores o ms
D. En la columna sealada no hay errores

14. Identifica la ley de inferencia que usa Camilo en el siguiente dilogo:

Ana: Si el precio baja, sube la demanda

Diego: y siempre baja la demanda o suben los ingresos
Ana: Sabemos que no subieron los ingresos
Juan: entonces baj la demanda
Camilo: entonces, tambin bajaron los ingresos

A. Modus Tollendo Tollens

B. Silogismo Disyuntivo
C. Conjuncin
D. Absorcin
E. Dilema Constructivo
F. Modus Tollendo Ponens
G. No necesit usar ninguna ley
H. Simplificacin
I. Silogismo Hipottico
J. Modus Ponendo Ponens

15. Entre las diferentes opciones, determine cul es la expresin en lenguaje simblico que es
equivalente a la siguiente proposicin compuesta expresada en lenguaje natural:

"Siempre y cuando Ana tome acetaminofn e ibuprofeno, calma el dolor y la inflamacin."

A. (p v q) --> (r ^ s)
B. (p ^ q) <--> (r --> s)
C. (p ^ q) <--> (r ^ s)
D. (p ^ q) <--> (r v s)

16. Siendo el conjunto universal U={1,2,3,4,5,6,7,8,9} y los conjuntos A={1,2,3,4,5} y B={3,4}

pertenecientes al conjunto Universal, es correcto afirmar que:

Tenga en cuenta que "n" es interseccin y "u" Uninn.

A. A-B = {}
B. A u U = {1,2,3,4,5}
C. B-A = {}
D. A n U = {1,2,3,4,5}

17. Construir la tabla de verdad de los siguientes razonamientos lgicos y resolverlos:

A. Si practico aprendo los detalles del ejercicio de la actividad, y si aprendo los detalles del
ejercicio de la actividad ser ms competente, luego, si practico ser ms competente
B. Si compras las boletas, entonces vamos al cine y te regalo las crispetas
C. No se da (3=4 y 5 >=8)
18. Dado el siguiente argumento:
Si suben los precios aumenta la demanda. Baja la demanda o hay ms ingresos. Hay
menos ingresos, por lo tanto, los precios bajaron.
Elije la prueba de validez que permite llegar a la conclusin propuesta en el argumento:
A. Silogismo Disyuntivo, Modus Tollendo Tollens
B. Modus Ponens, Modus Tollens
C. Modus Tollens, Simplificacin
D. Dilema contructivo, Modus Ponendo Ponens

19. El descubrimiento del parentesco entre los operadores lgicos y los matemticos lo debemos
a:

A. Aristteles
B. Augustus de Morgan
C. Gottfried Leibniz
D. George Boole

20. Son conjuntos denotados por extensin:

A. {los estudiantes de lgica de la unad}

B. {a,e,i,o,u}
C. {los nmeros pares}
D. {D'Morgan, Aristteles,Boole}

21. Un ejemplo de proposicin universal negativa es:

A. Ningn estudiante de lgica es filsofo

B. Todos los estudiantes de lgica son filsofos
C. Algunos estudiantes de lgica no son filsofos
D. Algunos estudiantes de lgica son filsofos

22. Son caractersticas del lgebra Booleana (Escoge las opciones que sean necesarias):

A. La lgica Simblica desarrollada por Boole

B. El conjunto de reglas Agebraicas para operar los smbolos
C. El conjunto de entradas de un sistema
D. El conjunto de salidas de un sistema

23. Son sistemas que pueden ser modelados y simplificado mediante el lgebra Booleana:

A. Los estados de la materia

B. Un sistema que determina el estado bueno o malo de un electrodomstico
C. El estado de prdida o ganancia de un curso acadmico
D. Un cuestionario que incluye las siguientes opciones de respuesta: Nunca, algunas veces y
siempre
24. Identifica cual de las siguientes proposiciones es una proposicin correcta (Escoge las
opciones que sean necesarias):

A. En los sistemas digitales, la implementacin de las funciones lgicas se realiza por medio de
dispositivos que denominamos puertas o compuertas, los cuales son normalmente
dispositivos electrnicos basados en transistores.
B. En el lgebra Booleana, los estados Verdadero y Falso, pasan a ser representados por
nmeros binarios de un dgito o bits, de all que el lgebra Booleana tambin se conozca
como el lgebra del sistema binario.
C. Los computadores son sistemas binarios.
D. Un sistema cuyas variables tomen ms de dos estados lgicos puede ser modelado y
simplificado mediante el lgebra Booleana.

25. Identifica las proposicin verdaderas

A. Los mapas de Karnaugh constituyen una tcnica de simplificacin de funciones lgicas.

B. Simplificar una funcin lgica permite reducir el modelo fsico
C. Disminuyendo un modelo fsico aumenta el tiempo de operacin.
D. El lgebra Booleana permite modelar un sistema mediante una funcin lgica

26. Son mtodos de simplificacin de funciones lgicas (Escoge las opciones que sean
necesarias):

A. Los Mtodos grficos

B. Los Mtodos de Bell
C. Las manipulaciones algebraicas
D. Los mtodos de simplificacin automticos

27. De simplificar la proposicin ~((p)+(~q)) se obtiene:

A. ~pq
B. p+q
C. ~p + r
D. ~p~q

28. De simplificar la proposicin ~(p+~q) se obtiene:

A. p
B. ~pq
C. ~p+q
D. p+~p

29. De simplificar la proposicin ~p + ~p se obtiene:

A. ~2p
B. 2p
C. ~p
D. p
30. Entre las siguientes proposiciones seleccione la correcta:

A. De reunir A'B y AB se obtiene B'

B. De reunir A'B y AB se obtiene A'
C. ABC es equivalente a ABC + ABC por la propiedad de acotacin
D. De las formas Normal Conjuntiva y Normal Disyuntiva se obtienen funciones con tablas de
verdad equivalentes

31. Elige la opcin que corresponde al siguiente mapa de Karnaugh:

Recomendacin: Usa la tcnica de la forma normal conjuntiva

A. p'q'r'
B. p + r'
C. p+q+r
D. r

32. Elige la opcin que corresponde al siguiente mapa de Karnaugh:

A. p'
B. p'q'
C. p'q
D. (p'q')(p'q)

33. Elige la opcin que corresponde al siguiente mapa de Karnaugh:

Recuerda agrupar el mximo nmero de unos contiguos horizontal y verticalmente mas no en

diagonal:

A. p+q
B. q+ +
C. p+
D. p+
34. La forma normal disyuntiva que se puede deducir de la funcin

A. X'Y
B. 0
C. 1
D. (X + Y) (X + Y)
E. X'Y'

35. Al simplificar la expresin pp (pq')' utilizando las leyes del lgebra de BOOLE y D'MORGAN,
se obtiene:

A. pq
B. p
C. pq'
D. pq + p

36. La Universidad Nacional Abierta y a Distancia UNAD requiere disear un nuevo sistema de
alerta, para ello, el diseador se basar en los siguientes tres indicadores:

El indicador P se activa cuando el estudiante NO se comunica oportunamente con sus

compaeros

El indicador Q se activa cuando el estudiante ha hecho como mnimo tres aportes

significativos para la solucin de los trabajos colaborativos.

El indicador R se activa cuando el estudiante hace aportes significativos como respuesta a

los aportes de sus compaeros.

A continuacin se propone completar la tabla de verdad que permite disear el sistema de

alerta de manera que se active cuando ocurran nicamente dos de los tres eventos sealados
de manera que impliquen un riesgo para el proceso acadmico del estudiante:

La convencin a usar es la siguiente:

Alerta = 1 ; Alerta activa.

Alerta = 0 ; Alerta apagada.

P=1 ;Indicador P activo.

P=0 ;Indicador P no activo.

Igual para los indicadores Q y R.

Al resolver la tabla de verdad para la funcin lgica correspondiente al problema propuesto

se obtiene la funcin lgica:

A. (PQR + PQR + PQR + PQR)

B. (PQR + PQR + PQR + PQR)
C. (PQR + PQR + PQR + PQR)
D. (PQR+ PQR)
37. Al simplificar la expresin (p + q)' utilizando las leyes del lgebra de BOOLE y D'MORGAN, se
obtiene:

A. p'q'
B. p'q
C. pq
D. q' + p

38. Entre las siguientes opciones, la expresin algebraica que define a la funcin lgica
representada por la tabla es:

A B C y(a,b,c)

0 0 0 1

0 0 1 1

0 1 0 1

0 1 1 1

1 0 0 0

1 0 1 0

1 1 0 0

1 1 1 0

A. f=A
B. f=B
C. f = B'
D. f = A'

39. Entre las siguientes opciones, la expresin algebraica que define a la funcin lgica
representada por la tabla es:

A B C y(a,b,c)

0 0 0 0

0 0 1 1

0 1 0 0

0 1 1 1

1 0 0 0

1 0 1 1
1 1 0 0

1 1 1 1

A. f=A+B
B. f=B
C. f=C
D. f = A' + C'

xitos y bendiciones