Logica Matematica

LÓGICA MATEMÁTICA
En una disciplina nombrada por Giusspe Peano y es en esencia la lógica de Aristóteles.
La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas ytécnicas determina si un argumento es válido.
La lógica es ampliamente aplicada en:
Filosofía, matemáticas, computación, física
En las matemáticas para demostrar teoremas e inferir resultadosmatemáticas que puedan ser aplicados en investigaciones
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticoscomo: conjuntos, números, demostraciones y computación.
Suele dividirse en cuatro subcampos: 
Teoría de modelos: teoría de las interpretaciones de los lenguajes formales
Teoría de la demostración: trata alas demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas.
 Teoría de conjuntos : estudia las propiedades y relaciones de los conjuntos
 Teoría de la recursión:estudia los algoritmos de computación.

TEORÍA DE CONJUNTOS
Las nociones de conjunto y de elemento son ideas primitivas que se presentan en forma intuitiva. Los conjuntos están relacionados conel proceso de contar y por lo tanto permiten resolver problemas que involucran el concepto de cantidad. Se puede afirmar que un conjunto es una colección de objetos, símbolos o entidades biendefinidas, que reciben el nombre de miembros o elementos del conjunto.

Los conjuntos se hacen por medio de una representación grafica llamada diagrama de Venn o círculo de Euler donde se encierran elconjunto universal.
Los círculos adentro son los subconjuntos del conjunto universal

Operaciones

Unión: son los conjuntos que están en ambos conjuntos
AUB: (2,4,18,17,7,8,6,10,11,12,14,13,)Intersección: son los elementos que están en ambos conjuntos al mismo tiempo
AnB:(7,8)
Diferencia: son los elementos que no están en el conjunto de origen
A-B:(10,11,12,14,13)
B-A:(2,17,4,18,6)...