1.

a) b) c) d)

EJERCICIOS PROPUESTOS Demuestre las tautolog o teoremas lgicos: as o {[p = (q = p)] [(p = q) = (p q)]} p) {[( p q) ( q r)] (p r)} F [(p q) (q r)] = (p r) (p q = 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 3. D una expresin lgica que slo contenga a los conectivos , , de las expree o o o siones: a) [(p q) = (p q)] (p q) b) ( p q) = (p q) c) ((p q) r) d) [(p = q) (q = s)] = (p = s) 4. Niegue y simplique: a) p (q r) ( p q r) b) (p q) = r c) p = ( q r)
om

6.

a) Si p q es Verdadera y q r es Falsa. Determinar el valor de verdad de (r q) = (r q). b) Determinar el valor de verdad de las prosposiciones p, q y r, si se sabe que la proposicin compuesta: {[(p q) (p r)] [p = (q r)]} es o Verdadera

7. Determine la mejor conclusin posible usando todas las hiptesis: o o a) Una persona que no es patriota nunca vota en una eleccin presidencial. o b) Las serpientes no tienen emociones. c) Alguien sin emociones no puede ser patriota. 8. Determine el valor de verdad de las siguientes proposiciones: a) Suponga que p q = r es Falso: ( p q) (r p) b) Si p tiene el valor lgico V y q tiene valor lgico F, determine el valor lgico o o o de: (p (p q) q) = [(q r) = (q = s)] c) Determine el valor lgico de: (q (p q)) q = (q r) si: o i) q tiene el valor lgico F, o ii) p tiene el valor lgico F, o iii) r tiene el valor lgico F, o iv) r tiene el valor lgico V, o

ww w.

5. Convierta el siguiente argumento en notacin lgica y luego determine su valor o o de verdad: Si estudio leyes entonces ganar mucho dinero. Si estudio arqueolog e a viajar mucho. Si gano mucho dinero o viajo mucho no me decepciono. Por lo e tanto, si estoy decepcionado no estudi leyes ni arqueolog e a.

M at

em

at

ic a1

.c

as: 9. Pruebe que son tautolog a) (p = (q r)) = (p = q) b) (p = q) = [(p r) = (q r)] c) [(p r) = q] = (p = q) d) (p q) = ( p q) 10. Simplicar las proposiciones: a) p (q p) b) [p (q = p)] = q c) p = [q = (p = q)] d) [( p = q) (p q)] 11. Vericar las siguientes equivalencias: a) [p = (q = r)] [(p q) = r] b) [p = (q r)] [(p = q) (p = r)] c) [(p q) = r] [(p = r) (q = r)] d) {[(p = q) (p = s)] [(r = q) (r = s)]} [(p r) = (q s)] 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)
.c om

13. Si p es V, q es V y r es F. Hallar el valor de verdad de:

15. 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) 16. Si Stoke City evita las lesiones ellos ganaran el campeonato. Ellos evitan las lesiones o el rbitro est comprado. Si el rbitro est comprado entonces la hinchada no a a a a estar feliz. Pero la hinchada est feliz. a a Dada la verdad de esas proposiciones, Stoke City ser el campen? a o 17. Convierta el siguiente argumento en notacin lgica y entregue una demostracin o o o formal. Si mis clculos son correctos y pago la cuenta de electricidad, me quedar sin a e dinero. Si no pago la cuenta de electricidad, me cortarn la corriente. Por lo tanto, a si no me he quedado sin dinero y no me han cortado la corriente, entonces mis clculos son incorrectos. a q pq V F F V V V F V

ww

w.

at

14.

a) Si q y r son proposiciones no equivalentes. Determine el valor de verdad de la proposicin: [ (q r) (q r)] = [(p s) ( s q)] o b) Si la proposicin p = q es falsa. Cul es el valor de verdad de la proposicin o a o p (q r) (p r) q ?

em at

ic

[(p = q) = ( p q)] (r = q)

a1

18. Considere el siguiente razonamiento: * Si el Sr. Ram rez es honesto y capaz, entonces tendr un puesto importante a en su empresa. * El Sr. Ram rez es el sub-gerente de su empresa. ** Por lo tanto, el Sr. Ram es honesto y capaz. Verique que tal razonamiento rez es incorrecto. 19. 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. Reprob este curso. e e Por lo tanto, jugu muy seguido a los naipes. e
ww w.

at

em

at

ic a1

.c

om