Deber Logica

UNIVERSIDAD TCNICA PARTICULAR DE LOJA
La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Departamento de Geologa y Minas e Ingeniera Civil Seccin Matemticas
Lgica Matemtica Evaluacin a distancia

5 Crditos
Titulacin
Licenciado en Ciencias de la Educacin, Mencin: Fsico Matemticas
Ciclo
II
Luis Rodrigo Barba Guamn
Profesor principal:
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 gratuita 1800 88758875 o al correo electrnico callcenter@utpl.edu.ec
Octubre 2013 - Febrero 2014
Asesora virtual: www.utpl.edu.ec
Evaluaciones a distancia: Lgica Matemtica
PRIMERA EVALUACIN A DISTANCIA

PRIMER BIMESTRE
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. OS
TITULACIONES * Licenciado en Ciencias de la Educacin, Mencin: - Educacin Bsica - Fsico Matemticas - Qumico Biolgicas - Lengua y Literatura * Ingeniero en Contabilidad y Auditora * 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 * 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 * 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 PRIMER BIMESTRE FECHAS DE ENVO
Del viernes 1 al martes 12 de noviembre de 2013
Del viernes 1 al mircoles 13 de noviembre de 2013
Del viernes 1 al jueves 14 de noviembre de 2013
Del viernes 1 al viernes 15 de noviembre de 2013
Para el envo de las evaluaciones acceda a: www.utpl.edu.ec.
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. El sistema octal utiliza la base 10 para realizar sus operaciones. El sistema hexadecimal se usa para representar nmero pequeos. Un terabyte es igual a 1024 GB
2.() 3.() 4.()
MODALIDAD ABIERTA Y A DISTANCIA
La Universidad Catlica de Loja
UTPL 3
5.() 6.() 7.() 8.() 9.() 10.() 11.() Parte B
8 bits se conoce como byte u octeto Las expresiones con sentido completo se denominan en gramtica oraciones. Las partculas que relacionan unas proposiciones con otras se denominan silogismos. El estudio de la lgica proposicional se basa en un anlisis de la estructura del enunciado. Un razonamiento es vlido si y solo si la conclusin es consecuencia lgica de premisas consistentes. Todos los operadores lgicos tienen el mismo resultado o conclusin en las tablas de verdad. La inferencia es un proceso lgico que de una o varias premisas se obtiene una o varias conclusiones.
Elija la respuesta correcta segn corresponda el enunciado. 12. En el sistema al octal, 1000111012 equivale a: a. b. c. 13. 4358 5348 3548
En el sistema hexadecimal, 10011100012 equivale a: a. b. c. 27116 9C116 9B116
14.
En el sistema octal, D5216 equivale a: a. b. c. 13528 34108 65228
15.
En el sistema binario, C1616 equivale a: a. b. c. 1100000101102 1100001101102 1100001001102

