Gua N 1 Del estudiante Modalidad a distancia

Modulo MATEMTICA FUNDAMETAL PARA INGENIERA DE SITEMAS I SEMESTRE

DATOS DE IDENTIFICACION TUTOR Telfono E-mail Lugar Luis Enrique Alvarado Vargas 435 29 52 CEL. 310 768 90 67 leav70@gmail.com Madrid Cundinamarca

Corporacin Universitaria Minuto de Dios Rectora Cundinamarca

BIENVENIDA EL curso de Matemtica fundamental permite indicar un proceso de formacin de ingenieros de sistemas que apropien competencias comunicativas, interpretativas, argumentativas y propositivas y competencias ciudadanas como lderes integrales en sus desempeos, el curso pretende fortalecer procesos. Fundamentos del Pensamiento Humano: Que le permiten apropiarse del lenguaje y herramientas lgicas para la contextualizacin de su entorno. Pensamiento y sistemas numricos: Solucin de problemas e induccin investiguen en la seleccin de herramientas matemticas.

Autoformacin: A partir del estudio auto programado del dialogo de saberes como resultado del trabajo en equipo para la construccin y socializacin del conocimiento de la investigacin y accin de las prcticas.

Trabajo Cooperativo: El curso propende por el trabajo en equipo con toda la comunidad para el desarrollo de un proyecto de investigacin.

El propsito de formacin de este curso es facilitar al estudiante de Ingeniera de Sistemas unas vivencias por contexto con las dems reas del programa el desarrollo de las

competencias que le permitan utilizar el lenguaje y herramientas necesarias en las acciones propias del trabajo en equipo. El curso esta propuesto acorde a los principios expuestos por la universidad del Tolima, el IDEAD y el programa de ingeniera de Sistemas los cules dan preeminencia a los procesos de auto formacin del ser humano y el ingeniero ya que la implementacin de herramientas didcticas y mtodos mentales de la modalidad a distancia, que deben esforzarse a muchas horas de estudio individual y grupal sin la presencia fsica del tutor.

INTRODUCCION El considerable progreso habido en la ciencia y en la tecnologa durante los ltimos 150 aos procede en gran parte del desarrollo de las Matemticas. En el estudio de cualquier rama de la Matemtica, sea anlisis, Algebra, o Geometra, resulta til emplear la terminologa de la Teora de conjuntos. Esta teora fue desarrollada por Boole y Cantor a fines del siglo XIX, ha tenido una profunda influencia en el desarrollo de las Matemticas en el siglo XX, ha unificado muchas ideas aparentemente inconexas y ha

contribuido a reducir gran nmero de conceptos matemticos a sus fundamentos lgicos por un mtodo elegante y sistemtico. La LOGICA MATEMTICA estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una

persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por contradiccin, en donde incluye reglas de inferencia. En este trabajo se trata adems de presentar las explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno aprende lgica matemtica no tendr problemas para aprender ciencias exacta y ser capaz de programar computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos lgicos, que la persona establece para resolver n problema determinado. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solucin, porque en la vida

cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado. TEMAS A DESARROLLAR EN LA UNIDAD

Lgica y Conjuntos. Lgica

Proposiciones y operaciones lgicas. Conectivos lgicos y proposiciones compuestas Operador and (y) Operador Or (o) Proposiciones condicionales Proposicin bicondicional. o Tablas de verdad. o Tautologa y contradiccin. o Equivalencia lgica. o Reglas de inferencia o Mtodos de demostracin. o Mtodo de demostracin Directo o Demostracin por contradiccin Teora de Conjuntos o definicin o Notacin o Conjunto Universal o Conjunto Potencia o Conjunto Vacio o Diagramas de Venn o Conjuntos finitos e infinitos o Conjuntos disjuntos o Operaciones Con Conjuntos o Interseccin o Unin o Complemento o Diferencia Entre Conjuntos o Diferencia Simtrica o Producto Cartesiano o o

o Leyes del algebra de conjuntos Asociatividad conmutatividad distributiva absorcin Idempotencia Complemento Ley de Morgan

UNIDAD DE TRABAJO No.1

Cmo aplicar la lgica proposicional y la teora de conjuntos en la Ingeniera de Sistemas? INDICADORES A travs de la lgica proposicional en que modelo de la carrera podemos aplicar razonamientos lgicos?

