MATEMATICA I (Algebra) Trabajo Prctico N 1 Fundamentos de Lgica Simblica y Teora de Conjuntos.

TRABAJO PRACTICO N 1 FUNDAMENTOS DE LOGICA SIMBOLICA Y TEORIA DE CONJUNTOS FUNDAMENTOS DE LOGICA SIMBOLICA 1) Para describir los diversos restaurantes de la ciudad, denotemos con p la comida es buena ; con q el servicio es bueno y con r es de tres estrellas. Escribir simblicamente las siguientes proposiciones : a) La comida es buena o el servicio es bueno, o ambas cosas b) La comida es buena o el servicio es bueno, pero no ambas cosas. c) La comida es buena y el servicio no. d) No sucede que tanto la comida sea buena como que el restaurante sea de tres estrellas e) Si tanto la comida como el servicio son buenos, entonces el restaurante es de tres estrellas f) No es cierto que ser de tres estrellas siempre signifique buena comida y buen servicio. 2) Denotemos con p el clima es agradable y con q vamos de da de campo. Traducir las siguientes proposiciones al lenguaje coloquial y, si es posible, simplificar : a) p q b) p q c) q p

3) Construir las tablas de verdad de los siguientes esquemas proposicionales : a) (p q) p d) (q p) (p q) b) (p q) p e) (p q) ( r) c) p (p q) f) (r r)

4) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente V ; F ; F y V. Obtener los valores de verdad de : i) [(p q) r] s ii) r (s p) iii) (p r) (r s)

5) Determinar en cada caso si la informacin que se da es suficiente para conocer el valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo. i) (p q) r ; r es V ii) (p q) ( p q) ; q es V

6) Determinar, si es posible, el valor de verdad de las siguientes proposiciones : a) (p q) q si pq es Falso

1 Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 - Fundamentos de Lgica Simblica y Teora de Conjuntos.

b) p (p q) c) [ (p q) q] q

si si

pq

es Verdad

p es Verdad y q es Verdad

7) Simplificar las siguientes proposiciones : a) ( p q) b) (p q) ( p q)

8) Determinar si las siguientes proposiciones son leyes lgicas : i) p q r ii) [ (p q) (q r) ] (p r) 9) Negar los siguientes esquemas proposicionales y obtener expresiones equivalentes i) (p q) r ii) p q iii) q r iv) p (q r) iii) p [ p q ]

TEORIA DE CONJUNTOS 10) Escribir simblicamente : a) R es un subconjunto de T b) x es un elemento de Y c) El conjunto vaco d) M no es un subconjunto de S e) z no pertenece a A f) R pertenece a A

12) Escribir por extensin los conjuntos : i) A = { x : x 2 x 2 = 0 } ii) B = {x es dgito del nmero 2324} 13) Escribir por comprensin los siguientes conjuntos : A = { 1, 2, 4, 8, 16,...}

iii) C = {x : x 2 = 9 x 3 = 5 } iv) D = {x : x es vocal}

B = { 1, 3, 5, 7, 9, .... }

D = {1, 4, 9, 16, 25, 36}

14) Escribir por extensin los siguientes conjuntos definidos por comprensin : A = { x / x N 3 x 10 }
2

B={ x / x N 5 / x}

Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 Fundamentos de Lgica Simblica y Teora de Conjuntos.

15) Sean

A = { 1, 2, . . . . ., 8, 9 } ; C = {1, 3, 5, 7, 9 }

B = { 2, 4, 6, 8 } ; D = { 3, 4, 5 } E = { 3, 5 }

Cules de estos conjuntos son iguales a X ?, si se da la siguiente informacin: i) X y B son disyuntos ii) X D pero X B iii) X A pero A C iv) X C pero X A

16) Indicar en cada caso si la proposicin es verdadera o falsa : i) {1, 4, 3} = {3, 4, 1} ii) {3, 1, 2} {1, 2, 3} iii) 1 {1,2} iv) {4} {{4}} v) {4} {{4}} vi) {{4}}

17) Determine si los conjuntos dados son vacos: i) X = {x : x 2 = 9 2 x = 4 } ii) Y = { x : x x } iii) Z = { x : x + 8 = 8 }

