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: Un conjunto est bien definido cuando agrupa elementos no repetidos El padre de la teora de conjuntos, base de la matemtica moderna no es Dvorak 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
A. B. C.

2.

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

Conjunto de poemas de Rafael Pombo { b, c, e } { b, c, c, e, e } Conjunto de canciones alegres

3.

Identifique las caractersticas que definen un conjunto (Escoge las opciones que sean necesarias):
A. B. C. D.

Los elementos se diferencian entre si Tiene elementos repetidos Los elementos pertenecen a un nico conjunto 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. B. C. D.

Unin Diferencia Interseccin 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. B. C. D.

Unin Diferencia Complemento Intersecin

6.

Entre las siguientes proposiciones, identifica la proposicin falsa: 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
A.

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

8.

Indique la operacin que seala el rea sombreada:

A. B. C. D.

A B A-B B-A

9.

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

A. B. C. D.

AUB A B (A-B)U(B-A)

10.

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

A. B. C. D.

A' (A-B)U(B-A) AUB B'

11.

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

A. B. C. D.

(A-B)U(B-A) AUB A B

12.

La proposicin compuesta: "Si Dian estudia y practica aprende" es equivalente en lenguaje simblico a:
A. B. C. D.

(p ^ q) --> r (p ^ q) <--> r r --> (p ^ q) (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. C. D.

En la columna sealada hay un error En la columna sealada hay tres errores o ms 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. B. C. D. E. F. G. H. I. J. Modus Tollendo Tollens Silogismo Disyuntivo Conjuncin Absorcin Dilema Constructivo Modus Tollendo Ponens No necesit usar ninguna ley Simplificacin Silogismo Hipottico 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. B. C. D.

(p v q) --> (r ^ s) (p ^ q) <--> (r --> s) (p ^ q) <--> (r ^ s) (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. B. C. D. A-B = {} A u U = {1,2,3,4,5} B-A = {} A n U = {1,2,3,4,5}

17.

Construir la tabla de verdad de los siguientes razonamientos lgicos y resolverlos: 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)
A.

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. B. C. D.

Silogismo Disyuntivo, Modus Tollendo Tollens Modus Ponens, Modus Tollens Modus Tollens, Simplificacin Dilema contructivo, Modus Ponendo Ponens

19.

El descubrimiento del parentesco entre los operadores lgicos y los matemticos lo debemos a: A. B. C. D. Aristteles Augustus de Morgan Gottfried Leibniz George Boole

20.

Son conjuntos denotados por extensin: A. B. C. D. {los estudiantes de lgica de la unad} {a,e,i,o,u} {los nmeros pares} {D'Morgan, Aristteles,Boole}

21.

Un ejemplo de proposicin universal negativa es: A. B. C. D. Ningn estudiante de lgica es filsofo Todos los estudiantes de lgica son filsofos Algunos estudiantes de lgica no son filsofos Algunos estudiantes de lgica son filsofos

22.

Son caractersticas del lgebra Booleana (Escoge las opciones que sean necesarias):
A. B. C. D.

La lgica Simblica desarrollada por Boole El conjunto de reglas Agebraicas para operar los smbolos El conjunto de entradas de un sistema El conjunto de salidas de un sistema

23.

Son sistemas que pueden ser modelados y simplificado mediante el lgebra Booleana:
A. B. C.

Los estados de la materia Un sistema que determina el estado bueno o malo de un electrodomstico 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): 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.
A.

25.

Identifica las proposicin verdaderas

A. B. C. D.

Los mapas de Karnaugh constituyen una tcnica de simplificacin de funciones lgicas. Simplificar una funcin lgica permite reducir el modelo fsico Disminuyendo un modelo fsico aumenta el tiempo de operacin. 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. B. C. D.

Los Mtodos grficos Los Mtodos de Bell Las manipulaciones algebraicas Los mtodos de simplificacin automticos

27.

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

A. B. C. D.

~pq p+q ~p + r ~p~q

28.

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

A. B. C. D.

p ~pq ~p+q 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. B. C. D.

De reunir A'B y AB se obtiene B' De reunir A'B y AB se obtiene A' ABC es equivalente a ABC + ABC por la propiedad de acotacin 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. B. C. D.

p'q'r' p + r' p+q+r r

32.

Elige la opcin que corresponde al siguiente mapa de Karnaugh:

A. B. C. D.

p' p'q' p'q (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. B. C. D. E. X'Y 0 1 (X + Y) (X + Y) X'Y'

35.

Al simplificar la expresin pp (pq')' utilizando las leyes del lgebra de BOOLE y D'MORGAN, se obtiene: A. B. C. D. pq p pq' 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. B. C. D.

(PQR + PQR + PQR + PQR) (PQR + PQR + PQR + PQR) (PQR + PQR + PQR + PQR) (PQR+ PQR)

37.

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

p'q' p'q pq q' + p

38.

Entre las siguientes opciones, la expresin algebraica que define a la funcin lgica representada por la tabla es: y(a,b,c) 1 1 1 1 0 0 0 0 f=A f=B f = B' f = A'

A B C 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1
A. B. C. D.

39.

Entre las siguientes opciones, la expresin algebraica que define a la funcin lgica representada por la tabla es: y(a,b,c) 0 1 0 1 0

A B C 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0

1 1 1

0 1 1

1 0 1
A. B. C. D.

1 0 1 f=A+B f=B f=C f = A' + C' xitos y bendiciones