El concepto

<<Lgica matemtica o tambin llamado Lgica simblica es una parte de las matemticas que se encarga de los sistemas formales, tambin de los conceptos tales como demostracin matemtica y computacin;>> Historia << Giuseppe Peano dio el nombre de Lgica Matemtica a este apartado de las matemticas. Est basado en la lgica filosfica de Aristteles, pero con una visin ms moderna aplicado a la nueva notacin matemtica >> Lgica de proposiciones Definicin de Proposicin: Es cualquier agrupacin de palabras o smbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad. V 1 Verdadero F 0 Falso A las proposiciones las representamos con letras minsculas Tipos de proposiciones Conectivas. -Singulares (, No) y Binarias: -Conjuncin (, y) -Disyuncin inclusiva (V,o) -Disyuncin exclusiva (, o... o... pero no ambas) -Condicional ( , si... entonces...);

-Equivalencia lgica Dadas las proposiciones p, q, se define una equivalencia p q como una nueva proposicin que se lee "p si slo si q" que es verdadera cuando la p y la q tienen a la vez los mismos valores de verdad. En el caso que p q sea verdadera se dice p y q son equivalentes y tambin que p es condicin necesaria y suficiente de q y viceversa. Tablas de verdad: Representa las mltiples salidas de una funcin lgica para todas las combinaciones posibles de los valores de entrada.

TABLAS DE VERDAD Proposicin Proposicin Doble simple simple Conjuncin Disyuncin Implicacin Implicacin p q p q p q pq pVq 1 1 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 Mtodos de decisin en lgica de proposicin. Una tautologa es una proposicin que siempre es verdadera. Una contradiccin es una proposicin que siempre es falsa. Una contingencia es proposicin que puede ser verdadera o falsa.

Validacin de sentencias proposicionales. Sirven para decidir si una proposicin es una tautologa, una contradiccin o una contingencia. Validacin mediante tablas de verdad. (Bueno para pocas variables). Validacin mediante refutacin. (Suposicin de que la sentencia es falsa) Mtodos de demostracin: Mtodo Directo Para demostrar que P Q supondremos que la hiptesis P es verdadera y a partir de este punto razonando como haga falta intentaremos llegar a que la tesis Q es verdadera, con lo que quedara demostrado P > Q. Un ejemplo clsico: Demostrar que en N todo mltiplo de 6 es tambin mltiplo de 3. Es decir: Si x el mltiplo de 6 x tambin es mltiplo de 3. Supongamos que x el mltiplo de 6 (hiptesis verdadera) luego x=6*m para todo m perteneciente a N, pero sabemos que 6=3*2 luego x=3*2*m; n=2*m n pertenece a N Finalmente tenemos que x=3n, x el mltiplo de 3 con lo que tenemos Q, por tanto P->Q. Mtodo reduccin al absurdo Slo sabremos si es una tautologa. Supondremos que es una contradiccin, por tanto podemos suponer que puede ser falsa. Sin con esta suposicin se llega a una contradiccin quera decir que esa falsedad supuesta nunca podra darse, por tanto la proposicin sera siempre verdadera es decir una tautologa Mtodo Inductivo Sirve para demostrar frmulas o propiedades que son verdaderas para infinitos nmeros naturales. Es decir para demostrar que las propiedades de la forma P(m) se cumple casi siempre para todo nmero natural m N siendo n+ el

conjunto de los caractersticos sin el cero V n N+ (Siendo N* = N -{0}) Se trata de demostrar P(n), V n N* El mtodo de demostracin inductivo consta de 3 pasos. 1. Paso Bsico Demostrar que la propiedad se cumple para el primer valor de de N que nos digan, casi siempre ser 1. Se trata de demostrar P(1).

2. Paso Inductivo Consiste en demostrar que si se cumple para un cierto n entonces tambin se cumple para n+1. Es decir que si se cumple para P(n) entonces se tiene que cumplir P(n+1). Se trata de demostrar la implicacin P(n) P(n+1). Supondremos como hiptesis P(n) (hiptesis de induccin).

