Matematica Discret: Guia de ejercicios EJERCICIOS DE LA UNIDAD 1: LOGICA EJERCICIOS PROPUESTOS. 1) LOGICA SIMBOLICA Migj-1) Indique cuales de los siguientes enunciados son proposiciones légicas: a) El afio 2004 tuvo 366 dias. b) Los divisores positivos de 135 €) No pisar el césped ) Los divisores positivos de 135 son 8 en total. e)2x4+5=8 f) La frase del item“c” es proposicién légica. g) Existe un x entero que cumple 2x +5 = 8 h) La ecuacién 2x +5 = tiene solucién en el conjunto de Reales.Matematica Discreta Guia de ejercicios M1 gj.2) De las siguientes proposiciones lagicas, analice cuales son condicionales, escribalas de forma” Si...... entonces......." @ indique antecedente y consecuente: a) El cuadrado de todo numero par es también par. “7” b) Algunos nuimeros pares son también divisibles por 3. c) Para cursar Andlisis II es necesario tener aprobada Andlisis I. d) El resto de dividir 23456 por cuatro es cero. e) Es suficiente tener 3 ejercicios correctos para aprobar el examen. Mj.3) analice lo pedido: a) Sea t:(paq>~r) a~p Sabiendo que v(t) = V ése puede saber sires Verdadera 0 Falsa? Justifique. b) Sea t:(~pvq=~r)v p Sabiendo que v(t) = F ése puede saber sir es verdadera o Falsa? Justifique. p) b)(p>avr)a~q>~pyr c)~(paqg>r) a (rv~p) d)(p>q)e(q>p) e)(pyq)a~(paqg)a(peq) M1gj-5) Utilizando las leyes ldgicas, simplifique: a) (pvq)=>=[pv(peq)] b) ~[pv(q>r)lv~q ©) (p>rvq)a(~qvr) MAEj.6) Pruebe mediante el uso de leyes légicas que las siguientes proposiciones son TAUTOLOGIAS (Indique la ley usada en cada paso) a)(p>q) at @ ~(t>p)v(qat) b) -(t>b)v(@at)e@ ta(baa) c)[~(p>a)v(pag)eq]>(~qvp)Matematica Discreta Guia de ejercicios IL) FUNCIONES PROPOSICIONALES Mej.7) Escriba en lenguaje sirnbélico usando cuantificadores y funciones proposicionales, las ciguiantes proposiciones, indicando asimismo el conjunto Universal corraspondiante: 8) Todos los alunos del curso K1089 trabajan por la mafiana. b) Algunos datos de los clientes estan incompletos o desactualizados c) Los libros de la biblioteca de Medrano tienen un cédigo identificador y figuran en los archivos. d) Existen grafos bipartitos que no son eulerianos, ¢) Cualquier numero real elevado al cuadrado es mayor o igual a ceroM1Ej.8) Indique el valor de verdad, demostrando o justificando correctamente: a) Vxe2: x +x? es par b) ax « IR: x++ 16=0 c)VxeU: 3yeU:(xy > >") yerdaders e) 3xe[R: Vy EIR: (x2 >y2= x>y) ofalso aaa Mej.9) Indique el valor de verdad, demostrando o justificando correctamente: a) 3x: p(x) a 3x: q(x) es equivalentea = -3 x: [ p(x) a a(x) ] b) 3x: p(x) v 4x: q(x) es equivalentea 3 x: [ p(x) v q(x) ] ©) ¥ x: p(x) v Vx: q(x) es equivalente a vx: [ p(x) v q(x) ] d) V x: p(x) a Wx: G(x) es equivalente a Vx: [ p(x) a q(x) ]Matematica Discreta III) RAZONAMIENTOS M1 €j.10) Escriba en lenguaje simbélico los siguientes razonamientos, indicando el diccionario utilizado, y luego analice la validez de los mismos, demostrando por reglas de inferencia en caso de ser validos y justificando en caso de ser invalidos: a) Si me pagan el aguinaldo hoy, pagaré la deuda. Si me pagan el sueldo hay, compraré los pasajes. Me pagan el sueldo 0 el aguinaldo hay. Por lo tanto pagaré la deuda o compraré los pasajes. b) Sino llueve y no hay viento entonces vuelo en el avion. ‘Siempre que llueve me siento mal. Ayer no volé en el avién y me senti bien. Por lo tanto, ayer estuve ventoso. €) Si llueve, Pablo va al cine. Siempre que Pablo va al cine, compra pochoclo 0 helado. Pablo compra pochoclo. Por lo tanto, llueve.Matematica Discreta Guia de ejercicios d) El planeta Kamnino no figura en los Archivos. Si un planeta no figura en los Archives, es porque no existe 0 bien porque alguien lo borré. El planeta Kamino existe. Por lo tanto, alguien lo debe haber borrado del Archivo. M1 j-11) Analice si los siguientes razonamientos son validos 0 invalidos, demostrando o justificando seguin corresponda por el método del condicional asociado: a)~p; qatvr; top b) (paq)=rj ~rwt;~t 2qar Pp c) azb;~bv~cjd= aven~d d)p> qvripy (~tvs);~qa~sis> M1 £j.12) Dado el siguiente razonamiento complete con una conclusién valida y demuestre por reglas de : Si éliba solo y desarmado, su jefe no lo mataria. Para suplicarle perdén era necesario ir desarmado. Le suplicé pero igualmente su jefe lo maté.” éPor qué? inferenciMatematica Discreta Guia de ejercicios Mej.13) escriba en forma simbélica, previa definicién de un diccionario y de un conjunto universal, y analice la validez de los siguientes razonamientos categéricos, demostrando por reglas de inferencia o justificando correctamente: a) Todos los grafos completos son conexos. Existen grafos simples que no son conexos. Por lo tanto, existen grafos simples que no son completos. b) Algunos invitados son ingenieros. Algunos ingenieros dan clases en la facultad. Por lo tanto, algunos invitados dan clases en la facultad. c) Todos los bebés de Terapia estaban en incubadora o con respirador. Los que estaban en incubadora eran prematuros y de bajo peso. Lucio, uno de los bebés de Terapia, tenia buen peso. Por lo tanto, al menos un bebé de Terapia estaba con 3 ae ® A) ) Todas las matrices que tienen dos filas iguales no son inversibles. Las matrices inversibles tienen determinante distinto de cero. El determinante de la matriz “A” es cero. Por lo tanto, la matriz “A” tiene dos filas iguales.M1 €j.14) Indique un conjunto Universal y una interpretacién de los esquernas proposicionales para comprobar a invalidez del siguiente razonamiento: wx: [d(x) ex]; 3x: L~ e(x)apOd] = Vx: Leb) vp] M1 j.15) Complete una conclusién valida para el siguiente razonamiento y demuestre: vx: [ p(x) v a(x) 1; wx: [ p(x) > r(x) 1; ~ r(a) por lo tanto 3 x: M €j-16) Analice la validez de los siguientes razonamientos categéricos, demostrando por reglas de inferencia a justificando correctamente: a) [pe v qe]; 3% f~ a) are] ae Cpe) Are] b) ¥ x: ~[p(x) vq(x)] © 3x: ~ atx)Matematica Discreta Guia de ejercicios Mij.17) Dadas las premisas: "Todas las frutas que estén en la heladera estén lavadas. Algunas frutas no estan lavadas y son deliciosas.” Indique cual de las siguientes conclusiones es valida y demuestre por reglas de inferencia: &: Algunas frutas estan ena heladera y son deliciosas ‘2: Todas las frutas que estan en la heladera son deliciosas 3: Algunas frutas no estan ena heladera y son deliciosas. M, &j.18) Utiizando conjuntos reescriba los siguientes razonamientos categéricos y analice su validez con diagramas de Venn: a) Vx: [ p(x) = a(x) 1; ~ ala) = ~pla) Bb) Wx : Lalx) vb) ] ; 3x: fx) Aw ax) = Ax: efx) abe)