MATEMTICA LGICA

UNIVERSIDAD LAICA ELOY ALFARO DE MANAB

CIENCIAS ADMINISTRATIVA

CURSO DE NIVELACION DE CARRERA

NOMBRE: JOHANNA MARIUXI ZAMBRANO DELGADO

DOCENTE: ING. KATHI ZAMBRANO PONCE

PORTAFOLIO MATEMTICA LGICA

PARARELO: M52

PRIMER SEMESTRE

pg. 1

MATEMTICA LGICA

MATEMTICA LGICA EJERCICIOS: Construir la tabla de verdad: A: Juana gana el concurso B: Juana dona $ 10.000

a V F V F

b V F F V

a F V F V

b F V V F

aAb V F F F

avb V F V V

(a ^ b) F V V V

(b^ A) V F F F

b: (m ^ n) -> m v n m V F V F n V F F V n F V V F (m ^ n) F F V F mvn V F V V b V V V V

pg. 2

MATEMTICA LGICA

c): (p v q) -> ( p -> q) p V F V F q V F F V pv V F V V p F V F V p -> V F V V c V V V V

d): a v (a ^b) a V F V F b V F F V a^b V F F F a v (a ^ b) V F V F

pg. 3

MATEMTICA LGICA

EJERCICIOS.Indique cul de los siguientes enunciados no es una proposicin: a. b. c. d. e. f. g. h. i. j. k. l. m. n. o. p. Hubo escases de lluvias. Mi correo electrnico es turista @espol.edu.ec. 5(3+4)=36. 3 es nmero par. no Turismo. 7415 es un nmero par. Qu hora es? no Los nmeros divisibles para 8 son divisibles para 2. Pare, por favor! no El atardecer en la playa es romntico. La edad de Gloria es 17 aos. Guayaquil es capital econmica de Ecuador. Galpagos es considerado Patrimonio Cultural de la Humanidad. Mi familia y yo viajaremos a la Sierra en fin de ao. Mi palabra se siente levantada por un caballo lrico que salta. no El mejor gobierno es el que gobierna menos. no

Indique cul de los siguientes enunciados es una preposicin: a. b. c. d. e. f. g. h. i. j. k. l. m. n. Las rosas me cautivan. El amanecer es bello. 4 es divisible para 2. 45+18 La qumica es complicada. Qu ests haciendo? 3-x=7. Mrchate 3+X>7. Neil Armstrong camino sobre la luna. Qu ests haciendo? 3-x=7. Mrchate! 3+x>7 p p p p p

p p

pg. 4

MATEMTICA LGICA

Dadas las siguientes proposiciones: a. b. c. d. e. Elizabeth cumple con sus obligaciones. Elizabeth aprueba el examen. Elizabeth se va de vacaciones. Elizabeth trabaja. Elizabeth come.

Traduzca literalmente las siguientes proposiciones: I) II) III) IV) a -> [b -> (c v d]. [b ^ (d <-> a)] v [(c v d) -> (d ^ e) c -> [(a <-> d) ^(b <-> e)] (a ^ b ) <-> [c v (d -> e)]

Elizabeth cumple con sus obligaciones, entonces, no aprueba el examen entonces no se va de vacaciones o trabaja.
Elizabeth aprueba el examen, y no trabaja, cuando y solo cuando, no cumple con sus obligaciones, o se va de vacaciones, o trabaja, entonces, trabaja y come Elizabeth se va de vacaciones, entonces, cumple con sus obligaciones, cuando y solo cuando, no come. Elizabeth cumple con sus obligaciones y aprueba el examen, cuando y solo cuando, se va de vacaciones o trabaja, entonces, no come.

pg. 5

MATEMTICA LGICA

37. Si la proposicin [(a^) -> d] v (d v e) es falsa, entonces es falsa [(a^b) ->d] v (d v e)

a V V V V F F F F V V V V F F F F

b V V V F F F V V V F F F V V V F

d V V F F V V F F V V F F V V F F

e V F V F V F V F V F V F V F V F

b F F F V V V F F F V V V F F F v

(a^b) F F F V F F F F F V V V F F F F

dve V V V F V V V F V V V F V V V F

(d v e) F F F V F F F V F F F V F F F v

[(a^b)->d V V V F V V V V V V F F V V V V

[(a^b)->d]v(dve) V V V V V V V V V V F V V V V V

pg. 6

MATEMTICA LGICA

a).- (b v a) a V V V V F F F F b V V F F V V F F (a v b) V

b).- (e vd) e V V V V V V V V F V F F F F F V F F V V V F V V V V V V V F V F F V V F F V V V F F F d V e F d F (e vd) F

pg. 7

MATEMTICA LGICA

c).- (d v a) a V V F F d V F V F (d v a) V V V F a V V F F

d).- (a->d) d V F V F (a->d) F V F F