3. Conclusin Del paso bsico y del paso inductivo se deduce que la proposicin se cumple para todos los n naturales mayores o iguales a 1 (n>=1). Referencias Lgica Matemtica en Wikipedia Fuentes Lgica Matemtica en monografas.com Apuntes de Algebra Ingeniera Informtica.

2. Nociones sobre Teora de Conjuntos y Lgica Para llevar a cabo nuestro propsito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestros programas, introduciremos algunas nociones sobre Teora de Conjuntos y Lgica. Los conceptos y notacin dados nos permitirn unificar la notacin que utilizaremos en las especificaciones y las demostraciones de correctitud de programas. 2.1. Conjuntos, Un conjunto es una coleccin de objetos distintos, o elementos como normalmente son llamados. Por ejemplo: el conjunto {3,5} consiste de los enteros 3 y 5 y es el mismo conjunto que {5,3}. { } representa al conjunto vaco, es decir, aquel que no contiene elementos. Tambin se representa por . La notacin anterior describe a un conjunto de manera explcita o por extensin, listando todos sus elementos. Tambin podemos describir un conjunto de manera implcita o por compresin: {i: existe un natural j tal que i= 2j}. La cardinalidad o tamao de un conjunto es el nmero de elementos del conjunto, y se denota por A o card(A). As card ({3,5})=2. Luego definiremos ms formalmente lo que es una operacin, sin embargo damos algunas operaciones que todos conocemos sobre conjuntos: Operaciones entre conjuntos: Unin, Interseccin, Diferencia. Operaciones que producen un valor booleano (verdadero o falso): la igualdad entre conjuntos, la pertenencia (a A), la no pertenencia (a A), la inclusin (A B) Operaciones que producen un nmero: Si A es un conjunto de nmeros entonces min A es el menor elemento de A y mx. A es el mayor elementos de A. El conjunto de partes de un conjunto A, detonado por p(A), es el conjunto cuyos elementos son todos los subconjuntos de A, p(A) = { B : B A }. Una particin de un conjunto A es un conjunto cualquiera P = { A1, A2, ... , An } tal que para todo i entre 1 y n se cumple que Ai A y cualesquiera dos elementos de P, Ai y Aj, con i distinto de j, tienen interseccin vaca y la unin de todos es el conjunto A.

web-grafa http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

NO S

p (q) V 1 0 F

Esta es la tabla de la proposicin atmica

1 2 Esta es la tabla de la conjuncin 1 0 0

1 0 1 0

1 0 0 0

1 3 Esta es la tabla de la bicondicin 1 0 0

1 0 1 0

1 0 0 1

1 4 Esta es la tabla de la condicin 1 0 0

1 0 1 0

1 0 0 0

5 Esta es la tabla de la conjuncin

1 1 0 0

1 0 1 0

1 1 0 0

pVq

1 6 Esta es la tabla de la disyuncin incluyente 1 0 0

1 0 1 0

1 V 1 1 0 F

pWq

1 7 Esta es la tabla de la disyuncin excluyente 1 0 0

1 0 1 0

1 1 1 0

1 8 Esta es la tabla de la prop. "Llueve y no hace fro" 1 0 0

1 0 1 0

0 1 0 1

1 1 1 0

1 9 Esta es la tabla de la NEGACIN 1 0 0

0 0 1 1

pVq

1 10 Esta es la tabla de la proposicin "Mueres o vives" 1 0 0

1 0 1 0

1 1 1 0

pW p

11

Esta es la tabla de la proposicin "Viene o no viene"

1 0

0 1

1 1

Esta es la tabla de la proposicin "Hablo y no hablo" 12

1 0

0 1

1 V 1 F

13

Esta es la formulacin de la proposicin "Ella viene y no est contenta"

V p p

14

Esta es la formulacin de " Si ella no viene entonces nos vamos al cine"

15

Esta es la formulacin de "Si trabajas o estudias te preparas mejor para el futuro"

V (p q) r

16

Esta es la formulacin de "Ser bachiller o titulado en Ciclo Superior y tener 18 aos cumplidos son condiciones para poder ingresar en la Universidad"

V (pVq) r s

17

Esta es la formulacin de "Si dominas las asignaturas y te relacionas bien con todas las personas del Instituto entonces no has perdido el tiempo"

V (pVq s)

18