18) Cuales de los conjuntos siguientes son finitos ? i) Los meses del ao iv) El conjunto Q de los nmeros racionales ii) {1, 2, 3, . . . ., 99, 100} v) El conjunto R de los nmeros reales iii) El nmero de personas que viven en la tierra. 19) En los siguientes diagramas de Venn, sombree : i) W - V ii) Vc W iii) V Wc iv) Vc Wc

20) Dados tres conjuntos A, B y C cualesquiera y un conjunto D disjunto con los anteriores, dibujar su diagrama de Venn y rayar las siguientes zonas : a) A B b) A B c) (A - C) B d) (A - C) B e) (A B C) D
3 Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 - Fundamentos de Lgica Simblica y Teora de Conjuntos.

21) Sean U= {1, 2, . . . . , 8, 9} ; A ={1, 2, 3, 4} ; B={2, 4, 6, 8} y C = {3, 4, 5, 6} . Hallar: i) Ac ii) A C iii) (A C)c iv) A B v) (B - C)

22) Sealar si son verdaderas o falsas las siguientes afirmaciones : a) A B A ( A B ) b) B A ( A B ) A c) C - A = C A d) A = B A B = A

23) De 400 alumnos que estudian en una escuela de idiomas, 120 estudian nicamente francs; 200 estudian frabcs e ingls y 50 estudian otros idiomas diferentes. Cuntos estudian solo ingls ? 24) De 100 estudiantes, 32 estudian matemticas ; 20 estudian fsica ; 45 estudian biologa ; 15 estudian matemticas y biologa ; 7 estudian matemticas y fsica ; 10 estudian fsica y biologa y 30 no estudian ninguna de estas tres materias. a) Encuentre el nmero de estudiantes que estudian las tres materias. b) Encuentre el nmero de estudiantes que estudian exactamente una de las tres materias. 25) Se sabe que en la Universidad el 60% de los profesores juega tenis, el 50% juega ftbol ; el 70% corre ; el 20% juega tenis y ftbol ; el 30% juega tenis y corre y el 40% juega ftbol y corre. Si alguien afirma que el 20 % de los profesores corre y juega ftbol y tenis, lo creera ? porqu ? 26) Setenta y cinco nios fueron a un parque de diversiones donde subieron a la rueda de la fortuna, la montaa rusa y al trencito. Se sabe que 20 de ellos subieron a los tres juegos y que 55 subieron al menos a dos de los tres juegos. Cada juego cuesta $ 0,50 y el costo total fue de $ 70. Determine el nmero de nios que no subi a ninguno de los juegos.

EJERCICIOS COMPLEMENTARIOS FUNDAMENTOS DE LOGICA SIMBOLICA 1) Denotemos con p el material es interesante ; con q los ejercicios son difciles y con r el curso es agradable. Escribir las siguientes afirmaciones en forma simblica : a) el material es interesante y los ejercicios son difciles
4

Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 Fundamentos de Lgica Simblica y Teora de Conjuntos.

b) el material no es interesante, los ejercicios no son difciles y el curso no es agradable. c) Si el material no es interesante y los ejercicios no son difciles entonces el curso no es agradable. d) Que el material sea interesante significa que los ejercicios son difciles y viceversa e) O el material es interesante o los ejercicios no son difciles pero no ambas cosas. 2) Escribir las siguientes afirmaciones en forma simblica : a) El sol brilla y la humedad no es alta b) Si termino mi tarea antes de la cena y no llueve, entonces ir al partido de ftbol c) Si no me ves maana significa que habr ido a la playa d) Si el costo de las utilidades crece o se niega la requisicin de fondos los adicionales, entonces compraremos una nueva computadora si y solo si podemos mostrar que los recursos de cmputo son, en efecto, insuficientes. 3) a) Escribir una afirmacin compuesta que sea verdadera cuando exactamente dos de tres afirmaciones p ; q y r sean verdaderas. b) Escribir una afirmacin compuesta que sea verdadera cuando ninguna, o una, o dos de las tres afirmaciones p ; q y r sean verdaderas. 4) Determinar en cada caso si la informacin que se da es suficiente para conocer el valor de verdad de las siguientes proposiciones compuestas. En caso afirmativo, justificarlo. i) (p q) (p r) ; p es V y r es F ii) p (q r) ; (p r) es V

5) Simplificar los siguientes esquemas proposicionales : i) (p q) ii) (p q) q

6) Determinar si las siguientes proposiciones son leyes lgicas i) p (p q) ii) p (p q)

