Logica

República Bolivariana de Venezuela
Ministerio del Poder Popular para la Defensa
Universidad Nacional Experimental Politécnica
De la Fuerza Armada Nacional
Núcleo- Anzoátegui

Profesor: Integrantes:
Ing. Ángel Valdez Cruz Angee 23.138.408Cruceliz Sabala 17.009.768
Leomar Parra 20.170.198
Jose Jaimes 19.630.397

San Tome, febrero de 2011
Introducción:

El teorema de Gödel es uno de los resultados  fundamentales de las matemáticas del siglo XX y una de las aportaciones cruciales a las matemáticas de todos los tiempos. Por su importancia, es equiparable a la teoría de la relatividad de Albert Einstein o al principio deincertidumbre de Werner Heisenberg. La mayor aportación de Kurt Gödel (1906-1978) es que, junto con otros trabajos de pensadores del siglo XX, sus teoremas establecen límites para las matemáticas en particular y para el conocimiento científico en general. En pocas palabras lo que Gödel nos dice en su teorema es que nunca llegaremos a conocer todos los secretos del Universo.
La lógica difusa seadapta mejor al mundo real en el que vivimos, e incluso puede comprender y funcionar con nuestras expresiones, del tipo "hace mucho calor", "no es muy alto", "el ritmo del corazón está un poco acelerado", etc. La clave de esta adaptación al lenguaje, se basa en comprender los cuantificadores de nuestro lenguaje (en los ejemplos de arriba "mucho", "muy" y "un poco").En la teoría de conjuntos difusosse definen también las operaciones de unión, intersección, diferencia, negación o complemento, y otras operaciones sobre conjuntos (ver también subconjunto difuso), en los que se basa esta lógica. La lógica difusa ha cobrado una fama grande por la variedad de sus aplicaciones, las cuales van desde el control de complejos procesos industriales, hasta el diseño de dispositivos artificiales dededucción automática, pasando por la construcción de artefactos electrónicos de uso doméstico y de entretenimiento, así como también de sistemas de diagnóstico. De hecho, desde hace ya, al menos, década y media, la expedición de patentes industriales de mecanismos basados en la lógica difusa tiene un crecimiento sumamente rápido en todas las naciones industrializadas del orbe.

Índice:Introducción…………………….……………………………………..…….…………1
Teoría de conjuntos……………………………………………………………….…..2

Lógica modal……………………………………………………………………..…2-3

Lógica multivaluadas…………………………………………………………….……3
Lógica difusa………………….……………………………………………………….3-5

Lógica temporal……………………………………………………………………….5-6

Lógica de orden superior……………………………………………………………..6

Lógica o sistemas axiomáticos que representan a lonatural………………6-8

Teoremas de Gödel…………………..………………………………………………8-9

Conclusión…………………………………………………………………………….10

Bibliografía……………………………………………………...…………………….11

Anexos…………………………………………………….…………………………14-15

Teoría de conjuntos
La Teoría de Conjuntos es una división de las matemáticas que estudia los conjuntos. El primer estudio formal sobre el tema fue realizado por el matemático alemán Georg Cantor, GottlobFrege y Julius Wilhelm Richard Dedekind en el Siglo XIX y más tarde reformulada por Zermelo.
El concepto de conjunto es intuitivo y se podría definir como una "agrupación bien definida de objetos no repetidos y no ordenados"; así, se puede hablar de un conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay en un momento dado encima de una mesa. Un conjunto está biendefinido si se sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede saber si es azul o no. El conjunto de las personas altas no está bien definido, porque a la vista de una persona, no siempre se podrá decir si es alta o no, o puede haber distintas personas, que opinen si esa persona...