La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA
4 UTPL
16.
En el sistema octal, 309410 equivale a: a. b. c. 53218 42178 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. b. c. tautologa contradiccin 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. b. c. tautologa contradiccin 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. b. c. tautologa contradiccin 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. b. c. tautologa contradiccin contingencia
UTPL 5
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. b. c. tautologa contradiccin contingencia
22.
Simplificar el siguiente argumento (circuito lgico). Argumento: [ ~ P (Q ~P )] [ ( (R S ) Q) ( ~ P (Q ~P)) ] a. b. c. ~P Q ~P RS
23.
Simplificar el siguiente argumento (circuito lgico). Argumento: ( ~Q (P ~R)) [P (Q (~R ~Q))] a. b. c. Q (P R) P ( ~R Q) 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. b. c. Q ---> ~ ~ R Q~~R Q ---> ( ~ R ~ Q)
25.
Elija la opcin que sea VERDADERO a. b. c. ( Julio Csar est muerto ) [ 1 + 1 = 3 ] ( Julio Csar est muerto ) [ 1 + 1 = 3 ] ( 1 + 1 = 2 ) ----> [ = 3 ]
6 UTPL
26.
Elija la opcin que sea VERDADERO a. b. c. ( Los tringulos tienen tres lados ) ----> ( Los cuadrados tienen cinco lados ) ( El griego Euclides naci el 10 de agosto ) ----> ( Los rectngulos tienen 4 lados ) ( 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. b. c. ( P Q) ---> R P ---> Q R ( P Q) ---> R
Parte C Escoja la respuesta correcta. 28. Simbolizar: a. [P (R Q)] [(P R) Q] [( P Q) (R Q)] (P R Q ) [( P Q) (R Q)] [(P R) Q]
Si viene en tren, llegar antes de b. las seis. Si viene en coche, llegar antes de las seis. Luego, tanto si c. viene en tren como si viene en coche, llegar antes de las seis. 29. Inferir: a.
Juan y Mara tienen la misma altura. Pedro y Mara son altos. Juan y Luis no tienen la misma altura. Juana es pequea.
P1: Si Juan es ms alto que Pedro, b. entonces Mara es ms baja que c. 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, d.
UTPL 7
30.
Demostrar: ~ K ~ F h)
3) ~ D ~ K 4) ~ D 5) K 6) F 7) ~ K ~ F 3) ~ D ~ K 4) ~ D i) 5) ~ K 6) ~ F 7) ~ K ~ F 3) ~ D ~ K 4) ~ D j) 5) ~ K 6) ~ F 7) ~ K ~
Morgan 1 SIMP 3 SIMP 3 TT 2,4 AD 5,6 Morgan 1 SIMP 3 SIMP 3 TT 2,4 AD 5,6 Morgan 1 SIMP 3 SIMP 3 PP 2,4 F Adicin 5,6
1Pr: ~ ( D K ) 2Pr: F ----> D
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.
8 UTPL
1.
Cul de las siguientes es un orden en el que el mensajero puede hacer las entregas, del primero al sexto? a. b. c. d. L, N, S, O, M , T, P M, T, P, S, L, N, O O, S, L, N, M, T, P P, N, M, S, O, T, L
2.
Cul de las siguientes podra ser cierto? a. b. c. d. N se entrega primero T se entrega primero T se entrega segundo S se entrega sptimo
3.
Si N se entrega cuarto, Cul de las siguientes puede ser cierto? a. b. c. d. L se entrega primero L se entrega segundo M se entrega tercero O se entrega quinto
4.
Si T se entrega cuarto, el sptimo paquete en entregar tiene que ser a. b. c. d. L N O 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. b. c. d. L M N 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.
UTPL 9
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: 1. 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. Cul de las siguientes es una lista aceptable de equipos que puedan estar en la postemporada? a. b. c. d. 2. Estelares Rebeldes, Soldados Dminos, Estelares, Soldados Dminos, Rebeldes, Soldados
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. b. c. d. Soldados Canarios, Soldados Estelares, Soldados 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. b. c. d. Uno Dos Tres Cuatro
4.
Si hay dos equipos de la liga del oeste en la postemporada, Cul de las siguientes tiene que ser cierto? a. b. Los Estelares estn en la postemporada Los Rebeldes y los Estelares estn en la postemporada
10 UTPL
c. d. 5.
Los Estelares y los Soldados no estn en la postemporada Los Rebeldes estn en la postemporada
Cul de las siguientes puede ser cierto? a. b. c. d. Los Estelares es el nico equipo de la liga del este en la postemporada Los Rebeldes es el nico equipo de la liga del oeste en la postemporada Los Piratas y los Soldados son los nicos equipos de la liga del oeste en la postemporada 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. b. c. d. Cero Uno Dos Tres
UTPL 11
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.
AVISO IMPORTANTE
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.
12 UTPL
SEGUNDA EVALUACIN A DISTANCIA

