Logica

| REPUBLICA BOLIVARIANA DE VENEZUELAMINISTERIO DEL PODER POPULAR PARA LA DEFENSAVICEMINISTERIO PARA LA EDUCACIONUNIVERSIDAD MILITAR BOLIVARIANAACADEMIA TECNICA MILITAR BOLIVARIANA“NUCLEO COMUNICACIONES Y ELECTRONICA” | |



Trabajo Lógica

Docente: | | Realizado por: |
Prof. Freddy Glasgow | | Cad. Pimienta Rincón |
| | 2año Sección A De Informática |
| | |Maracay, enero de 2013
Índice
Portada1
Índice2
Definición e importancia de la lógica3
sintaxis de la lógica proposicional(operadores lógicos) 4
Tablas de verdad4
Tautología, contradicción y contingencia4 y 5
Leyes6 y 7
Equivalencia lógica7 y 8
Implicaciones lógicas 8
Inferencia lógica8
Validación de un razonamiento 9, 10 y 11
Referencias12

DEFINICIÓN E IMPORTANCIA DE LA LÓGICALa lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo (logike), que significa dotado de razón, intelectual, dialéctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razón o principio.
La lógica examina la validez de los argumentos en términos de su estructura lógica, independientementedel contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia normal.
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica hamostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructuraformal estricta. La tradición aristotélica y estoica, mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje, tal relaciónse trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.

SINTÁXIS DE LA LÓGICA PROPOSICIONAL (OPERADORES LÓGICOS)
La sintaxis se refiere a la construcción de las formulas, de manera correcta, así como a su adecuado uso.PRINCIPALES NOTACIONES SIMBÓLICAS
 Existen diferentes notaciones simbólicas, pero pueden reducirse a tres: la de Scholz, la de Peano-Russell y lade Lukasiewicz.
Las tablas siguientes muestran las correspondencias de las principales notaciones simbólicas:

Sistemas | Negación | Conjunción | Disyuncióninclusiva | Condicional | Bicondicional |
Scholz | ~p | p q | p q | p---q | p---q |
Peano-Russel | ~p | p. q| p q | p q | p=q |

TABLAS DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición
Compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo
Ludwig Wittgenstein en suTractatus logico-philosophicus, publicado en 1921.
 … 
En realidad toda la lógica está contenida en las tablas de verdad, en ellas se nos manifiesta todo lo que implican
Las relaciones sintácticas entre las diversas proposiciones.
•TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de verdad  para sus proposiciones componentes. Dicho de...