LA LOGICA EN PROGRAMACION

La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
La programación lógica comprende dos paradigmas de programación: la programación declarativa y la programación funcional. La programación declarativa gira en torno al concepto de predicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más.

Logica Deductiva: El pensamiento deductivo parte de categorías generales para hacer afirmaciones sobre casos particulares. En un razonamiento deductivo válido la conclusión debe derivarse necesariamente de las premisas, esto quiere decir que si las premisas del razonamiento son verdaderas, la conclusión será verdadera. Dicho de otro modo, la conclusión se deduce necesariamente a partir de las premisas. Por medio de un razonamiento de estas características se concede la máxima solidez a la conclusión, las premisas implican lógicamente la conclusión. Y la conclusión es una consecuencia lógica de las premisas.

ARGUMENTOS:La palabra argumento: (del latín argumentum: prueba o razón para justificar algo como verdad o como acción razonable) es la expresión oral o escrita de un raciocinio[1] . Se aplica a un discurso con referencia a un contenido que se dirige al interlocutor con finalidades diferentes:
Como discurso dirigido al entendimiento para la transmisión de un contenido cognoscitivo con sentido de verdad.
Como discurso dirigido a la persuasión[2] de la voluntad como motivación para una determinada acción.
También se usa para expresar el resumen del contenido de obras narrativas como una novela o un cuento o una película (ver Estructura argumental)

PREMISAS: Se denomina premisa a cada una de las proposiciones de un razonamiento que dan lugar a la consecuencia o conclusión de dicho razonamiento. Las premisas son expresiones lingüísticas que afirman o niegan algo y pueden ser verdaderas o falsas.
Hay razonamientos de una premisa (hubo al menos un testigo), y razonamientos con más de una premisa. Así sucede con los silogismos ordinarios, que con una sola premisa (por ejemplo: Juan lo vio todo). Por lo tanto, de una premisa mayor (que contiene el término mayor, predicado de la conclusión) y una premisa menor (que contiene el término menor, que hace de sujeto en la conclusión). Por ejemplo:
Todos los mamíferos son animales de sangre caliente (Premisa mayor).
Todos los humanos son mamíferos (Premisa menor).
Por tanto, todos los humanos son animales de sangre caliente (Conclusión).

CONCLUSION: Una conclusión es una proposición final, a la que se llega después de la consideración de la evidencia, de las discusiones o de las premisas. Es común su presencia en trabajos investigativos o académicos.

CONECTORES LOGICOS