Nombre: Omar Hiraldo

Matricula: 2021-1883

Maestra: Marisol Alvarez

Materia: Fundamento de programación

Fecha: 18/08/2022
Basado en la lectura sobre la logica contestar las siguientes preguntas

1. Defina que es la logica.

2. Tipo de logica
3. Sus usos en la programacion .
4. Quien es el padre de la logica
5. Cuales son los axiomas fundamentales de la logica
6. Defina logica computacional.
7. Hacer Diapositiva si va hablar del tema

Respuesta.

1. La lógica es una ciencia formal, que forma parte de la filosofía y de las

matemáticas. La lógica es una disciplina sumamente antigua, nacida de
manera independiente entre los pensadores de las grandes civilizaciones
clásicas y antiguas, como la china, la griega o la india. Desde sus inicios, se la
comprendió como una forma de juzgar el pensamiento para comprobar su
validez formal, o sea, para reconocer cuál es el procedimiento ideal de
razonamiento, aquel que conduzca realmente a la verdad.
2. Lógica filosófica, Lógica aristotélica, Lógica matemática, Lógica
computacional y Lógica formal e informal.
3. Lógica filosófica: Se trata de una disciplina muy cercana a la filosofía del
lenguaje, y es esencialmente una continuación de la lógica de la antigüedad,
centrada en el pensamiento y el lenguaje natural.

• Lógica aristotélica: En ellos se despliega todo un sistema lógico que

fue sumamente influyente en Europa y Oriente Medio hasta después
de la Edad Media.
• Lógica matemática: Esto implica el estudio del proceso de la
inferencia, mediante sistemas formales de representación, como la
lógica proposicional, la lógica modal o la lógica del primer orden, los
cuales permiten “traducir” el lenguaje natural al lenguaje
matemático para poder desarrollar así demostraciones rigurosas.
 • Lógica computacional: Podría decirse que, a grandes rasgos, la lógica
computacional aspira a alimentar un sistema informático a través de
estructuras lógicas que expresen, en un lenguaje matemático.
• Lógica formal e informal: También se distingue a menudo entre dos
campos separados de la lógica: la formal y la informal, a partir de su
abordaje del lenguaje en que se expresen los enunciados.

4. Aristóteles es considerado el padre fundador de la Lógica.

5. El principio de no contradicción. Según el cual algo no puede ser y no ser a la
vez (A y ¬A no pueden ser ciertos a la vez).
• El principio de identidad. Según el cual algo siempre es idéntico a sí
mismo (A siempre es igual a A).
• El principio del tercero excluido. Según el cual algo es o no es
verdadero, sin que existan gradaciones posibles (A o entonces ¬A).

6. La lógica computacional es la misma lógica matemática pero aplicada al

ámbito de la computación, o sea, a diversos niveles fundamentales de la
informática: los circuitos computacionales, la programación lógica, y la
gestión de los algoritmos.