Elementos De La Logica

Universidad de San Carlos de Guatemala
Salón 310
Edificio S-10
Matemática I
Lic. Héctor René Ramírez































Nombre Eugenia Sttefannia Figueroa Burrión

Carné: 201214982

Guatemala Julio de 2013
INDICE
TEMA 1
Elementos de lógica simbólica matemática _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 4 - 8

PrincipalesAplicaciones…………………………………………………………………………………..…........... 4
Proposiciones…………………………………………………………………………………..…………………..…. 4 -5
Variables Proposiciones…………………………………………………………………..…………………………. 5
Conectivos Lógicos …………………………………………………………………..……………………………. 5 - 6
Tipos De Conectivos…………………………………………………………………..………………….……….. 6 - 8
Valores de Verdad…………………………………………………………………………………..………............ 8
TablasDe Verdad…………………………..………...................................………………………………... 8
Tipos de Formular una Proposición…………………..………................………………………………... 8
TEMA 2
Teoría de Conjuntos _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 9 - 13

Forma de Definir un Conjunto………………………………………………………………………….…… 9 - 10
Tipos deConjuntos………………………………………………………………………….…………………….….. 10
Relaciones entre Conjuntos……………………………………………………………………………….… 10 -11
Operaciones de Conjuntos……………………………………………………………………………….…. 10 -13

TEMA 3
Sistemas Numéricos _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 14 - 17

Números Naturales………………………………………………………………………….……………………… 14
Números Enteros………………………………………………………………………….………………..… 14 - 15
Números Racionales………………………………………………………………………….………….….. 15 - 17
NúmerosIrracionales………………………………………………………………………….……………….….. 17

Conclusiones _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 18

Bibliografía _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 19
Anexos _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _20



INTRODUCCIÓN

Desde el momento que el ser humano tomó entre susmanos un puñado de piedras u observó un grupo de animales, tomó conocimiento del "conjunto". Sin embargo, por tratarse de conceptos matemáticos debemos fijar con exactitud el significado de cada término para no dar lugar a contradicciones o interpretaciones erróneas.
Los sistemas de numeración son conjuntos de dígitos usados para representar cantidades, así se tienen los sistemas de numeracióndecimal, binario, octal, hexadecimal, romano, etc.
Los sistemas de numeración son las distintas formas de representar la información numérica. Se nombran haciendo referencia a la base, que representa el número de dígitos diferentes para representar todos los números.














ELEMENTOS DE LÓGICA SIMBÓLICA
La lógica matemática estudia los sistemas formales en relación con el modoen el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.PRICIPALES APLICACIONES
Filosófica y crítica
Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
Teoría de modelos: Es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.

Teoría de la computabilidad: Es la parte de la computaciónque estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con una máquina de Turing, clasifica las funciones computables según el uso que hacen de diversos recursos en diversos tipos de máquina.

Teoría de conjuntos: Es una rama de las matemáticas que...