Asignatura Datos del estudiante Fecha

Apellidos: puerta mendoza

Matemáticas
discretas
Nombre: Jhon Freddy

Actividad
Protocolo individual de la unidad n°: 4

Análisis y síntesis: 
Síntesis e interpretación personal de los temas vistos en la unidad

Lógica e inferencia lógica

La lógica es el estudio de los principios del razonamiento válido y la inferencia, como

también de la consistencia, solidez y completitud. Por ejemplo, en la mayoría de los
sistemas en la lógica, la ley de Peirce, (((P→Q)→P)→P) es un teorema. En lógica
clásica, puede ser fácilmente verificado con una tabla de verdad. El estudio de las
demostraciones matemáticas es particularmente importante en lógica y tiene
aplicaciones en la demostración automática de teoremas y verificación formal de
software.
Las fórmulas lógicas son estructuras discretas, como lo son las demostraciones, las
cuales forman árboles finitos, o más generalmente, estructuras de grafos a cíclicos (en
cada paso de inferencia combinando una o más ramas de premisas para dar una sola
conclusión). Las tablas de verdad de fórmulas lógicas usualmente forman un conjunto
finito, generalmente restringido a dos valores: verdadero y falso, pero la lógica puede
tener valores continuos, por ejemplo, en la lógica difusa. Los conceptos como árboles
de demostraciones o derivaciones infinitas también han sido estudiados, por ejemplo,
en la lógica proposicional infinita ría.
La programación lógica es un tipo de paradigmas de programación dentro del
paradigma de programación declarativa. El resto de los sub-paradigmas de
programación dentro de la programación declarativa son: programación funcional,
programación con restricciones, programas DSL e híbridos. 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 matemático. La programación lógica gira en torno al
concepto de predicado, o relación entre elementos.

Discusión: 
Dudas, desacuerdos, discusiones
Asignatura Datos del estudiante Fecha
Apellidos: puerta mendoza
Matemáticas
discretas
Nombre: Jhon Freddy