Esta es la formulacin de "Si tengo muchos exmenes que corregir y he descansado un poco al medioda, trabajo hasta las doce de la noche. Pero hoy no trabajo hasta las doce. Por tanto, ser que no he descansado al "

V (p q) r r q

19

Esta es la formulacin de "Si te cuesta entender las cosas , pero te esfuerzas diariamente, seguro que no suspendes "

(p q)

20

Esta es la formulacin de "Si has trabajado razonablemente y si estabas matriculado en el Instituto, entonces sacars el ttulo de bachiller "

V (p q) r

Esta es la tabla de la proposicin "Ella viene o no viene"

1 0

0 1

1 1

La primera es tautolgica y la segunda consistente. V 21 2 p q pVq F

Esta es la tabla de la proposicin "Te vas o ests alegre"

1 1 0 0

1 0 1 0

1 1 1 0

V 22 La Regla de la Eliminacin de la Negacin se formula as: pV p

La Regla de la Eliminacin de la Conjuncin se formula as: (p q) 23 (p q) q p V F

La regla de la Eliminacin del Condicional se formula as: SI : (p 24 NO: (p q) q] p q) p] q

25

La regla de Eliminacin de la Disyuncin excluyente mediante la afirmacin de un extremo se formula as: (p W q) p] q

La primera regla de Morgan se formula as: 26 (p p) ( p p)

La regla de reduccin al absurdo se enuncia as: 27 (p (q p) ] p

La segunda regla de Morgan se formula as: 28 (p V p) ( p p)

Estas dos expresiones son contradictorias V 29 (p (q q) ] p] q p F

(p W q)

Estas dos proposiciones son tautolgicas (p q) 30 (p V p) ( p p) p V F

1 2 Los dos primeros pasos de este clculo estn bien hechos 3 4

p q p

(q

r)

P P

Conclusin

31

p q r

Supuesto RE nc 1,3

1 2 3 4

P P q P P Conclusin V F

r V s s r p

32

7 6 7

s r p

RE V 2,4 RE aa 3,5

Conclusin

Este clculo est bien hecho.

El siguiente clculo no contiene errores 1 2 3 4 33 n C p m m r r V n) p P P P P V F

5 6 7

RE

aa 2,3 aa 5,1

r V n RE n

RE V 4,6 Conclusin

Este clculo est perfectamente hecho. 1-pWq 23-z 4-z 34 p r Conclusin q Premisas r V F

5-p 6p r r

REW 1,2 RE REI n c 3,4 5,6 C

Este clculo est perfectamente hecho 1-p q

2-pVz 34-z 5-s 35 s r Conclusin V F q r Premisas

67-z 8-r 9-s

RE

nc 1,3

REV 2,3 RE r aa 4,7

RI 7,8 Conclusin

1 2 3 4 5

pVz q z s s r Conclusin r Premisas

6 36 7 8 9 10 z 11 r 12 r

(s sV r p

r) r

Supuesto RRA V R1 MORGAN 6 REV 7,5 RE nc 1,3 F

REV 2,9 RE r (s r) r r) aa 4,10

RI 8,11 RI 6-12

14

RRA 13

Este clculo por la tcnica de reduccin al absurdo est mal resuelto

Este clculo est bien hecho 1 2 3 4 5 s s s p 37 t p q rW q r P P P P V F P

t Conclusin

5 6 7 8 9

RE r RE

aa 5,4 aa 3,4

q RE W 6,2, p RE p nc 1,7 Conclusin

t RI

El siguiente clculo est equivocado en la sexta lnea. 1 2 3 4 38 p C p q P P q P r P V F

r V s s

5 6 7

RE V 2,4 r RE aa 3,5

p Conclusin

El siguiente clculo es correcto. 1 2 3 r q p q r V z z p) P P Conclusin V 39 4 5 6 7 8 9 r p R1 Morgan 2 4 4 aa 1,6 aa 3,5 7,8 Conclusin F P

r RE p RE q RE z RE q

z RI

La lnea 4 de este clculo debe ser: p. 1 2 3 40 z Conclusin p p V q q z P P P V F

4 5

RE V 1,2 z RE aa 3,4 Conclusin

Este clculo empieza por algo que hay en la lnea primera. 1 2 3 r q (p V q) p s s r P P P Conclusin

4 41 5 6 7 8 9 10