e).- (e->a) a V V F F e V F V F (a->e) F V F F

38. Si p -> q representa una proposicin falsa, determine el valor de verdad de las siguientes proposiciones. a).- p v (q ^ p) p V V F F q V F V F p F F V V q F V F V q ^p F F F V p v (q ^ p) V V V F

pg. 8

MATEMTICA LGICA

b).- q ^ p p V V F F c).- (p ^ q) v (p -> q) p V V F F q V F V F p^q V F F F p F F V V p -> q V V V F (q ^ p) v (p -> q) V V V F q V F V F p F F V V q F V F V q ^p F F F V

d).- (p ^ q) -> (p v q) p V V F F q V F V F p^q V F F F pvq V V V F (p^q) F V V V (p v q) F F F V (p ^ q ) -> (p v q) V F F V

e).- (p ^ q) v (q v p) p V V F F q V F V F p F F V V q F V F V p^q F V F F q^p F F V F ( q^p) V V F V (p ^ q ) v(q v p) V V F V

pg. 9

MATEMTICA LGICA

39. Identifique las proposiciones simples, los operadores lgicos presentes y traduzca el lenguaje formal de las proposiciones dadas a) Si el nmero es divisible para dos, no es primo. b) Si estudias, aprenders, si no estudias te arrepentirs. c) Si x satisface la ecuacin , el tringulo es rectngulo y la longitud de la hipotenusa es 4; por el contrario, si x no satisface la educacin dada, no hay manera de calcular el rea de la superficie del tringulo. d) Si me quieres, te quiero; si no me quieres, te quiero igual a).- a -> b b).- a -> b -> a b c).- a -> b c -> d e d).- a-> b -> b a 40. Si p^q es una proposicin verdadera, determine el valor de verdad de las siguientes proposiciones: a).- p-> (q ^ r) b).- q v (p<->r)

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

q F F V V F F V V

(q^r) F F V F F F V F

p-> (q^r) F F V F V V V V

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

p F F F F V V V V

(p<->r) F V F V V F V F

qv(p<->r) V V F V V V V F

pg. 10

MATEMTICA LGICA

c).- q-> (p^q)

d).- p v q

p V V F F

q V F V F

(p^q) V F F F

q-> (p^q) V V F V

p V V F F

q V F V F

p F F V V

p v q V F F V

e).- p v (q v r) p V V V V F F F F q V V F F V V F F r V F V F V F V F qvr V V V V V V V F p v (q v r) V V V V V V V F

pg. 11

MATEMTICA LGICA

41. Si (p^q) es una proposicin falsa, determine el valor de verdad de las siguientes proposiciones:

a).- p v (q ^ p) p q p V V F F V F V F F F V V

q F V F V

(q ^ p) F F F V

(q ^ p) V V V F

p v (q ^ p) V V V F

b).- q ^ p p q V V F F V F V F

q F V F V

p F F V V

q ^ p F F F V

c).- (p^q) v (p -> q) p q V V F F V F V F

p^q V F F F

p F F V V

p -> q V V V F

(p^q) v (p -> q) V V V F

d).- (p^q) -> (p v q) p V V F F q V F V F p^q V F F F pvq V V V F (p^q) F V V V (p v q) F F F V (p^q) -> (p v q) V F F V

pg. 12

MATEMTICA LGICA

e).- (p^q) v (q^p) p q p q V V F F V F V F F F V V F V F V

p^q F V F F

q^p F F V F

(q^p) V V F V

(p^q) v (q^p) V V F V

1.4 FORMAS PROPOSICIONALES Para los dos ejercicios siguientes, considere que f (p, q, r) representa una forma proposicional de tres variables 42. Si la forma proposicional f (p, q, r) es tautolgica, entonces f (0, 0, 0) es una proposicin falsa. a) Verdadero b) falso

43. Si la forma proposicional f (p, q, r) es una contradiccin, entonces f (1, 1, 1) es una proposicin verdadera a) Verdadero b) Falso Para el siguiente ejercicios considere que f (p, q, r, s) representa una forma proposicional de cuatro variables. 44. Si la forma proposicional f (p, q, r, s) es una contradiccin, entonces [f (1, 0, 1, 1) -> f (0, 1, 0, 0)] = 0. a) Verdadero b) Falso

45. Si p, q y r son variables proposicionales, entonces p -> (q v r) es una contradiccin a) Verdadero b) Falso

46. Si p, q y r son variables proposicionales, entonces [(p v q) ^ (r -> q)] -> (p -> r) es una forma proposicional tautolgica. a) Verdadero b) Falso

pg. 13

MATEMTICA LGICA

47. Identifique cul de las siguientes formas proposicionales No es tautologa a).- (q->p) -> (p v q) p V V F F q V F V F p F F V V q F V F V (p v q ) V F V V (q->p) V F F F (q->p) -> (p v q) V V V V