SEGUNDO BIMESTRE
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.
OS
TITULACIONES * Licenciado en Ciencias de la Educacin, Mencin: - Educacin Bsica - Fsico Matemticas - Qumico Biolgicas - Lengua y Literatura * Ingeniero en Contabilidad y Auditora * 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 * 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 * 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
SEGUNDO BIMESTRE FECHAS DE ENVO
Del jueves 2 al jueves 16 de enero de 2014
Del jueves 2 al mircoles 15 de enero 2014
Del jueves 2 al martes 14 de enero 2014
Del jueves 2 al lunes 13 de enero de 2014
Para el envo de las evaluaciones acceda a: www.utpl.edu.ec.
PRUEBA OBJETIVA ( 2 puntos)
Parte A Elija la respuesta correcta. 1. Los trminos categoremticos denotan: a. b. c. Una relacin Una realidad Una compresin
UTPL 13
2.
La lgica de predicados estudia la estructura interna de las proposiciones entrando al anlisis de los diversos: _______________ , que la integran. a. b. c. Componentes Trminos Enlaces
3.
El predicado es: a. b. c. Aquello de lo que se dice del sujeto Aquello de lo cual se afirma o niega algo del sujeto Aquello que forma parte de una compresin
4.
Las caractersticas que dan significado a un trmino, se denominan en lgica: a. b. c. Racionalidad Comprensin Extensin
5.
Simbolizar a travs de lgica de predicados el siguiente enunciado: Felipe es hermano de Juan y Felipe es primo de Santiago a. b. c. JF=h F p S f (H) = j f (P) = s fHjfPs
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. b. c. P Q --> R S 3I 7I --> 3+7 M 2 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. b. c. Cuantificador Extensin Compresin
14 UTPL
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. b. c. La extensin permite que los elementos tienen una razn en comn. La extensin de una proposicin puede ser universal o particular. 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. b. c. Otros cuantificadores no se pueden definir con suficiente precisin para las matemticas. Todos los otros cuantificadores pueden ser definidos en trminos de estos dos. 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. b. c. n [(n es un nmero entero positivo) (n2 = 7)] Hay un nmero entero entre 3 y 4. 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. b. c. n [2n> n], donde n es una variable que denota un nmero entero. Todos los nmeros naturales son pares. 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. b. c. d. e. x[P(x) Q(x) R(x)] x[P(x) Q(x) R(x)] x[P(x) Q(x) R(x)] x[P(x) (Q(x) R(x))] x[P(x) (Q(x) R(x))]
UTPL 15
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. b. c. p q t W(p,q,t) p q t W(p,q,t) 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. b. c. (L1)(L2)(S) [(L1L2) Para (L1,S) Para (L2,S)] (L)(S1)(S2) [(S1S2) Para (L,S1) Para (L,S2)] (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. b. c. ( L) ( S1) ( S2) [Vlido (L, S1) Vlido (L, S2)] ( L) ( S1) ( S2) [(S1 S2) Vlido (L, S1) Vlido (L, S2)] ( 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. b. c. d. x y z [(x y) (y z) (x z)] x y [(x y) (y x) (x = y)] x y [(x y) (y x)] x y [(y <x) (x <y)]
17.
Indique el argumento que es verdadero? Las variables pertenecen a los nmeros reales. a. b. c. x y ( x + y = 0) x y ( x0 --> y2=x) x (x3 + 17x2 + 6x +11 0)
16 UTPL
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. b. c. x [ G(x) --> A (x)] x [ G (x) A (x)] x [ G (x) <---> A (x)]
19.
Use la regla de la especificacin universal (EU) en la siguiente premisa: Premisa: xP(x) a. b. c. d. e. P(x) EU en 1 xP(5) EU en 1, si x=5 P(b) EU en 1, si x=b xP(x) EU en 1 xP(x) EU en 1
20.
Use la regla de la generalizacin universal (GU) en la siguiente premisa: Premisa: p(a) --> q(a) a. b. c. d. x (p (a) q (a) ) GU en 1 x (p (x) q (x) ) GU en 1, si x = a x (p (x) --> q (x) ) GU en 1, si a = x 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. b. c. d. e. x (nmeros (x) --> racionales (x) ) x (nmeros (x) racionales (x) ) x ( nmeros (x) racionales (x) ) x (nmeros (x) racionales (x) )
x (nmeros (x) --> racionales (x) )
22.
En el siguiente silogismo: Todos los vehculos cmodos son populares Todas las carretillas son vehculos cmodos Conclusin: Todas las carretillas son populares.
UTPL 17
Cuantas proposiciones hay? a. b. c. 23. Dos Tres Cuatro
En el siguiente silogismo: Los astros tienen luz propia El sol es un astro Por lo tanto, el sol tiene luz propia. Elija cual son trminos los trminos sincategoremticos? a. b. c. d. Sol, luz, astro, un Sol, astro, el Un, el, por, astro Un, los, lo, el
24.
Los silogismos se basan en dos principios: a. b. c. Universal; Existencial Conveniencia; Discrepancia Tautolgico; Contradictorio
25.
Si tenemos el siguiente silogismo: Ningn ave pone huevos Es as que, ningn huevo es un cuerpo redondo Luego, ningn ave es un cuerpo redondo. Nuestra conclusin es: a. b. c. De dos premisas particulares no se puede sacar ninguna conclusin. De dos premisas negativas no se puede sacar ninguna conclusin. La conclusin sigue a la premisa de peor condicin.
26.
Escoja la conclusin del siguiente silogismo: Todas las casas son residencias Todos los hangares son residencias Conclusin: ____ a. b. Algunas residencias son hangares Todas las casas son hangares
18 UTPL
c. d. 27.
Ninguna casa no es un hangar Ninguna conclusin vlida posible
Escoja la conclusin del siguiente silogismo: Un pjaro no es pescado. Algunos pescados son tiburones Conclusin: ___ a. b. c. d. Ningn pescado es un tiburn Algunos tiburones no son pjaros Ningn pescado es un pjaro 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. b. c. Por dos puntos pasa una recta. El sol tiene una figura cuadrada P --> Q = Q --> P
29.
Demostrar el siguiente axioma. (Consultar los axiomas de la suma y multiplicacin) Axioma: a * 0 = 0 a*0 = = = = = = = = a*0 + 0 a*0 + (a + (-a)) ((a*0) + a) + (-a) ((a*0) + (a * a)) + (-a) a*(0+a ) + (-a)
2
por el axioma del elemento neutro aditivo
por inverso aditivo

por asociatividad por elemento neutro multiplicativo por distribucin por elemento neutro aditivo por elemento neutro multiplicativo por inverso aditivo
a)
a*(1) + (-a) a + (-1) 0
UTPL 19
a*0
= = = =
a*0 + 0 a*0 + (a + (-a)) ((a*0) + a) + (-a)
por el axioma del elemento neutro aditivo por inverso aditivo por asociatividad
b)
((a*0) + (a * 1)) + por elemento neutro multiplicativo (-a) a*(0+1) + (-a) a*(1) + (-a) a + (-a) 0 a*0 + 0 a*0 + (a + (-a)) ((a*0) - a) + (-a) ((a*0) + (a + a)) + (-a) a*(0+a) + (-a) a*(1) + (-a) a + (a) 0
por distribucin
= = = = a*0 = = =
c)
por elemento neutro aditivo