Este clculo est bien hecho por el sistema de reduccin al absurdo. 1 2 3 p p q 42 r C (p r q) P P P V F

4 5 6 7

p V q) RRA1 q r q RE r RE REV 4,3 nc 2, 3 ,6

43

Este clculo es correcto y su conclusin es una tautologa.

1 2 3 4

p p s q t

q s t t t

P P P P C

5 6 7 9 10

p q s t t t

RE 1 RE 1 RE RE RE nc 2, 5 aa 4,6 ,8

ACTIVIDAD DE APRENDIZAJE 1 Resuelve los siguientes ejercicios. 1. Una persona tiene tres monedas, cada una de uno o cinco pesos. Escribir los elementos del conjunto de las posibles sumas de capital que puede tener dicha persona. (Por ejemplo, si fuesen tres monedas de un peso, tendra 3 pesos; si fuesen dos de un peso y una de cinco pesos tendra 7 pesos, etc.). 2. Sean A = {1, 2, 3}, B = {1, 2, 3, 4, 5, 6}. Completar las afirmaciones que siguen, poniendo el smbolo adecuado en el espacio correspondiente. a) o 2____A A____C 1,2,3,____C 4_____B 0____A b) o A____C ____ A____B {2, 3, 1}____A ____A B____B B____C B____A 3. Sea H = {1, 2, 3, 4, 5}. a) Escribe todos los subconjuntos de H de cardinalidad uno. Llama C al conjunto de dichos subconjuntos. b) Escribe todos los subconjuntos de H de cardinalidad dos. Llama D al conjunto de dichos subconjuntos. 4. Clasifica los conjuntos siguientes segn sean finitos o infinitos. a) N = conjunto de todos los nmeros naturales b) P = conjunto de todos los nmeros pares c) H = conjunto de todos los seres humanos d) G = el conjunto de todos los nmeros naturales inferiores a 90 trillones e) M = el conjunto de todos los nmeros naturales superiores a 90 trillones

f) g) {, N} ACTIVIDAD DE APRENDIZAJE 2 1. En los siguientes ejercicios, encuentra la unin o interseccin pedidas, en dos formas por comprensin y por extensin. a) { x N | 0 < x < 8 } { x N | 2 < x < 6 } b) { x N | x < 10 } { x N | 9 < x } c) { x N | x < 10 } { x N | 9 < x } d) { x N | x < 10 } { x N | 5 < x < 12 } e) { 2, 4, 5 } { y N | 4 < y } 2. Describe la relacin entre A y B en cada uno de los casos siguientes: a) A B = b) A B = B c) A B = A 3. Dibujar un diagrama de Venn similar a la figura para cada ejercicio y sombrear slo el rea que represente el conjunto dado. Si el conjunto es el conjunto vaco, decirlo. ABC a) A B b) B C c) A ( B C ) d) A ( B C ) e) A ( B C ) f) A ( B C ) g) A ( B C ) h) A ( B C ) ACTIVIDAD DE APRENDIZAJE 3 Resuelve los siguientes ejercicios. 1. Si tienes los intervalos U = (-4,7) A = (3,7) B = [0,6] y C = [-1,6] Determina el intervalo solucin de ( A C ) B
22

2. Teniendo los conjuntos A={xR/1x 8} B = { x R / -5 < x 5 } C = { x R / -7 x < 2 }

Determina el intervalo que indica la interseccin de A, B y C. 3. Dados los conjuntos A = { x R / -5 < x 4 } B = { x R / (-7 x 5) (0 < x 8)} C = { x R / (- 7< x < -4) (4 x <8 ) } Determina A B C. 4. Si tienes los intervalos reales A = (-4,4) B = (-2,2) C = (-3,3] D = [-5,15) E = [-7,7] F = (0, 8) Determina: { [ ( A B ) ( C D) ] ( E F ) } 5. Resuelve las siguientes desigualdades. a) 4 < (x + 4) / (-3) 5 b) | 6x 4 | < 3 c) | x/2 + 10 | 4
23

