Este documento introduce la teoría de conjuntos en lógica matemática. Explica que un conjunto es un grupo de objetos que pueden ser afirmados como pertenecientes o no. Describe cuatro formas de enunciar conjuntos: por extensión, comprensión, diagramas de Venn y descripción verbal. Además, señala que tratará símbolos, clases, relaciones y operaciones entre conjuntos.

1. Introducción a la Lógica
Matemática
María del Pilar Gaitán
E- monitora académica
Septiembre 2 de 2014

2. Teoría de conjuntos
Un conjunto es un grupo de elementos u objetos especificados en
tal forma que se puede afirmar con certeza si cualquier objeto
dado pertenece o no a la agrupación. Para denotar a los conjuntos,
se usan letras mayúsculas.
FI-GQ-GCMU-004-015 V. 001-17-04-2013

3. Existen cuatro formas de enunciar a los
conjuntos:
1)Porextensiónoenumeración:loselementos
sonencerradosentrellavesyseparadosporco
mas.Esdecir,elconjuntosedescribelistandot
odossuselementosentrellaves.
2)Porcomprensión:loselementossedetermin
anatravésdeunacondiciónqueseestableceen
trellaves.Enestecasoseempleaelsímbolo/qu
e significa “tal que".
3) Diagramas de Venn: son regiones
cerradas que sirven para visualizar el
contenido de un conjunto o las relaciones
entre conjuntos.
4) Por descripción verbal: Es un enunciado
que describe la característica que es común
para los elementos.
¿Cómo puedo enunciar
los conjuntos?
FI-GQ-GCMU-004-015 V. 001-17-04-2013

4. Símbolos que utilizaré con los
conjuntos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

5. Clases de conjuntos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

6. Relación entre conjuntos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

7. Operación entre conjuntos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

8. Relación entre simbolos
FI-GQ-GCMU-004-015 V. 001-17-04-2013

9. FI-GQ-GCMU-004-015 V. 001-17-04-2013