Introducción a la lógica de

programación
 Razonar Procesar

Es ejecutar una serie de

actividades
Es ordenar ideas para
interrelacionadas entre sí
llegar a una conclusión
que pretenden un
objetivo común.

La lógica es la ciencia que estudia el proceso de

razonar.
• Es la ciencia que estudia las actividades que
realizamos para ordenar nuestras ideas y llegar a
una conclusión.

Educando al pensamiento
para que razone de
acuerdo a ciertas reglas;
Como Ser más con ello podremos ser
más eficientes al
lógicos? momento en que
ordenamos nuestras
ideas y sabremos cómo
utilizarlas mejor.
 Silogismo
Enunciado

Argumento que consta de tres o más

proposiciones, la última de las Expresión linguística que
cuales se deduce de las otras. establece un
pensamiento completo..

Pueden ser :
• Interrogativos
Donde argumento es un sistema de
• Imperativos
enucniados expresados en un lenguaje
• declarativos
determinado, un enunciado es una
conclusión y el resto son premisas.
 • Una proposición termina siendo una
afirmación o negación construida en
forma de sentencia (sujeto y
predicado).

Ejemplo:
Silogismo

Todos los perros son mamíferos Premisa mayor

Fido es perro Premisa menor
∆ Fido es mamífero Conclusión
• La calidad de las premisas depende de su apego a la
realidad, y pueden ser del sig. modo:
Falsas (F) Verdaderas (v)
Si la premisa no Si la premisa respeta
respeta a la realidad a la realidad

• La calidad de una conclusión depende del grado en que es

determinada por las premisas, y pueden ser del sig. modo:
Incorrectas (I) Correctas (C)
Si las premisas no Si las premisas
proporcionan todos proporcionan todos
los elementos para los elementos para
inferir una conclusión inferir la conlusión.
 Ejemplo:

Todos los perros son mamíferos V

Fido es perro V
∆ Fido es mamífero
V Y C

Todos los perros son mamíferos V

Fido es mamífero V
∆ Fido es mamífero
V Y I
• Es la habilidad pensar de manera razonada, sistemática y
ordenada, que nos hace capaces de inferir algoritmos
abstractos y soluciones a problemas de negocios, que
fácilmente pueden ser implementadas a través de código
escrito en un lenguaje de programación determindao.

• Un dato de entrada: es aquél que se el proporciona a un

proceso para que genere datos de salida.
• Proceso: es el conjunto de operaciones atirmetico/lógicas a
las que son sometidos los datos de entrada .
• Un proceso puede llegar a ser un poco complicado,
por lo que es posible dividir las premisas de tal forma
de tal forma que nos den un marco de referencias
mas claro.

• La finalidad de los enunciados puede identificarse de

la sig. manera:
1. Enunciados de asignación de valores:
o Dan a conocer datos cuyo valor puede ser variable.
o Nos lleva a la recolección del dato.
2.-Enunciados de valor preexistente:
Dan a conocer datos cuyo valor es aceptado, y que no
es necesario preguntar.
3.-Enunciados de cálculo:
Son aquellos que involucran una operación entre datos
conocidos.
4.-Enunciados condicionales:
Son aquellos que provocan un cálculo o asignación
dependiendo de un juicio de valor.
5.-Enunciado de resultado:
Son aquellos enunciados de asignación de valores,
producto de la aplicación de los enunciados de cálculo.
• En un programa lo máss común es que se
recopile información (enunciado de
asignación de valores), que se complementen
con reglas generales (valores preexistentes), y
se procesen (enunciados de cálculo) para
generar datos de salida (enunciado de
resultado).
• Principios relacionados con los datos de
entrada:
– Principio de economía de los datos
– Principio de autosuficiencia de los datos
– Principio de compatibilidad de los datos
– Principio de conocimiento preestablecido
• Principios relacionados con el proceso :
– Principio de consistencia del resultado
– Principio de eficiencia del proceso
– Principio de eficacia del proceso
– Principio de simplicidad del proceso
– Principio de la independencia de los procesos
– Principio de reutilización de los procesos
– Principio de rastreabilidad de las operaciones.
• Principios relacionados con los datos de
salida:
– Principio de cantidad y forma
– Principio de exactitud
– Principio de dominio de salida