Está en la página 1de 9

INGENIERIA EN SISTEMAS COMPUTACIONALES

MODULO

MATEMATICAS

3: LOGICA Y CONJUNTOS

Profesor: ING: ANTONIO GARCIAS GUTIERREZ

Luz maría rivera Cornelio


20/10/2018
LOGICA Y CONJUNTOS

Los conjuntos son una rama de la lógica matemática que estudia las propiedades

y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas

como objetos en sí mismas. Se dice que la lógica matemática es la disciplina que

se ocupa del estudio de los razonamientos, deducciones e inferencias. Una parte

importante de la lógica está dedicada al estudio de los razonamientos correctos.

De igual manera es un esquema de reglas que permite deducir verdades a partir

de Otras verdades. Estudia, precisamente los razonamientos Del contenido de las

verdades que se enuncie, El desarrollo histórico de la teoría de conjuntos se

atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas puras

del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas

de Bernhard Bolzano e influido por Richard Dedekind. El descubrimiento de las

paradojas de la teoría cantoriana de conjuntos, formalizada por Gottlob Frege,

propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y


otros a principios del siglo XX. A hora bien los conjuntos son objeto de

estudio por ser, herramienta auxiliares en las propiedades y relaciones de los

conjuntos infinitos. En esta disciplina es habitual que se presenten casos de

propiedades indemostrables o contradictorias, como la hipótesis del continuo o la

existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y

técnicas se apoyan en gran medida en la lógica.


La teoría de conjuntos es una teoría axiomática lo suficientemente potente como

para formalizar cualquier razonamiento matemático. En su seno se demuestran

resultados sobre números, sobre geometría, sobre juegos de azar, sobre el

movimiento de los planetas, sobre fluidos, sobre electrones y rayos de luz, etc.

Con ello no solo convertiremos a la lógica en una rama más de la matemática, al

lado de algebra, la geometría o el análisis matemático, sino que la formalización

de la lógica nos permitirá examinar más de cerca los razonamientos que conducen

a los teoremas de incompletitud en el caso de más interés. La lógica

proposicional describe las formas en que podemos combinar enunciados (también

llamados proposiciones) verdaderos para producir otros enunciados verdaderos.

Usualmente se consideran cinco operaciones principales de ese tipo (llamados

conectivos lógicos), aunque técnicamente podemos derivarlas todas de una o dos

de ellas.
Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables

entre sí, que se llaman elementos del mismo. Si a es un elemento del

conjunto A se denota con la relación de pertenencia a Î A. En caso contrario,

si a no es un elemento de A se denota aÏ A. comienza con una relación binaria

fundamental entre un objeto "o" y un conjunto A. Sí "o" es un miembro ("o"

elemento) de A, se usa la notación o ∈ A. Dado que los conjuntos son objetos, la

relación de pertenencia también puede relacionar conjuntos.

Una relación binaria derivada entre dos conjuntos es la relación de subconjunto,

también llamada inclusión de conjuntos. Si todos los miembros del conjunto A son

también miembros del conjunto B, entonces A es un subconjunto de B, denotado A

⊆ B. Por ejemplo, {1, 2} es un subconjunto de {1, 2, 3}, y así es {2} pero {1, 4} no lo

es. Como insinuado de esta definición, un conjunto es un subconjunto de sí

mismo. Para los casos en que esta posibilidad sea inadecuada o tenga sentido

que sea rechazada, se define el término subconjunto apropiado. A se llama un

subconjunto adecuado de B si y sólo si A es un subconjunto de B, pero A no es

igual a B. Observe también que 1 y 2 y 3 son miembros (elementos) del conjunto

{1, 2, 3} Pero no son subconjuntos, y los subconjuntos son, a su vez, no como

tales miembros del conjunto.

Así como la aritmética presenta operaciones binarias sobre números, la teoría de

conjuntos presenta operaciones binarias en conjuntos:

Unión de los conjuntos A y B, denotada A ∪ B, es el conjunto de todos los objetos

que son un miembro de A, o B, o ambos. La unión de {1, 2, 3} y {2, 3, 4} es el

conjunto {1, 2, 3, 4}.