7) Los valores de verdad de las proposiciones p ; q ; r y s son respectivamente : V ; F ; F y V. Obtener los valores de verdad de : a) [ (p q) r] s b) (r s) (p s) c) (s q) p

8) Demuestre por tablas de verdad las siguientes leyes :

5 Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 - Fundamentos de Lgica Simblica y Teora de Conjuntos.

i) [ (p q) q ] q

ii) (p q) p q

iii) (p q) p q

9) Antonio, Miguel y Juan perteneces al club Alpino. Cada miembro del club esqua, escala o ambas cosas. A ningn escalador le gusta la lluvia y a todos los esquiadores les gusta la nieve. A Miguel le disgusta lo que a Antonio le gusta, y le gusta lo que a Antonio le disgusta. A Antonio le gusta la lluvia y la nieve. Hay algn miembro del club Alpino que sea escalador pero no esquiador ? 10) Cierto pas est habitado por personas que siempre dicen la verdad o que siempre mienten, y que respondern preguntas solo con si o no. Un turista llega a una bifurcacin en el camino, una de cuyas ramas conduce a la Capital y la otra no. No hay un letrero que diga qu camino seguir, pero hay un nativo, el seor z, parado en la bifurcacin. Qu nica pregunta deber hacerle el turista para determinar qu camino seguir ?. TEORIA DE CONJUNTOS 11) Describir por extensin los conjuntos : A = {x / x N, x 8} B = {x / x2 - 3 x + 1 = 0} C = {x / x N, x es par} 12) Dados los conjuntos: A = {1, 3} B = {a, b, c} Hallar: a) su diagrama de Venn b) A B C D c) A B C C = {b} D = {1, 3, b, f} D = {x / x N, x 8 x 2} E = x / x Z, | x | 3}

d) (A B) D e) Est A B o C (A D) ?

13) Dados tres conjuntos A, B, C cualesquiera y un conjunto D disjunto con los anteriores, dibujar su diagrama de Venn y rayar las siguientes zonas :

a) A B b) A B c) (A - C) B
6

d) (A - C) B e) (A B C) D

Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 Fundamentos de Lgica Simblica y Teora de Conjuntos.

14) Sealar si son verdaderas o falsas las siguientes afirmaciones : a) A B A (A B) b) B A (A B) A c) A = B A B = A

15) El conjunto universal es E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} y los conjuntos A = {1, 3, 4, 5} B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}. Hallar :

a) Su diagrama de Venn b) A - (B C) c) (A B) - C

d) [(A C) D] B e) (A B) (B C) f) Son disjuntos A y D ?

16) Dados dos conjuntos M y N no disjuntos, representar en un diagrama de Venn las siguientes zonas : a) Mc b) M N c) M Nc d) Mc Nc e) M Nc

17) En un club de esparcimiento de 500 socios se van a celebrar unos campeonatos de ajedrez, cartas y domin. Hay 90 personas que no van a participar, y se sabe que hay un total de 180 apuntados en ajedrez, 200 a cartas y 220 a domin. Hay 70 apuntados a ajedrez y cartas, 90 a cartas y domin y 80 a ajedrez y domin. Se desea saber el nmero de personas apuntadas a un solo campeonato, a solo dos cualesquiera de ellos y a los tres. 18) Sean V = { d } ; W = {c, d} ; X = {a, b, c} ; Y = {a, b} ; Z = {a, b, d}

Determinar si las proposiciones son verdaderas o falsas :

i) Y X

ii) W Z

iii) Z V A = {a, b, d} ;

iv) V X

v) X = W

vi) W Y

19) Sea U = {a, b, c, d, e} ; i) A B ii) B A iii) Bc

B = {b, d, e}. Hallar : vii) Ac Bc viii) Bc / Ac ix) (A B)c x) (A B)c

v) Ac B vi) A Bc

iv) A Bc

20) De 150 estudiantes de una clase, 26 obtuvieron A en el primer examen y 21 obtuvieron A en el segundo examen. Si 17 estudiantes no obtuvieron A en ninguno de los dos exmenes, Cuntos estudiantes obtuvieron A en ambos exmenes ?
7 Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

MATEMATICA I (Algebra) Trabajo Prctico N 1 - Fundamentos de Lgica Simblica y Teora de Conjuntos.

Licenciatura en Sistemas de Informacin Ao 2009 Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE