UNIVERSIDAD DE SAN CARLOS HOUT M R00 2012 Facultad de Ingenieria Escuela de Ciencias Departamento de Matematica CLAVE DE EXAMEN MATEMATICA PARA COMPUTACION 1 CODIGO DE CURSO: 960 Datos de la clave Datos del examen Elaborada por: PRIMER. PARCIAL Glenda Liliana Gomez Segundo semestre, 2012 Jornada matutina Revisada por: Lic, Carlos Morales 26 de octubre de 2012TEMARIO DEL EXAMEN TEMA 1 1.1 Ulilice las equivalencias légicas para eseribir el conectivo Nand usando exclusivamente el eonectivo NOR. 1.2 Construya la tabla de verdad de ((p Aa) Vr) + (6 +r). TEMA 2 2.1 Justificando cada paso, demuestre por el método de demostracién directa: Si m yn son enteros pares entonees m+n es par. 2.2 Demuestre la proposicién de 2.1 por reduecién al absurdo, 2.3. Utilice el método de demostracién por contradiecién por contradiccién para demostrar: v3 os irracional TEMA 3 Negar las siguientes proposiciones 3.1 vyeRIreRArty=0. 3.2 X no es primo si y sélo si X es par. TEMA 4 4.1 Dé un ejemplo de un argumento con proposicion s p.q y 7 que No sea viilido. 4.2 Utilice reglas de inferencia y equivalencias Igicas para demostrar que el siguiente argu valido: psa aor or 7SOLUCIONES TEMA 1 © el eonectivo 1.1 _ Utilice las equivalencias légicas para escribir el conectivo Nand usando exclusivamer NOR. Solueién. Recordemos que el conective NOR, cenotado por |, se puede definir mediante la siguiente equivales Logica: (p 4 g) + 7(p V 4) y el conectivo NAND, denotado por , se define mediante: (p t q) + -(p Aq). Ades, sabemos la siguiente equivalencia: # (a La) © “a (Indompotencia) En la siguiente tabla se definen los pasos para escribir el conectivo NAND usando exclusivamente el conectivo NOR: Equivalencia Razén 9) pv a) Ley de De Morgan (ota) (pV p)V ava) Idempotencia (ta) # (pLp)y (ata) Definicién NOR (eta) lpr) V Gta) Doble negacién (eta) ele ly) Lata) Delinicisn NOR @1d) [PLL GL a4 (LP) 4 (49)] | Definicién NOR FE resultado es el siguiente: lwdr) Lata li@te)s@lal1.2 Construya la tabla de verdad de ((p Aq) Vr) >( +r) Solucién pla[r|s [pra] @AdVr [ar |G) | IwAd VA Ser) ofolofoy o 0 1 0 T ololol1} o 0 0 1 0 ololijol o 1 0 0 o}o 1 1 1 0 0 O;1)o0}0 0 0 1 0 1 O;1}o}L 0 0 1 0 O;1}1}o0 0 1 1 0 0 olijala) o 1 1 0 0 1/o}olo} 0 0 1 0 1 1)oO/;o}1 0 0 o 1 0 1)o}1 0 1 1 0 0 1j}o;1)t 0 1 1 0 0 1/1/00 1 1 1 0 0 afifola] 4 1 0 1 1 rjifajol 4 1 1 0 0 tiafilal a 1 1 0 0 TEMA 2 2.1 Justificando cada paso, demuestre por el método de demostracién directa: pares entonees ra +n es par. ji m y n son enteros Solueisin Sean m,n enteros pares. Existen enteros 2,1 tales que: Si m+n = 2x4 2y entonces m+n =2%Xr+y) Por definicién de entero par, m+n es par. Ya que «+ y es entero por Ia cerradura de Ia suma, 2.2 Demestre la proposicién de 2.1 por reduceién al absurdo. Soluecién Supongamos m +n es impar se puede escribir m+n = 2k-+1, donde k € Z. Sabemos que n es par entonces n 2g, donde q € Z. restamos un niimero par de un impar obtenemos un impar, a continuacién se muestra: m+n—n=2k+1—29m=%Uk—q) +1 donde k —q ¢5 un entero por la cerradura de la resta. Esto contradice el hecho que m es par, asi que Ia proposicién 2.1 debe ser cierta. 2.3. Utilice el método de demostracién por contradiecién por contradiecién para demostrar: v3 os irracional. Solucién. Suponemos que V3 es racional. Bxisten a,b € Z,b #0 tales que v3= feme. d(a,b) =1 Si elevainos al cuadrado a? es divisible por 3 entonces « es divisible por 3. ia = Sk keZ De BR » Por sta #2 = zene dvs yor yr ae tani dvi or n divisibles por 3. CONTRADICCION mae.d(a,b) =1y a,b Por lo tanto V3 es irracional. TEMA 3 Negar las siguientes proposiciones: 3.1 Wye Rin € RyAr+y=0. Solueiéin Sy €R, Gr € Rd +y=0) JyeRWreR Arty £0) 3.2 _X no es primo si y sélo si X es par. Solucién X no es primo o ezTEMA 4 4.1 Dé un ejemplo de un argumento con proposiciones p.g yr que No sea vilido, Solueiéin Tlay que aclarar que este inciso Lien VP Para verificar que no es valido:Tomemos p falso, q verdadero, r verdadero. Entonces las premisas “p,q son verdad pero la tesis —r V p es falsa, asf que el argumento no es vali ias I6gicas para demostrar que el siguiente argumento es 4.2 Utilice reglas de inforencia y equivaler valido: psa aor or Solueisin Al igual que en el inciso anterior no existe una tinica solueién. Paso ) p=a 2) qar 5 3) pr Silogismo hipotético (1) y (2) 4) sr > —p Contrapositiva (3) 5) =r Hipotesis ponens (6) y (i)