Universidad Tcnica Federico Santa Mar e a Departamento de Matemtica a

Coordinacin de Matemtica I (MAT021) o a

1er Semestre 2009 Hoja de Trabajo Lgica o

1. 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)} C 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)] 2. 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

a) tablas de

3. Encuentre una expresin lgica equivalente que slo utilice los conectivos , , de las siguientes expresiones: o o o a) [(p q) (p q)] (p q) b) (p q) (p q) c) (p q r) d ) [(p q) (q s)] (p s) 4. Simplicar las proposiciones: a) p (q p) b) (p q) q c) (p q) p d ) p (q p) e) [p (q p)] q f ) (p q) p g) (p q) q h) p [q (p q)] i ) (p q) p 1

Universidad Tcnica Federico Santa Mar e a Departamento de Matemtica a

j ) (p q) q k ) [(p q) (p q)] l ) p (q p) 5. a) Si p q es V y q r es F, determinar el valor de verdad de (r q) (r q). b) 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)]} es V.

c) Si p q r es F, determinar el valor de verdad de: (p q) (r p). d ) Si p es V, q es V y r es F, hallar el valor de verdad de [(p q) (p q)] (r q) e) 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 6. Demuestre que el siguiente razonamiento es incorrecto: * Si el Sr. Ramirez es capaz, entonces tendr un puesto importante en su empresa. a * El Sr. Ramirez es el sub-gerente de su empresa. ** Por lo tanto, el Sr. Ramirez es capaz. 7. 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 8. 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 arquee olog a. a e b) Si mis clculos son correctos y pago la cuenta de electricidad, me quedar sin dinero. Si no pago la 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 9. 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

Universidad Tcnica Federico Santa Mar e a Departamento de Matemtica a

10. 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 * 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 estan escritas en papel azul estn archivadas. 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 11. 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) 12. Construya la tabla de la verdad de las siguientes proposiciones: a) (p q) (p q) b) p [(q r) (q r)] c) [p (q r)] [(q p) (r q)] d ) [(p q) (q p)] (p q) 13. 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 u o u u e d ) Un nmero natural es primo si y slo si no existe ningn nmero distinto de l y de la unidad, que lo divida. q V F V F pq F V V V