por elemento neutro multiplicativo por inverso aditivo por el axioma del elemento neutro aditivo por inverso aditivo por asociatividad por elemento neutro multiplicativo por distribucin por elemento neutro aditivo por elemento neutro multiplicativo por inverso aditivo
= = = = =
30.
El axioma es el elemento bsico de un: a. b. c. Sistema lgico formal, que junto con las reglas de inferencia definen un sistema deductivo. Sistema formal, el mismo que tiene una gramtica que restringe cuales son las expresiones correctamente formadas en ese lenguaje. 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).
20 UTPL
a. b. c. d. 2.
Jaime, Roberto, Hugo, Carmen, Esteban y Leoncio Esteban, Leoncio, Jaime, Roberto, Hugo y Carmen. Esteban, Leoncio, Jaime, Carmen, Hugo y Roberto. Jaime, Roberto, Hugo, Carmen, Esteban y Leoncio.
Seleccione la respuesta correcta, donde se cumpla que el dominio es cierto y falso. Argumento: 2x +1 < 0 a. b. c. d. Cierto para x <= 1, Falso para x <= Cierto para x = 1/2, Falso para x = -1/2 Cierto para x < -1/2 , Falso para x > - 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. b. c. d. Cierto para todo x >= 0, Falso si x < 0 Cierto para todo x < 0, Falso si x >= 0 Cierto para todo x > 0, Falso si x <= 0 Cierto para todo x = 0, Falso si x<= 0
4.
Exprese la siguiente proposiciones utilizando predicados y cuantificadores. Proposicin: Algunas pelculas son romnticas a. b. c. d. x R(x) x R(x) x R(x) x R(x)
5.
Seleccione todas las opciones correctas en la simbolizacin de los siguientes predicados: P(x) = es pesado, C(x) = ese confuso
Expresin
Respuesta
a. b.
x (P(x) C(x)): Si todos los libros son pesados entonces son confusos. x (P(x) C(x)): Si todos no los libros son pesados entonces son confusos.
UTPL 21
Expresin
Respuesta
c. d. e. f.
x (P(x) C(x)): Si todos los libros son pesados entonces son confusos. x (C(x) P(x) ): Algunos libros son confusos y pesados. x (C(x) P(x) ): Algunos libros son confusos y pesados.
x (C(x) P(x) ): Algunos libros son confusos entonces tambin son pesados. x (P(x) C(x)): Todos los libros son confusos o pesados x (P(x) C(x)): Todos los libros son confusos o pesados
g. h. i. j. k. l.
x (P(x) C(x) ): Existe un libro pesado que es confuso x (P(x) C(x) ): Existe un libro pesado que no es confuso. x (C(x) P(x)): Todos los libros no son pesados o son confusos. x (C(x) P(x)): Todos los libros no son confusos son pesados.
22 UTPL
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.
AVISO IMPORTANTE
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.
UTPL 23