6. Las calificaciones de un estudiante fueron 85, 57 y 78 en los tres primeros exmenes parciales, qu puntuacin debe obtener en su prximo examen a fin de obtener una calificacin promedio entre 70 y 80.
CALENDARIO DEL MODULO UNIDAD DE APRENDIZAJE Acuerdo Pedaggico Lgica y Conjuntos ACTIVIDADES DE APRENDIZAJE Presentacin del modulo, firma de acuerdos, entrega del PIC y asignacin de actividades y consultas para ser discutidas el 7 de Mayo de 2010 Trabajo individual, en pequeos grupos y socializacin de la temtica, Durante la semana del 30 de abril al 6 de mayo el estudiante debe haber resuelto las actividades propuestas en la gua , Evaluacin y control de actividades. SEMANA 1 30 de Abril 2 7 de mayo

3 4 5 6 7 8 Bibliografa 1. Pactrick SUPPES y Shirley HILL, Introduccin a la Lgica Matemtica, editorial Revert S. A. Bogot D. C. 1979. 2. Jagdish C. Arya/ Robin W. Lardner, Matemticas Aplicadas a la Administracin y a la Economa. Editorial Prentice Hall. Tercera edicin. Mxico 1989. HYPERLINK "http://es.wikipedia.org/w/index.php?title=Evandro_Agazzi&action=edit&redlink=1"

3.

\o "Evandro Agazzi (an no redactado)" Agazzi, Evandro (1986). Lgica simblica. Editorial Herder. ISBN 978-84-254-0130 4. Gonzlez Carlomn, Antonio (6 de 2006). Retculo completo de Boole, lgica matemtica, teora de conjuntos, 2 edicin (en espaol), Universidad de Oviedo. Servicio de Publicaciones, pp. 232. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788483175347" ISBN 97884-8317-534-7 . 5. Cantor, Georg (11 de 2005). Fundamentos para una teora general de conjuntos: escritos y correspondencia selecta, Ferreirs Domnguez, Jos; Gmez-Caminero, Emilio F.; Ferreirs Domnguez, Jos, 1 edicin (en espaol), Editorial Crtica, pp. 320. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484326953" ISBN 978-84-8432-695-3 .

6. Fernndez Laguna, Vctor (2 de 2004). Teora de conjuntos elemental, Bachillerato, 2 edicin (en espaol), Anaya, pp. 168. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788466726146" ISBN 97884-667-2614-6 . 7. Climent Coloma, Joan Josep (10 de 2003). lgebra: teora de conjuntos y estructuras algebraicas, 2 edicin (en espaol), Editorial Club Universitario, pp. 512. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484543022" ISBN 97884-8454-302-2 .

8. Set, Jordi (7 de 2002). Teora elemental de conjuntos, 1 edicin (en espaol), Clag S.A, pp. 168. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788492184767" ISBN 97884-921847-6-7 . 9. Arrieche Alvarado, Mario (7 de 2002). Iniciacin de la teora de conjuntos, en la formacin de profesores de matemticas, 1 edicin (en espaol), Arrieche Alvarado, Mario Jose, pp. 169. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788460747741" ISBN 97884-607-4774-1 . 10. Gonzlez Carlomn, Antonio (9 de 2001). Retculo completo de Boole. Lgica matemtica teora de conjuntos, 1 edicin (en espaol), Universidad de Oviedo. Servicio de Publicaciones, pp. 204. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788483172643" ISBN 97884-8317-264-3 . 11. Climent Coloma, Joan Josep (6 de 2001). lgebra. Teora de conjuntos y estructuras algebraicas, 1 edicin (en espaol), Editorial Club Universitario, pp. 240. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788484540816" ISBN 97884-8454-081-6 .

12. Alonso Jimnez, Jos A; Prez Jimnez, Mario de J.; Ruiz Reina, Jos L. (9 de 1998). Teora de conjuntos, 1 edicin (en espaol), Ediciones La , S.L., pp. 348. HYPERLINK "http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/9788489524453" ISBN 97884-89524-45-3 . Trabajos citados Jos Alfredo Jimnez Murillo. e-mail: HYPERLINK "mailto:ppalf@yahoo.com" ppalf[arroba]yahoo.com Ma. Aleida Hernndez Ynez e-mail: HYPERLINK "mailto:aleidahy@yahoo.com" aleidahy[arroba]yahoo.com Alumnos del Centro Interdisciplinario De Investigacin y Docencia en Educacin Tcnica (CIIDET) Quertaro Qro. Mxico.