Mat021 Guia Logica 1
Mat021 Guia Logica 1
Mat021 Guia Logica 1
Departamento de Matemtica a
1. Exprese las siguientes proposiciones utilizando los s mbolos matemticos y lgicos usuales: a o a) Si el doble de cuatro es cinco entonces el cuadrado de cuatro es uno. b) El cuadrado de tres es nueve y es menor que dos. c) Cinco es mayor que cero o menor que cero. 2. Construya la tabla de la verdad de las siguientes proposiciones: a) (p q) (p q) c) p [(q r) (q r)] b) [p (q r)] [(q p) (r q)] d) [(p q) (q p)] (p q) a) tablas de
3. Demuestre las siguientes tautolog o teoremas lgicos usando los siguientes dos mtodos: as o e verdad b) equivalencias lgicas: o a) {[p (q p)] [(p q) q]} (p q) b) {[(p q) (q r)] (p r)} F c) {[(p q) r] [(r s) s]} (p q) d) p q p e) [(p q) (q r)] (p r) f ) [p (p q)] q g) (p p) p h) (p q q) (p q) i ) (p q) [(p q) (p q)] 4. Demuestre sin usar tablas de verdad. a) (p q) (p q) b) [(p q) (p q)] (p q) c) [((p q) r) (r (s t)) (s u) (u t)] p d ) (p q r) (p q) e) (p q) (p r q r) f ) [(p r) q] (p q) g) (p q) (p q) h) (p (p q)) p
5. Encuentre una expresin lgica equivalente que slo utilice los conectivos negacin, , de las siguientes o o o o expresiones: a) [(p q) (p q)] (p q) c) [(p q) (q s)] (p s) 6. Simplicar las proposiciones: a) p (q p) d) (p q) p g) (p q) p j) (p q) p b) (p q) q e) p (q p) h) (p q) q k) (p q) q c) p [q (p q)] f ) [p (q p)] q i) [(p q) (p q)] l) p (q p) 1 b) (p q r) d) (p q) (p q)
7. Si p q es V y q r es F, determinar el valor de verdad de (r q) (r q). 8. Determinar el valor de verdad de las proposiciones p, q y r, si se sabe que la proposicin compuesta: o {[(p q) (p r)] [p (q r)]} 9. Si p q r es F, determinar el valor de verdad de: (p q) (r p). 10. Si p es V, q es V y r es F, hallar el valor de verdad de [(p q) (p q)] (r q) 11. Si la proposicin p q es falsa, Cul es el valor de verdad de la proposicin p (q r) (p r) q? o a o 12. Demuestre que el siguiente razonamiento es incorrecto: * Si el Sr. Ram rez es capaz, entonces tendr un puesto importante en su empresa. a * El Sr. Ram rez es el sub-gerente de su empresa. ** Por lo tanto, el Sr. Ram rez es capaz. 13. En los siguientes problemas, determine la validez de los razonamientos: a) Si Juan bebe cerveza, tiene al menos 18 aos. n Juan no bebe cerveza. Por lo tanto, Juan no tiene an 18 aos. u n b) Si las nias son rubias, entonces son populares entre los nios. n n Las nias feas no son populares entre los nios. n n Las nias intelectuales son feas. n Por lo tanto, las nias rubias no son intelectuales. n c) Si estudio entonces no reprobar este curso. e Si no juego a los naipes muy seguido, entonces estudiar. e Reprob este curso. e Por lo tanto, jugu muy seguido a los naipes. e 14. Convierta los siguientes argumentos en notacin lgica y luego determine su valor de verdad, entregando en o o cada caso una demostracin formal: o a) Si estudio leyes entonces ganar mucho dinero. Si estudio arqueolog viajar mucho. Si gano mucho e a e dinero o viajo mucho no me decepciono. Por lo tanto, si estoy decepcionado no estudi leyes ni arqueoe log a. b) Si mis clculos son correctos y pago la cuenta de electricidad, me quedar sin dinero. Si no pago la a e cuenta de electricidad, me cortarn la corriente. Por lo tanto, si no me he quedado sin dinero y no me a han cortado la corriente, entonces mis clculos son incorrectos. a 15. Si Stoke City evita las lesiones ellos ganarn el campeonato. Ellos evitan las lesiones o el rbitro est comprado. a a a Si el rbitro est comprado entonces la hinchada no estar feliz. Pero la hinchada est feliz. Suponga que todas a a a a estas proposiciones son verdaderas, Ser Stoke City el campen?. a o 16. Pruebe que el siguiente razonamiento es vlido. a * Todas las cartas fechadas en esta habitacin estn escritas sobre papel azul. o a * Ninguna est escrita con tinta negra, excepto aquellas escritas en tercera persona. a * No he archivado ninguna de las que puedo leer. * Ninguna de las que estn escritas en una hoja estn sin fecha. a a 2 es V.
* Todas las que no estn eliminadas estn en tinta negra. a a * Todas las escritas por Prez empiezan con Estimado seor. e n * Todas las que estn escritas en papel azul estn archivadas. a a * Ninguna de las que estn escritas en ms de una hoja estn eliminadas. a a a * Ninguna de las que empiezan con Estimado seor estn escritas en tercera persona. n a ** Por lo tanto: No puedo leer ninguna de las cartas de Prez. e 17. Se dene p q por la siguiente tabla: p V V F F Demuestre que: a) p p p b) p q (p q) (p q) c) p q (p q) (q q) 18. Dena las variables y funciones proposicionales necesarias para transcribir las siguientes armaciones al lenguaje matemtico: a a) Todos los chilenos saben leer, pero no todos entienden lo que leen. b) Todo nmero entero tiene un mltiplo que es tambin mltiplo de 3. u u e u c) Hay un unico nmero natural que divide a todos los dems. u a d ) Un nmero natural es primo si y slo si no existe ningn nmero distinto de l y de la unidad, que lo u o u u e divida. e) Hay nmeros reales que son positivos y negativos a la vez. u f ) Todo nmero real es igual a si mismo. u g) Si todo nmero real es positivo entonces dos es impar. u 19. Expresar en lenguaje natural las siguientes proposiciones: a) (x N) (x 3) b) (x Z) (y N) (x y) c) (x R) (y R) (x + y < 2 x + y < 2x) d ) (2 > 3 (x R) (x < 0)) 20. Si A = {1, 2, 3, 4}. Determine el valor de verdad de las proposiciones: a) (x A) (x = 0 x > 3) b) (x A) (x > 1 x = 3) c) (y A) (x A) (x + y = 3) d ) (x A) (y A) (x + y 5) 21. Negar las proposiciones del ejercicio anterior. q V F V F pq F V V V