Deber Logica

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Deber Logica

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD TCNICA PARTICULAR DE LOJA

La Universidad Catlica de Loja MODALIDAD ABIERTA Y A DISTANCIA

Lgica Matemtica Evaluacin a distancia

Luis Rodrigo Barba Guamn

Octubre 2013 - Febrero 2014

Asesora virtual: www.utpl.edu.ec

Evaluaciones a distancia: Lgica Matemtica

PRIMERA EVALUACIN A DISTANCIA

Del viernes 1 al martes 12 de noviembre de 2013

Del viernes 1 al mircoles 13 de noviembre de 2013

Del viernes 1 al jueves 14 de noviembre de 2013

Del viernes 1 al viernes 15 de noviembre de 2013

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

PRUEBA OBJETIVA ( 2 puntos)

2.() 3.() 4.()

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Evaluaciones a distancia: Lgica Matemtica

5.() 6.() 7.() 8.() 9.() 10.() 11.() Parte B

En el sistema hexadecimal, 10011100012 equivale a: a. b. c. 27116 9C116 9B116

En el sistema octal, D5216 equivale a: a. b. c. 13528 34108 65228

En el sistema binario, C1616 equivale a: a. b. c. 1100000101102 1100001101102 1100001001102

Evaluaciones a distancia: Lgica Matemtica

En el sistema octal, 309410 equivale a: a. b. c. 53218 42178 60268

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Evaluaciones a distancia: Lgica Matemtica

Simplificar el siguiente argumento (circuito lgico). Argumento: [ ~ P (Q ~P )] [ ( (R S ) Q) ( ~ P (Q ~P)) ] a. b. c. ~P Q ~P RS

Simplificar el siguiente argumento (circuito lgico). Argumento: ( ~Q (P ~R)) [P (Q (~R ~Q))] a. b. c. Q (P R) P ( ~R Q) P ( ~R Q)

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Evaluaciones a distancia: Lgica Matemtica

1Pr: ~ ( D K ) 2Pr: F ----> D

PRUEBA DE ENSAYO (4 puntos)

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Lgica Matemtica

Si T se entrega cuarto, el sptimo paquete en entregar tiene que ser a. b. c. d. L N O P

Juego de anlisis y lgica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Evaluaciones a distancia: Lgica Matemtica

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Lgica Matemtica

MODALIDAD ABIERTA Y A DISTANCIA

La Universidad Catlica de Loja

Evaluaciones a distancia: Lgica Matemtica

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

La Universidad Catlica de Loja

MODALIDAD ABIERTA Y A DISTANCIA

Evaluaciones a distancia: Lgica Matemtica

SEGUNDA EVALUACIN A DISTANCIA

SEGUNDO BIMESTRE FECHAS DE ENVO

Del jueves 2 al jueves 16 de enero de 2014

Del jueves 2 al mircoles 15 de enero 2014

Del jueves 2 al martes 14 de enero 2014

Del jueves 2 al lunes 13 de enero de 2014

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

PRUEBA OBJETIVA ( 2 puntos)

MODALIDAD ABIERTA Y A DISTANCIA

a0 + 0 a0 + (a + (-a)) ((a*0) + a) + (-a)