La intersección de los conjuntos A y B, denotada A ∩ B, es el conjunto de

todos los objetos que son miembros de A y B. La intersección de {1, 2, 3} y {2, 3,

4} es el conjunto { 2, 3}. La diferencia de conjunto de U y A, denotada U \ A, es el

conjunto de todos los miembros de U que no son miembros de A.

La diferencia de conjunto {1, 2, 3} \ {2, 3, 4} es {1} Mientras que, por el contrario, la

diferencia establecida {2, 3, 4} \ {1, 2, 3} es {4}. Cuando A es un subconjunto de U,

la diferencia de conjunto U \ A también se denomina complemento de A en U. En

este caso, si la elección de U es clara a partir del contexto, a veces se usa la

notación Ac en lugar de U \ A , Particularmente si U es un conjunto universal como

en el estudio de los diagramas de Venn.


La diferencia simétrica de los conjuntos A y B, denotada A △ B o A ⊖ B, es el

conjunto de todos los objetos que son un miembro de exactamente uno de A y B

(elementos que están en uno de los conjuntos, pero no en ambos). Por ejemplo,

para los conjuntos {1, 2, 3} y {2, 3, 4}, el conjunto de diferencias simétricas es {1,

4}. Es la diferencia establecida de la unión y la intersección, (A ∪ B) \ (A ∩ B) o (A \

B) ∪ (B \ A).
El producto cartesiano de A y B, denotado A × B, es el conjunto cuyos miembros

son posibles pares ordenados (a, b) donde a es un miembro de A yb es un

miembro de B. El producto cartesiano de {1, 2 } Y {rojo, blanco} es {(1, rojo), (1,

blanco), (2, rojo), (2, blanco)}. El conjunto de potencia de un conjunto A es el

conjunto cuyos miembros son todos los subconjuntos posibles de A. Por ejemplo,

el conjunto de potencia de {1, 2} es {{}, {1}, {2}, {1, 2}}.

Unión de conjuntos:
EJEMPLOS EN LA VIDA COTIDIANA

 TOMA DE DECIONES ESCOGER UN HELADO DE UNA LISTA DE 6 SABORES

FRESA, COCO, CHOCOLATE, VAINILLA, NUES, NANCE Y ELEJIMOS UNO DE DOS VAINILLA Y NUES
.ESTAMOS APLICANDO LA TEORIA DE SUBJUNTOS.

Fresa, coco,chocolate,vainilla,nues,nance

 TENER VARIAS CONBINACIONES, DE ROPA UNA BLUSA ROSA CON UNPANTALON NEGRO

UNA BLUSA NEGRA CON UN PANTALON BEIGE EL RESULTADO SERIA

A= blusa rosa

B= pantalón Negro, pantalón beige

AXB= (blusa rosa, pantalón negro),(blusa negra ,pantalón beige)


BIBLIOGRAFIA:

https://www.uv.es/ivorra/Libros/Logica.pdf

https://www.google.com/search?tbm=isch&q=conectivos+logicos&chips=q:conectivos+logicos,g_1:
simbolo&sa=X&ved=0ahUKEwiB-
IyH_IreAhVRMawKHZ6SAd0Q4lYIKCgC&biw=1366&bih=608&dpr=1#imgrc=FLnUel8Zy31VpM:

http://www.matematica.ciens.ucv.ve/materias/files_materias/Elemento/01%20-
%20L%F3gica%2C%20Conjuntos%20y%20N%FAmeros_Carlos%20Uzc%E1tegui%20%28ULA%20
2011%29.pdf

https://www.google.com/search?biw=1366&bih=608&tbm=isch&sa=1&ei=FuDFW9qmHMaWsAXDtId
Y&q=diferencia+sim%C3%A9trica&oq=diferencia+cimetr&gs_l=img.1.0.0i10i24k1.4976.11062.0.14068
.17.12.0.5.5.0.225.2223.0j9j3.12.0....0...1c.1.64.img..0.17.2265...0j0i67k1j0i8i30k1j0i24k1.0.YAkvDXnR5NY
#imgrc=U24TThU_C3xfYM: