Lógica De Predicados

UNIVERSIDAD ALEJANDRO DE HUMBOLDT
VICERRECTORADO ACADÉMICO
INGENIERÍA EN INFORMÁTICA
SEDE – EL BOSQUE
ASIGNATURA: LÓGICA

Lógica de Predicados
Lógica de Predicados



Caracas, Febrero de 2012.
INDICE

| pp. |
INTRODUCCIÓN………………………………………………………………………………………… | 3 |
Los Predicados……………………………………………………………………………………………… | 4 |
Lógica de Predicados……………………………………………………………………………. | 4 |La Variables……………………………………………………………………………………. | 5 |
La Constante.…………………………………………………………………………………. | 6 |
Las Funciones…………………………………………………………………………………… | 6 |
Cuántica de un Universo Finito…………………………………………………. | 7 |
Formas de Lógica………………………………………………………………………………………. | |
Tautología y Contradicción……………………………………………………………. | |
Lista de equivalencia…………………………………………………………………………. | |Principios de Sustitución……………………………………………………………… | |
Razonamiento de Cuantificadores……………………………………………… | |
CONCLUSIONES………………………………………………………………………………………………… | |
FUENTES BIBLIOGRÁFICAS………………………………………………………………………. | |

INTRODUCCIÓN.

Se dice que la Lógica es aquella que se ocupa del estudio del razonamiento. Sin embargo hoy en día eso podría considerarse un poco parcial por laenorme extensión y diversidad que ha alcanzado esta disciplina, pero puede servirnos como primera aproximación a su contenido.
El estudio de la lógica se remonta al siglo IV a.C., cuando Aristóteles la puso a la cabeza de su sistema filosófico como materia indispensable para cualquier otra ciencia, años después otros pensadores fueron utilizándola para el desarrollo de las ciencias, aplicándolaasí en distintas áreas.
Dentro de la Lógica podemos encontrar la Lógica de Predicados, la cual en La evolución de los últimos años en la informática se aplica en la programación, derivada de la  programación declarativa. La cual se centra en conseguir sistemas que demuestren automáticamente teoremas.
A continuación se presentara una breve información sobre la Lógica de Predicados: definición,conjuntos simbólicos, Cuántica de un Universo Finito, Formas de Lógica, Tautología y Contradicción, Lista de equivalencia, Principios de Sustitución y por ultimo el Razonamiento de Cuantificadores.

Los Predicados.
De acuerdo a Baier, J. (s/f) Los predicados son sentencias abiertas, en las que se incluyen una o más variables. También se les llama función proposicional. Estos enunciados no sonni verdaderos ni falsos, si no se especifican los valores de las variables.(pp. 112)
Un predicado se convierte en una proposición cuando todas las variables que aparecen en él, se remplazan por opciones permisibles del universo de discurso.

Lógica de Predicados.
En la Revista «Hiperenciclopédica» de Divulgación del Saber (2011) define a la lógica de predicados como aquella que  “Estudia lasfrases declarativas, teniendo en cuenta la estructura interna de las proposiciones. Los objetos y las relaciones entre los objetos serán los elementos básicos”. (s/p)
Mientras que Labra, J. y Fernández, D. (s/f) describe a la lógica de predicados como aquella que “estudia las frases declarativas con mayor grado de detalle, considerando la estructura interna de las proposiciones. Se tomarán comoelementos básicos los objetos y las relaciones entre dichos objetos”. (pp. 2)
De acuerdo a esto podríamos definir a la lógica de predicado como aquella que se utiliza para expresar de forma más amplia las proposiciones de manera que nos permite razonar las relaciones entre los objetos, estudia la oración teniendo en cuanta sus dos componentes que son el sujeto y el predicado.
Con la lógica depredicados se intenta conseguir sistemas de demostración automática de teoremas, partiendo de elementos básicos como las frases declarativas simples o proposiciones que son aquellos elementos de una frase que constituyen por sí solos una unidad de comunicación de conocimientos y pueden ser considerados Verdaderos y Falsos. Además, las frases declarativas con mayor grado de detalle, considerando la...