La definición de lógica

,PROPOSICIONES LÓGICAS

La evolución de los últimos años en la informática en aplicar la lógica en la programación ha derivado en la programación declarativa. La programación declarativa se fundamenta en la teoría en la lógica de predicados. Esta lógica se centra en conseguir sistemas que demuestren automáticamente teoremas. El lenguaje es el instrumento que se usa para la comunicación entre humanos. El lenguaje está formado por frases, entre ellas podemos distinguir: frases imperativas, frases interrogativas y frases declarativas

La definición de lógica, disciplina que estudia métodos de formalización del conocimiento humano "de los métodos de formalización de frases declarativas"

La lógica se clasifica:

•Lógica proposicional o lógica de enunciados:

Se parte de un elemento simple, las frases declarativas simples, las cuales tienen significado ellas mismas o la unión entre ellas, forman una frase. Esto inicia una unidad de comunicación de conocimientos, las cuales se les denomina proposiciones, y toman el valor verdadero o falso.

•Lógica de predicados: Estudia las frases declarativas, teniendo en cuenta la estructura interna de las proposiciones. Los objetos y las relaciones entre los objetos serán los elementos básicos. Podemos distinguir:

- "Qué se afirma: relación

- De quién se afirma: objeto" (José Emilio Labra Gayo, Daniel Fernández Lavín, E.U.I.T.I.O.)

Lógica de Predicados (LP de Orden Cero).

Con la lógica de predicados intentamos conseguir sistemas de demostración automática de teoremas. Partimos 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. La lógica de predicados estudia las frases declarativas con mayor grado de detalle, considerando la estructura interna de las proposiciones. Se tomarán como elemento básico los objetos y las relaciones entre dichos objetos

...