deber logica

Upload: andrea-freire

Post on 16-Oct-2015

160 views

Category:

Documents


1 download

TRANSCRIPT

  • UNIVERSIDAD TCNICA PARTICULAR DE LOJA

    La Universidad Catlica de Loja

    MODALIDAD ABIERTA Y A DISTANCIA

    Departamento de Geologa y Minas e Ingeniera CivilSeccin Matemticas

    Asesora virtual:www.utpl.edu.ec

    Profesor principal:Luis Rodrigo Barba Guamn

    Lgica Matemtica

    Evaluacin a distancia

    5 Crditos

    TUTORAS: El profesor asignado publicar en el Entorno Virtual de Aprendizaje (EVA) su nmero telefnico y horario de tutora, para contactarlo utilice la opcin Contactar al profesor

    Ms informacin puede obtener llamando al Call Center 072588730, lnea gratuita1800 88758875 o al correo electrnico [email protected]

    Octubre 2013 - Febrero 2014

    Titulacin Ciclo

    Licenciado en Ciencias de la Educacin, Mencin: Fsico Matemticas

    II

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 3

    OS

    Le recordamos que usted debe enviar de forma obligatoria su evaluacin a distancia a travs del Entorno Virtual de Aprendizaje (EVA) en las fechas definidas, que son EXCLUSIVAS E IMPOSTERGABLES.

    TITULACIONES PRIMER BIMESTREFECHAS DE ENVO* Licenciado en Ciencias de la Educacin, Mencin:

    - Educacin Bsica- Fsico Matemticas- Qumico Biolgicas- Lengua y Literatura

    * Ingeniero en Contabilidad y Auditora

    Del viernes 1 al martes 12 de noviembre de 2013

    * Ingeniero en Gestin Ambiental* Economista* Licenciado en Psicologa* Licenciado en Ciencias de la Educacin, Mencin: Ingls* Licenciado en Ciencias de la Educacin, Mencin: Educacin Infantil

    Del viernes 1 al mircoles 13 de noviembre de 2013

    * Abogado* Ingeniero en Administracin en Gestin Pblica* Licenciado en Ciencias de la Educacin, Mencin: Ciencias Humanas y Religiosas* Ingeniero en Administracin de Empresas Tursticas y Hoteleras

    Del viernes 1 al jueves 14 de noviembre de 2013

    * Ingeniero en Administracin en Banca y Finanzas* Licenciado en Asistencia Gerencial y Relaciones Pblicas* Ingeniero en Informtica* Ingeniero en Administracin de Empresas* Licenciado en Comunicacin Social

    Del viernes 1 al viernes 15 de noviembre de 2013

    Para el envo de las evaluaciones acceda a: www.utpl.edu.ec.

    PRIMER BIMESTRE

    PRIMERA EVALUACIN A DISTANCIA

    PRUEBA OBJETIVA ( 2 puntos)

    Parte A

    Escriba verdadero (v) o falso (f ) segn corresponda.

    1. ( ) El sistema de numeracin binario es el mas utilizado a nivel mundial por las personas en actividades diarias como comprar, vender, viajar, estudiar, etc.

    2. ( ) El sistema octal utiliza la base 10 para realizar sus operaciones.

    3. ( ) El sistema hexadecimal se usa para representar nmero pequeos.

    4. ( ) Un terabyte es igual a 1024 GB

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA4

    5. ( ) 8 bits se conoce como byte u octeto

    6. ( ) Las expresiones con sentido completo se denominan en gramtica oraciones.

    7. ( ) Las partculas que relacionan unas proposiciones con otras se denominan silogismos.

    8. ( ) El estudio de la lgica proposicional se basa en un anlisis de la estructura del enunciado.

    9. ( ) Un razonamiento es vlido si y solo si la conclusin es consecuencia lgica de premisas consistentes.

    10. ( ) Todos los operadores lgicos tienen el mismo resultado o conclusin en las tablas de verdad.

    11. ( ) La inferencia es un proceso lgico que de una o varias premisas se obtiene una o varias conclusiones.

    Parte B

    Elija la respuesta correcta segn corresponda el enunciado.

    12. En el sistema al octal, 1000111012 equivale a:

    a. 4358b. 5348c. 3548

    13. En el sistema hexadecimal, 10011100012 equivale a:

    a. 27116b. 9C116c. 9B116

    14. En el sistema octal, D5216 equivale a:

    a. 13528b. 34108c. 65228

    15. En el sistema binario, C1616 equivale a:

    a. 1100000101102b. 1100001101102c. 1100001001102

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 5

    16. En el sistema octal, 309410 equivale a:

    a. 53218b. 42178c. 60268

    17. A travs del uso de las tablas de verdad concluir si el siguiente enunciado proposicional es una: tautologa, contradiccin o contingencia:

    Enunciado: ( P ---> ~ Q ) P Q

    a. tautologa

    b. contradiccin

    c. contingencia

    18. A travs del uso de las tablas de verdad concluir si el siguiente enunciado proposicional es una: tautologa, contradiccin o contingencia:

    Enunciado: ( P Q ) ( P ~ Q )

    a. tautologa

    b. contradiccin

    c. contingencia

    19. A travs del uso de las tablas de verdad concluir si el siguiente enunciado proposicional es:

    Enunciado: ( P (Q R)) (P Q) (P R)

    a. tautologa

    b. contradiccin

    c. contingencia

    20. A travs del uso de las tablas de verdad concluir si el siguiente enunciado proposicional es:

    Enunciado: (P v Q) (~ Q P)

    a. tautologa

    b. contradiccin

    c. contingencia

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA6

    21. A travs del uso de las tablas de verdad concluir si el siguiente enunciado proposicional es:

    Enunciado: (P Q) ( Q R) (~ P ~ Q R)

    a. tautologa

    b. contradiccin

    c. contingencia

    22. Simplificar el siguiente argumento (circuito lgico).

    Argumento: [ ~ P (Q ~P )] [ ( (R S ) Q) ( ~ P (Q ~P)) ]

    a. ~ P

    b. Q ~P

    c. R S

    23. Simplificar el siguiente argumento (circuito lgico).

    Argumento: ( ~Q (P ~R)) [P (Q (~R ~Q))]

    a. Q (P R)

    b. P ( ~R Q)

    c. P ( ~R Q)

    24. Se tiene las siguientes proposiciones

    Q: Se le acab el tiempo

    R: termina el examen

    Con estas proposiciones, simbolizar lo siguiente:

    Si se le acab el tiempo, no ocurre que no termina el examen

    a. Q ---> ~ ~ R

    b. Q ~ ~ R

    c. Q ---> ( ~ R ~ Q)

    25. Elija la opcin que sea VERDADERO

    a. ( Julio Csar est muerto ) [ 1 + 1 = 3 ]

    b. ( Julio Csar est muerto ) [ 1 + 1 = 3 ]

    c. ( 1 + 1 = 2 ) ----> [ = 3 ]

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 7

    26. Elija la opcin que sea VERDADERO

    a. ( Los tringulos tienen tres lados ) ----> ( Los cuadrados tienen cinco lados )

    b. ( El griego Euclides naci el 10 de agosto ) ----> ( Los rectngulos tienen 4 lados )

    c. ( El rea de un crculo de radio 1 es ) ----> ( 6 es nmero primo )

    27. Encuentre la equivalencia del siguiente argumento A

    A: Si x + 2 = 7 y Mara sonre, entonces 3 es divisor de 27

    a. ( P Q) ---> R

    b. P ---> Q R

    c. ( P Q) ---> R

    Parte C

    Escoja la respuesta correcta.

    28. Simbolizar:

    Si viene en tren, llegar antes de las seis. Si viene en coche, llegar antes de las seis. Luego, tanto si viene en tren como si viene en coche, llegar antes de las seis.

    a. [P (R Q)] [(P R) Q]

    b. [( P Q) (R Q)] (P R Q )

    c. [( P Q) (R Q)] [(P R) Q]

    29. Inferir:

    P1: Si Juan es ms alto que Pedro, entonces Mara es ms baja que Juana.

    P2: Mara no es ms baja que Juana.

    P3: Si Juan y Lus tiene la misma estatura, entonces Juan es ms alto que Pedro.

    Por lo tanto,

    a. Juan y Mara tienen la misma altura.

    b. Pedro y Mara son altos.

    c. Juan y Luis no tienen la misma altura.

    d. Juana es pequea.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA8

    30. Demostrar: ~ K ~ F

    1Pr: ~ ( D K )

    2Pr: F ----> D

    h)

    3) ~ D ~ K Morgan 14) ~ D SIMP 35) K SIMP 36) F TT 2,47) ~ K ~ F AD 5,6

    i)

    3) ~ D ~ K Morgan 14) ~ D SIMP 35) ~ K SIMP 36) ~ F TT 2,47) ~ K ~ F AD 5,6

    j)

    3) ~ D ~ K Morgan 14) ~ D SIMP 35) ~ K SIMP 36) ~ F PP 2,47) ~ K ~ F Adicin 5,6

    PRUEBA DE ENSAYO (4 puntos)

    Razonamiento lgico

    Lea el prrafo introductorio, las condiciones o reglas para luego contestar las preguntas.

    A. Juego de anlisis y lgica

    Un mensajero va a entregar exactamente siete paquetes (L, M, N, O, P, S y T) uno a la vez, no necesariamente en ese orden. Las siete entregas deben hacerse de acuerdo a las siguientes condiciones:

    P se entrega primero o sptimo

    El mensajero entrega N en algn momento despus de L

    El mensajero entrega T en algn momento despus de M

    El mensajero enva exactamente un paquete entre L y O, sea o no L entregado antes que O.

    El mensajero entrega exactamente un paquete entre entregar M y P, sea o no M entregado antes que P.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 9

    1. Cul de las siguientes es un orden en el que el mensajero puede hacer las entregas, del primero al sexto?

    a. L, N, S, O, M , T, P

    b. M, T, P, S, L, N, O

    c. O, S, L, N, M, T, P

    d. P, N, M, S, O, T, L

    2. Cul de las siguientes podra ser cierto?

    a. N se entrega primero

    b. T se entrega primero

    c. T se entrega segundo

    d. S se entrega sptimo

    3. Si N se entrega cuarto, Cul de las siguientes puede ser cierto?

    a. L se entrega primero

    b. L se entrega segundo

    c. M se entrega tercero

    d. O se entrega quinto

    4. Si T se entrega cuarto, el sptimo paquete en entregar tiene que ser

    a. L

    b. N

    c. O

    d. P

    5. Si el mensajero entrega el paquete M en algn momento despus de entregar O, el quinto paquete entregado puede ser cualquiera de los siguientes EXCEPTO:

    a. L

    b. M

    c. N

    d. S

    B. Juego de anlisis y lgica

    La serie de postemporada de unos equipos de baloncesto de una liga regional, si se hace, va a tener equipos seleccionados de entre seis equipos locales: tres de la liga del este y tres de la liga del oeste.

    Los tres equipos de la liga del este son: Canarios, Dminos y Estelares.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA10

    Los tres equipos de la liga del oeste son: Piratas, Rebeldes y Soldados.

    Dada la complejidad del sistema de eliminacin de empates, los equipos se seleccionan siguiendo las siguientes instrucciones:

    Si los Canarios estn en la estn en la postemporada, los Soldados no estarn en la postemporada.

    Si los Soldados estn en la postemporada, los Canarios no estarn en la postemporada.

    Si los Canarios no estn en la postemporada, los Piratas no estarn en la postemporada.

    Si la postemporada se da, los Dminos estn en la postemporada.

    1. Cul de las siguientes es una lista aceptable de equipos que puedan estar en la postemporada?

    a. Estelares

    b. Rebeldes, Soldados

    c. Dminos, Estelares, Soldados

    d. Dminos, Rebeldes, Soldados

    2. Si los Piratas estn en la postemporada, Cul de las siguientes es una lista completa y exacta de equipos que no estaran en la postemporada?

    a. Soldados

    b. Canarios, Soldados

    c. Estelares, Soldados

    d. Estelares, Rebeldes, Soldados

    3. Si hay mas equipos de la liga del oeste que de la liga del este en la postemporada, Cuntos equipos exactamente habra en la postemporada?

    a. Uno

    b. Dos

    c. Tres

    d. Cuatro

    4. Si hay dos equipos de la liga del oeste en la postemporada, Cul de las siguientes tiene que ser cierto?

    a. Los Estelares estn en la postemporada

    b. Los Rebeldes y los Estelares estn en la postemporada

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 11

    c. Los Estelares y los Soldados no estn en la postemporada

    d. Los Rebeldes estn en la postemporada

    5. Cul de las siguientes puede ser cierto?

    a. Los Estelares es el nico equipo de la liga del este en la postemporada

    b. Los Rebeldes es el nico equipo de la liga del oeste en la postemporada

    c. Los Piratas y los Soldados son los nicos equipos de la liga del oeste en la postemporada

    d. Los Canarios es el nico equipo de la liga del este en la postemporada.

    6. Cul es el nmero mnimo de equipos que puede tener la postemporada?

    a. Cero

    b. Uno

    c. Dos

    d. Tres

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA12

    Calificacin de la interaccin en el Entorno Virtual de Aprendizaje (EVA)

    De acuerdo a la tabla que aparece en el apartado Sistema de Evaluacin de la Gua Didctica de esta materia, usted podr obtener un punto por su participacin en las actividades en el Entorno Virtual de Aprendizaje (EVA) que a tal efecto le plantear su tutor (a).

    Como consta en dicha tabla, este punto slo computar para completar su nota de la evaluacin a distancia (que es sobre seis puntos), es decir, en el caso de que Ud. no lograse estos seis puntos. Por ejemplo, si Ud. obtiene 5,5 en la evaluacin a distancia y 1 en su interaccin en el EVA, su nota total en la evaluacin a distancia ser de 6.

    Adems, le animamos a que participe activamente en el EVA y a que aproveche las tutoras semanales, recursos y foros que su tutor (a) pondr a su disposicin, y a que interacte con su tutor y sus compaeros, lo cual estamos seguros de que le motivar e impulsar en su estudio.

    AVISO IMPORTANTE

    SEOR ESTUDIANTE:

    Una vez resuelta su evaluacin a distancia en este documento impreso (borrador), acceda al Entorno Virtual de Aprendizaje (EVA) en www.utpl.edu.ec e ingrese las respuestas respectivas.

    Le recordamos que para presentarse a rendir las evaluaciones presenciales no est permitido el uso de ningn material auxiliar (calculadora, diccionario, libros, Biblia, formularios, cdigos, leyes, etc.)

    Las pruebas presenciales estn diseadas para desarrollarlas sin la utilizacin de estos materiales.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 13

    OS

    Le recordamos que usted debe enviar de forma obligatoria su evaluacin a distancia a travs del Entorno Virtual de Aprendizaje (EVA) en las fechas definidas, que son EXCLUSIVAS E IMPOSTERGABLES.

    TITULACIONES SEGUNDO BIMESTREFECHAS DE ENVO* Licenciado en Ciencias de la Educacin, Mencin:

    - Educacin Bsica- Fsico Matemticas- Qumico Biolgicas- Lengua y Literatura

    * Ingeniero en Contabilidad y Auditora

    Del jueves 2 al jueves 16 de enero de 2014

    * Ingeniero en Gestin Ambiental* Economista* Licenciado en Psicologa* Licenciado en Ciencias de la Educacin, Mencin: Ingls* Licenciado en Ciencias de la Educacin, Mencin: Educacin Infantil

    Del jueves 2 al mircoles 15 de enero 2014

    * Abogado* Ingeniero en Administracin en Gestin Pblica* Licenciado en Ciencias de la Educacin, Mencin: Ciencias Humanas y Religiosas* Ingeniero en Administracin de Empresas Tursticas y Hoteleras

    Del jueves 2 al martes 14 de enero 2014

    * Ingeniero en Administracin en Banca y Finanzas* Licenciado en Asistencia Gerencial y Relaciones Pblicas* Ingeniero en Informtica* Ingeniero en Administracin de Empresas* Licenciado en Comunicacin Social

    Del jueves 2 al lunes 13 de enero de 2014

    Para el envo de las evaluaciones acceda a: www.utpl.edu.ec.

    SEGUNDO BIMESTRE

    SEGUNDA EVALUACIN A DISTANCIA

    PRUEBA OBJETIVA ( 2 puntos)

    Parte A

    Elija la respuesta correcta.

    1. Los trminos categoremticos denotan:

    a. Una relacin

    b. Una realidad

    c. Una compresin

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA14

    2. La lgica de predicados estudia la estructura interna de las proposiciones entrando al anlisis de los diversos: _______________ , que la integran.

    a. Componentes

    b. Trminos

    c. Enlaces

    3. El predicado es:

    a. Aquello de lo que se dice del sujeto

    b. Aquello de lo cual se afirma o niega algo del sujeto

    c. Aquello que forma parte de una compresin

    4. Las caractersticas que dan significado a un trmino, se denominan en lgica:

    a. Racionalidad

    b. Comprensin

    c. Extensin

    5. Simbolizar a travs de lgica de predicados el siguiente enunciado:

    Felipe es hermano de Juan y Felipe es primo de Santiago

    a. JF=h F p S

    b. f (H) = j f (P) = s

    c. f H j f P s

    6. Simbolizar a travs de lgica de predicados el siguiente enunciado:

    Si 3 es impar y 7 es impar, entonces 3+7 es mltiplo de 2

    a. P Q --> R S

    b. 3I 7I --> 3+7 M 2

    c. I3 I7 --> 3+7 M 2

    7. Un trmino puede ser definido al momento de indicar los elementos que lo componen, a esto se lo conoce como:

    a. Cuantificador

    b. Extensin

    c. Compresin

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 15

    8. En toda proposicin se afirma o niega algo del sujeto de la misma, y esta afirmacin o negacin puede afectar a algunos o todos los elementos que integran el conjunto representando por el sujeto, por tanto:

    a. La extensin permite que los elementos tienen una razn en comn.

    b. La extensin de una proposicin puede ser universal o particular.

    c. La extensin es un conjunto que define o seala los elementos.

    9. Por qu los matemticos generalmente restringen los cuantificadores a dos tipos Para todo y Existe? (Seleccione la mejor respuesta)

    a. Otros cuantificadores no se pueden definir con suficiente precisin para las matemticas.

    b. Todos los otros cuantificadores pueden ser definidos en trminos de estos dos.

    c. Casi todos los enunciados matemticos de inters se pueden expresar usando slo estos dos cuantificadores.

    10. Escoja el argumento que considere que es verdadero.

    a. n [(n es un nmero entero positivo) (n2 = 7)]

    b. Hay un nmero entero entre 3 y 4.

    c. x [(x es un tringulo rectngulo) (todos los lados de x tienen una longitud nmero entero)]

    11. Escoja el argumento que considere que es verdadero.

    a. n [2n> n], donde n es una variable que denota un nmero entero.

    b. Todos los nmeros naturales son pares.

    c. x [Los ngulos de x suman 180 grados], donde x es una variable que denota un tringulo.

    12. Cul de las siguientes simbolizaciones es equivalente a:

    x [P (x) --> (Q (x) R (x))]

    a. x[P(x) Q(x) R(x)]

    b. x[P(x) Q(x) R(x)]

    c. x[P(x) Q(x) R(x)]

    d. x[P(x) (Q(x) R(x))]

    e. x[P(x) (Q(x) R(x))]

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA16

    13. Si p, q son las variables que denotan a los jugadores de tenis en un club, sea t una variable que indica los juegos del club de tenis, y si W (p, q, t) significa que p juega en contra de q en juego t y gana. Suponiendo que hay por lo menos dos jugadores de tenis y juegos entre ellos, Cul de las siguientes frmulas simblicas no puede ser verdad?

    a. p q t W(p,q,t)

    b. p q t W(p,q,t)

    c. q p t W(p,q,t)

    14. Solicitudes de licencia de conducir del Estado tienen a menudo la frase: Tiene una licencia para ms de un estado. Cul de las siguientes frmulas expresa el significado literal de esta frase?

    L denota una licencia que usted posee y S denota un estado.

    a. (L1)(L2)(S) [(L1L2) Para (L1,S) Para (L2,S)]

    b. (L)(S1)(S2) [(S1S2) Para (L,S1) Para (L,S2)]

    c. (L1)(L2)(S1)(S2) [(S1S2) (L1 L2) Para (L1,S1) Para (L2,S2)]

    15. Qu frmula dice exactamente lo siguiente? Una licencia de conducir vlida en un Estado es vlida en cualquier Estado.

    L denota una licencia que usted posee y S denota un estado.

    a. ( L) ( S1) ( S2) [Vlido (L, S1) Vlido (L, S2)]

    b. ( L) ( S1) ( S2) [(S1 S2) Vlido (L, S1) Vlido (L, S2)]

    c. ( L) [( S1) Vlido (L, S1) --> ( S2) Vlido (L, S2)]

    16. Cul de las siguientes afirmaciones sobre la relacin de orden en la recta numrica de los nmeros reales es falsa?

    a. x y z [(x y) (y z) (x z)]

    b. x y [(x y) (y x) (x = y)]

    c. x y [(x y) (y x)]

    d. x y [(y

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 17

    18. Cul de las siguientes afirmaciones expresa la frase Todos los gatos son astutos? La variable x denota cualquier animal.

    G denota al gato y A denota la astucia.

    a. x [ G(x) --> A (x)]

    b. x [ G (x) A (x)]

    c. x [ G (x) A (x)]

    19. Use la regla de la especificacin universal (EU) en la siguiente premisa:

    Premisa: xP(x)

    a. P(x) EU en 1

    b. xP(5) EU en 1, si x=5

    c. P(b) EU en 1, si x=b

    d. xP(x) EU en 1

    e. xP(x) EU en 1

    20. Use la regla de la generalizacin universal (GU) en la siguiente premisa:

    Premisa: p(a) --> q(a)

    a. x (p (a) q (a) ) GU en 1

    b. x (p (x) q (x) ) GU en 1, si x = a

    c. x (p (x) --> q (x) ) GU en 1, si a = x

    d. x (p (a) --> q (a) ) GU en 1

    21. Simbolizar el siguiente argumento utilizando las reglas de los cuantificadores.

    Argumento: Algunos nmeros no son racionales

    a. x (nmeros (x) --> racionales (x) )

    b. x (nmeros (x) racionales (x) )

    c. x ( nmeros (x) racionales (x) )

    d. x (nmeros (x) racionales (x) )

    e. x (nmeros (x) --> racionales (x) )

    22. En el siguiente silogismo:

    Todos los vehculos cmodos son popularesTodas las carretillas son vehculos cmodosConclusin: Todas las carretillas son populares.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA18

    Cuantas proposiciones hay?

    a. Dos

    b. Tres

    c. Cuatro

    23. En el siguiente silogismo:

    Los astros tienen luz propiaEl sol es un astroPor lo tanto, el sol tiene luz propia.

    Elija cual son trminos los trminos sincategoremticos?

    a. Sol, luz, astro, un

    b. Sol, astro, el

    c. Un, el, por, astro

    d. Un, los, lo, el

    24. Los silogismos se basan en dos principios:

    a. Universal; Existencial

    b. Conveniencia; Discrepancia

    c. Tautolgico; Contradictorio

    25. Si tenemos el siguiente silogismo:

    Ningn ave pone huevosEs as que, ningn huevo es un cuerpo redondoLuego, ningn ave es un cuerpo redondo.

    Nuestra conclusin es:

    a. De dos premisas particulares no se puede sacar ninguna conclusin.

    b. De dos premisas negativas no se puede sacar ninguna conclusin.

    c. La conclusin sigue a la premisa de peor condicin.

    26. Escoja la conclusin del siguiente silogismo:

    Todas las casas son residenciasTodos los hangares son residencias

    Conclusin: ____

    a. Algunas residencias son hangares

    b. Todas las casas son hangares

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 19

    c. Ninguna casa no es un hangar

    d. Ninguna conclusin vlida posible

    27. Escoja la conclusin del siguiente silogismo:

    Un pjaro no es pescado.Algunos pescados son tiburones

    Conclusin: ___

    a. Ningn pescado es un tiburn

    b. Algunos tiburones no son pjaros

    c. Ningn pescado es un pjaro

    d. Algunos pjaros no son tiburones

    28. Al axioma se lo puede considerar como una verdad que es clara y que no necesita una demostracin.

    a. Por dos puntos pasa una recta.

    b. El sol tiene una figura cuadrada

    c. P --> Q = Q --> P

    29. Demostrar el siguiente axioma. (Consultar los axiomas de la suma y multiplicacin)

    Axioma: a * 0 = 0

    a)

    a*0 = a*0 + 0 por el axioma del elemento neutro aditivo

    = a*0 + (a + (-a)) por inverso aditivo

    = ((a*0) + a) + (-a) por asociatividad

    = ((a*0) + (a * a)) + (-a) por elemento neutro multiplicativo

    = a*(0+a2) + (-a) por distribucin

    = a*(1) + (-a) por elemento neutro aditivo

    = a + (-1) por elemento neutro multiplicativo

    = 0 por inverso aditivo

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA20

    b)

    a*0 = a*0 + 0 por el axioma del elemento neutro aditivo

    = a*0 + (a + (-a)) por inverso aditivo

    = ((a*0) + a) + (-a) por asociatividad

    = ((a*0) + (a * 1)) + (-a)

    por elemento neutro multiplicativo

    = a*(0+1) + (-a) por distribucin

    = a*(1) + (-a) por elemento neutro aditivo

    = a + (-a) por elemento neutro multiplicativo

    = 0 por inverso aditivo

    c)

    a*0 = a*0 + 0 por el axioma del elemento neutro aditivo

    = a*0 + (a + (-a)) por inverso aditivo

    = ((a*0) - a) + (-a) por asociatividad

    = ((a*0) + (a + a)) + (-a) por elemento neutro multiplicativo

    = a*(0+a) + (-a) por distribucin

    = a*(1) + (-a) por elemento neutro aditivo

    = a + (a) por elemento neutro multiplicativo

    = 0 por inverso aditivo

    30. El axioma es el elemento bsico de un:

    a. Sistema lgico formal, que junto con las reglas de inferencia definen un sistema deductivo.

    b. Sistema formal, el mismo que tiene una gramtica que restringe cuales son las expresiones correctamente formadas en ese lenguaje.

    c. Sistemas de demostraciones que pueden expresarse en el lenguaje de los sistemas formales.

    PRUEBA DE ENSAYO (4 puntos)

    Razonamiento lgico

    1. Si Jaime y Leoncio son de la misma edad. Jaime es mayor que Roberto, quien su vez es mayor que Carmen. Hugo, aunque es mayor que Carmen, es ms joven que Jaime y Roberto. Leoncio es ms joven que el amigo de Hugo, Esteban. Enumera a estas seis personas siguiendo el orden de sus respectivas edades(de mayor a menor).

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 21

    a. Jaime, Roberto, Hugo, Carmen, Esteban y Leoncio

    b. Esteban, Leoncio, Jaime, Roberto, Hugo y Carmen.

    c. Esteban, Leoncio, Jaime, Carmen, Hugo y Roberto.

    d. Jaime, Roberto, Hugo, Carmen, Esteban y Leoncio.

    2. Seleccione la respuesta correcta, donde se cumpla que el dominio es cierto y falso.

    Argumento: 2x +1 < 0

    a. Cierto para x -1/2, Falso para x < -1/2

    3. Seleccione la respuesta correcta, donde se cumpla que el dominio es cierto y falso.

    Argumento: x3 > 0

    a. Cierto para todo x >= 0, Falso si x < 0

    b. Cierto para todo x < 0, Falso si x >= 0

    c. Cierto para todo x > 0, Falso si x

  • Evaluaciones a distancia: Lgica Matemtica

    UTPL La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA22

    Expresin Respuesta

    c. x (P(x) C(x)): Si todos los libros son pesados entonces son confusos.

    d. x (C(x) P(x) ): Algunos libros son confusos y pesados.

    e. x (C(x) P(x) ): Algunos libros son confusos y pesados.

    f. x (C(x) P(x) ): Algunos libros son confusos entonces tambin son pesados.

    g. x (P(x) C(x)): Todos los libros son confusos o pesados

    h. x (P(x) C(x)): Todos los libros son confusos o pesados

    i. x (P(x) C(x) ): Existe un libro pesado que es confuso

    j. x (P(x) C(x) ): Existe un libro pesado que no es confuso.

    k. x (C(x) P(x)): Todos los libros no son pesados o son confusos.

    l. x (C(x) P(x)): Todos los libros no son confusos son pesados.

  • Evaluaciones a distancia: Lgica Matemtica

    UTPLLa Universidad Catlica de LojaMODALIDAD ABIERTA Y A DISTANCIA 23

    Calificacin de la interaccin en el Entorno Virtual de Aprendizaje (EVA)

    De acuerdo a la tabla que aparece en el apartado Sistema de Evaluacin de la Gua Didctica de esta materia, usted podr obtener un punto por su participacin en las actividades en el Entorno Virtual de Aprendizaje (EVA) que a tal efecto le plantear su tutor (a).

    Como consta en dicha tabla, este punto slo computar para completar su nota de la evaluacin a distancia (que es sobre seis puntos), es decir, en el caso de que Ud. no lograse estos seis puntos. Por ejemplo, si Ud. obtiene 5,5 en la evaluacin a distancia y 1 en su interaccin en el EVA, su nota total en la evaluacin a distancia ser de 6.

    Adems, le animamos a que participe activamente en el EVA y a que aproveche las tutoras semanales, recursos y foros que su tutor (a) pondr a su disposicin, y a que interacte con su tutor y sus compaeros, lo cual estamos seguros de que le motivar e impulsar en su estudio.

    AVISO IMPORTANTE

    SEOR ESTUDIANTE:

    Una vez resuelta su evaluacin a distancia en este documento impreso (borrador), acceda al Entorno Virtual de Aprendizaje (EVA) en www.utpl.edu.ec e ingrese las respuestas respectivas.

    Le recordamos que para presentarse a rendir las evaluaciones presenciales no est permitido el uso de ningn material auxiliar (calculadora, diccionario, libros, Biblia, formularios, cdigos, leyes, etc.)

    Las pruebas presenciales estn diseadas para desarrollarlas sin la utilizacin de estos materiales.