b).- (p v q) -> (p->q) p V V F F q V F V F p F F V V (p v q) V V V F (p->q) V V V F (p v q) -> (p->q) V V V V

pg. 14

MATEMTICA LGICA

c).- [(p->q) ^p] ->q p V V F f q V F V F (p->q) V F V V [(p->q)^p] V F V F [(p->q) ^p]->q V V V V

d).- (p->q) -> (q->p) p V V F F q V F V F (p->q) V F V V (q->p) V V F V (p->q) -> (q->p) V V F V

e).- (p v q) -> (p^q) p V V F F q V F V F pvq V V V F p^ q V F F F (p v q) -> (p^q) V F F F

pg. 15

MATEMTICA LGICA

48. Identifique cul de las siguientes formas proposicionales es tautolgica a).- (p ^q) p q V V F F V F V F

p F F V V

q F V F V

p^q F F F V

(p^q) V V V F

b).- (p ^ q) P V V F F c).- p v (p^q) P V V F F

q V F V F

p F F V V

(p ^ q) V V V F

(p ^ q) F F F V

q V F V F

p^q V F F F

P v (p^q) V V V F

d).- [p^ (p -> q)] -> q p q (p -> q) V V F F V F V F V F V V

[p^ (p -> q)] V F F F

[p^ (p -> q)] -> q V V V V

pg. 16

MATEMTICA LGICA

e).- (p v q) -> (p^q) p q V V V F F V F F

pvq V V V F

p^q V F F F

(p v q) -> (p^q) V F F V

49. Una expresin M, para que la forma proposicional [p^ (p -> q)] -> M sea tautolgica, es: a).- p^q p V V F F q V F V F p^q V F F F

b).- p^q p q V V V F F V F F c). p -> q p q V V V F F V F F

p F F V V q F V F V

p^q F F V F p -> q V V F V

pg. 17

MATEMTICA LGICA

d). p p V V F F

e).- q p F F V V q V F V F q F V V F

50. Identifique cul de las siguientes formas proposicionales NO es una tautologa. a).- (p v q) -> (p ->q) p V V F F q V F V F p F F V V (p v q) V V V F (p ->q) V V V F (p v q) -> (p ->q) V V V V

b).- [(p->r) ^ (q->r)] -> [(p v q) -> r] p V V V V F F F F q V V F F V V F F r V F V F V F V F (p->r) V F V F V V V V (q->r) V F V V V F V V (p v q) V V V V V V F F [(p->r) ^ (q->r)] V F V F V F V V [(p v q)-> r] V F V F V F F F [(p->r) ^ (q->r)]-> [(p v q)-> r] V V V V V V F F

pg. 18

MATEMTICA LGICA

c).- [(p v q) ^p] ->q p V V F F q V F V F p F F V V (p v q) V V V F [(p v q)^p] V F F F [(p v q)^p] ->q V V V V

d).- [(q->p)] -> q p V V F F q V F V F p F F V V q F V F V (q->p) V F V V (q->p)-> q F V V V

e).- [(p->q) ^ (q->r)] -> (p->r) p V V V V F F F F q V V F F V V F F r V F V F V F V F (p->q) V V F F V V V v (q->r) V F V V V F V V (p->r) V F V F V V V V [(p->q) ^ (q->r)] V F F F V F V V [(p->q) ^ (q->r)] -> (p->r) V V V V V V V V

pg. 19

MATEMTICA LGICA

51. Si p y q son dos formas proposicionales tautolgicas, entonces es verdad que: a).- p -> q no es una forma proposicional tautolgica Verdadero b).- p v q es una contradiccin Falso c).- q -> p es una contingencia Verdadero d).-p^q es una forma proposicional tautolgica Falso e).- q -> p no es una contradiccin Falso LEYES LGICAS

Operadores lgicos: Implicacin lgica: A => B Equivalencia lgica: A <=> B EJERCICIOS: Distributivas. p=V=1 q=F=0 r=V=1 1.- p v (q ^ r) = (p r q) ^ (p v r) P ^ (q v r) = (p^q) v (p ^ r) 1.1. - p v (q ^ r) V (F ^V) Vv F V 1.2. - (p v q) ^ (p v r) (V v F) ^ (V v V) V ^ V V equivale A -> B Implicacin A<-> B Incondicional A= B

pg. 20

MATEMTICA LGICA

p=F=0 q=F=0 r=F=0 1.1.1. - p v (q ^r) F v (F^F) F v F F 1.2. - (p v q) ^ (p v r) (F v F) ^ (F v F) F ^ F F

1.2. - p ^ (q v r) = (p ^q) v (p ^ r) V ^ ( F v r )=(V v F) v (V ^V) V ^ V V = F v V V

pg. 21