UNIVERSIDAD NACIONAL TECNOLOGICA DE LIMA SUR-UNTELS

FACULTAD DE ADMINISTRACIÓN DE EMPRESAS

Trabajo presentado para la asignatura de

Matemática Básica

Dirigida por la Mg. Salazar Dávila María del Pilar

Título: La lógica como el mayor aporte a la programación

Estudiantes:

Velarde Padilla, Luis Antonio

Vilca Velásquez, Luz Mayleni
Yauri Aquino, Jimmy Brando
Tejada Hinostroza Marko Zendel
Blacido Casas Luis Fabricio
Siesquen Morales Richard Mauro

Villa el Salvador-Perú
2022

1
 Introducción

La lógica juega un papel básico en la informática (lenguajes de programación, inteligencia

artificial, seguridad informática, etc.), sin duda uno de los fundamentos que proporcionan la

madurez y agilidad necesarias para asimilar los conceptos, lenguajes, técnicas y herramientas

informáticas que surjan en el futuro. Es así que los informáticos necesitan analizar las

propiedades lógicas de sus sistemas mientras los diseñan, desarrollan, verifican y mantienen,

especialmente cuando se trata de sistemas críticos (económicamente, o en seguridad,

privacidad o eficiencia). Para llevar a cabo todo es campo de la programación se ha de

estudiar en profundidad las dos lógicas más importantes, la proposicional y la de primer

orden.

2
 Problemática

1. ¿Qué se pretende investigar?

2. ¿Cúal es la importancia del presente estudio que se va realizar?

3. ¿Qué se va realizar en el proyecto de investigación?

4. ¿Cuáles serán los beneficios del siguiente estudio?

3
 Justificación

1. Se pretende hacer una investigación del sobre la relación causa - efecto de la lógica

proposicional y la programación

2. Al conocer la relación que hay, es posible conocer más a fondo qué representa cada una

de ellas y cómo llegaron a ser tan relevantes en el día a día, además de ver posibles casos que

sería una sin la otra entre otras variaciones.

3. Se realizará un cuestionario el cuál será respondido sobre qué consiste, entre ellos se

tienen conceptos, características, hechos y consecuencias; también se dará a conocer cómo los

conceptos de lógica son introducidos en la creación de un lenguaje de programación.

4. La investigación busca proporcionar información tanto para la comunidad general de

educación como así también otras áreas específicas como la matemática y la informática.

4
 Objetivos

1. Entender qué es la lógica y para qué sirve

2. Familiarizarse con la lógica de proposiciones: principios, sintaxis y semántica

3. Ser capaz de realizar manipulación sintáctica en lógica de proposiciones

4. Entender el concepto de manipulación semántica

5. Papel de la lógica en la Informática: programación, álgebra de Boole e Informática

5
 Cuerpo de trabajo

1. ¿Es la lógica proposicional la madre de todo razonamiento?

Originalmente fue derivada de la Filosofía, pero con su desarrollo a fines del Siglo

XIX fue alejada de la misma, asimilándose como una disciplina mucho más afín a

la Matemática, por lo que en muchos análisis epistemológicos se la tiene en cuenta como una

Lógica Matemática.

Con la llegada del Siglo XX esta ciencia pasó a ser considerada principalmente como una

Lógica Simbólica, utilizando Reglas de Inferencia y reemplazando las distintas aserciones por

simples asignaciones de Símbolos, por lo que posteriormente fue aplicada a las bases de la

Informática, teniendo una estructura meramente de Ciencia Lógica desde aquel entonces.

Ahora, ¿Qué es la lógica proposicional?

Es un sistema formal cuya estructura más simple la constituyen las proposiciones

simples unidas por conectores, las mismas que forman proposiciones más complejas.

Proposición

Es un enunciado informativo o sistema de signos que pueda ser verdadero o falso en virtud de

la demostración de verificación

Clases de proposición

Las proposiciones se clasifican en simples y compuestas según la existencia o no de

conectores.

Proposición Simple

6
 Brinda una sola información de cualidad afirmativa, por lo que no tiene conector lógico.

Son de dos clases:

- Simple predicativa: Formada por sujeto y predicado.

-Simple relacional: Formada por más de un sujeto relacionados con un predicado.

Proposición compuesta

Brinda dos o más informaciones, y sus enunciados están unidos por uno o varios

conectores lógicos. Cuando la información que brinda es negativa, está exenta de conector.

Según el conector lógico, las proposiciones compuestas resultan ser conjuntivas, disyuntivas,

condicionales y bicondicionales. Y cuando no tiene conector, la proposición es una

proposición negativa.

Conjuntiva: Proposición unida por los conectores “y” o “además”, “sino”, “sin embargo”,

“pero “entre otros.

Disyuntivas: Proposición unida por los conectores “o” o “u” entre otros. Son de dos

formas: inclusiva y exclusiva.

-Inclusiva: Cuando puede admitir la verdad de las dos proposiciones que la forman,

-Exclusiva: Cuando puede admitir solo la verdad de una de las proposiciones.

Condicional: Proposición formada por una proposición que actúa como causa

(antecedente) y otra que actúa como efecto (consecuente). Esta proposición está unida por el

conector “si…entonces”

7
 Bicondicional: Proposición cuyas componentes actúan distintamente como antecedente o

consecuente, por lo que están unidos por el conector “si y solo si”, o “cuando y solo cuando”,

“donde y solo donde”, “solamente si”, entre otros.

Negativa: Proposición que no presenta conector gramatical y es de cualidad negativa, por

lo que en él se halla el adverbio “no” o “es falso que”, etc.

Es así que precisamos a la Lógica Proposicional como una rama de la Lógica Matemática,

la cual, por medio de reglas y técnicas, permite validar enunciados.

Por lo tanto, se hace uso de símbolos para poder formalizarse, así como también las reglas

de formación, que junto a las leyes de transformación permitirán formar estructuras más

complejas.

8
 2. ¿Ha sido la programación el principio de la informática?

Todo comenzó con idear y ordenar acciones que se realizarán en un determinado

proyecto; al anuncio de las partes que componen un acto; a la preparación de máquinas para

que cumplan con una cierta tarea en un momento determinado; a la elaboración de programas

para la resolución de problemas mediante ordenadores; y a la preparación de los datos

necesarios para obtener una solución de un problema a través de una calculadora electrónica.

Algoritmos, en un plano más técnico, la programación se realiza mediante el uso de

algoritmos, que son secuencias finitas, ordenadas y no ambiguas de instrucciones que deben

seguirse para resolver un problema. Algunas de ellas pueden agruparse y recibir un nombre

para poder ser invocadas con facilidad tantas veces como sea necesario.

Compilación, es necesario para que el código pueda ser ejecutado por la plataforma para la

cual ha sido creado, que puede ser un ordenador, una tableta, una consola o un teléfono móvil,

por ejemplo. También hay una forma de traducir el código denominada interpretación, que

consiste en analizar línea a línea, hasta que se traduzca lo suficiente como para poder realizar

una tarea. Cabe mencionar que los lenguajes de programación se dividen en dos grandes

grupos, donde los que pueden ser complicados no pueden ser interpretados, y viceversa.

La noción de programación se encuentra muy asociada a la creación de aplicaciones

informáticas y demás cosas aplicadas en la actualidad; es el proceso por el cual una persona

desarrolla un programa valiéndose de una herramienta que le permita escribir el código, el

cual puede estar en uno o varios lenguajes tales como “C”, “C++, JAVA, Python”, entre otras
9
de tal manera que sea capaz de TRADUCIRLO a lo que se conoce como lenguaje de

máquina, el cual puede ser entendido por microprocesadores.

3. ¿Cómo se ha relacionado la lógica proposicional con la programación?

La programación y la lógica están estrechamente relacionadas. De hecho, teóricamente fue

demostrado que existe un isomorfismo entre ambas. Esto quiere decir que puede llevarse un

sistema de pruebas usado en lógica a los modelos de programación funcional y viceversa, es

decir, el isomorfismo de Curry-Howard

Al momento de programar es normal utilizar, inclusive de forma implícita, una forma de

razonar llamada booleana.

Fue George Boole una de los personajes que desarrolló una forma de álgebra donde los

valores solo pueden ser Verdadero (True) y Falso (False), pues ha sido la lógica booleana

muy importante dentro de las ciencias de la computación ya que puede realizarse un perfecto

paralelismo con el sistema de numeración binario donde cada bit puede tener como valor

el 1 o el 0.

Debido a esto, es normal ver que este sistema se lo utilice para establecer valores de

verdad. De hecho a la hora de establecer condicionales y bucles suele emplearse un tipo

booleano. Además esta lógica es muy buena para representar elementos que solo pueden

adquirir dos valores. Aun así la lógica no se restringe solo a esta forma de pensar y trabajar

sino que se extiende mucho más existiendo muchos tipos diferentes.

10
 4. ¿Es posible desarrollar lenguajes de programación sin lógica proposicional?

No, esto sería debido a que sin este sistema usado como razonamiento; nadie podría

hacerse alumno de Informática, pero ahora ¿Por qué debería un informático aprender Lógica?

En relación al modelado de tareas que se realiza con el objetivo de automatizarlas en un

ordenador, se debe tener en cuenta que esta automatización requiere del modelado de

procesos que se realizan por humanos de formas muy distintas, y debemos ser capaces de

realizar esta tarea de manera óptima (en lo que interviene la Lógica como modelador de

tareas) y de verificar que el proceso implementado en el ordenador es correcto (donde la

Lógica es insustituible).

Pero, además, hay aplicaciones específicas relacionadas con la computación en las que la

Lógica juega un papel fundamental. Por ejemplo: Descripción de semántica de lenguajes de

programación; Corrección de sistemas y protocolos informáticos; Descripción del hardware

informático; Razonamiento Automático; Modelado de Sistemas Inteligentes; etc.

11
 5. ¿Por qué el sistema binario fue la clave para representar información?

La tecnología digital que conocemos hoy en día no se desarrolló totalmente hasta el siglo

XX, momento en el que se fabricaron las primeras calculadoras electrónicas. Los pioneros de

la tecnología informática tuvieron que traducir números y letras de manera que los

ordenadores pudieran interpretarlos. El código binario era perfecto y parecía predestinado

para ello, porque la abstracción de unos y ceros podía traducirse a estados físicos. Dentro del

campo de la ingeniería eléctrica, el cero quiere decir que no pasa corriente y el uno, que sí

pasa.

Las tarjetas perforadas también contienen información basada en el código binario.

Permiten almacenar la información de forma permanente y, al mismo tiempo, esa información

puede ser interpretada por un ordenador. Estas tarjetas ya se utilizaban antes de que se

inventaran los ordenadores, por ejemplo, en las cajas de música basadas en mecanismos de

manivelas.

Puede parecer que cuando hablamos de código binario y de sistema binario nos referimos a

dos conceptos sinónimos. Sin embargo, una vez que aprendemos cuáles son las características

de un código, es muy sencillo entender la diferencia. Un código binario es un código de

programación que está en binario, es decir, en ceros y unos. En informática y

telecomunicaciones, el código binario se utiliza con diversos métodos de codificación de

datos, tales como cadenas de caracteres o cadenas de bits. Por su parte, el sistema binario es
12
un sistema de numeración, una forma de realizar operaciones con ceros y unos. No necesita de

otro sistema para existir. Por ejemplo, cuando realizamos cálculos utilizando el sistema

binario, no necesitamos recurrir al sistema decimal para obtener los resultados.

(Por continuar)

13
 Referencias

Del Callejo, D., Del callejo, E. y Del Callejo, M. (2016) El pensamiento matemático.

Textos Universitarios

Acosta, T., Pavón, C., & Moy-Sang Castro, S. (2017, 20 junio). Lógica Proposicional.

Pérez Porto, J., Gardey, A. (2009). Actualizado: 2022. Definición de programación

Correspondencia de Curry-Howard (isomorfismo)

Casillas, L (19 de abril 2012). Isomorfismo de Curry-Howard. Ajaxhispano.com.

https://ajaxhispano.com/ask/isomorfismo-de-curry-howard-51791/

Viveros, E., (25 agosto 2011). Sistemas numéricos (Binario, Octal, Decimal,

Hexadecimal).

Matemáticas Discretas evz. https://sites.google.com/site/matematicasdiscretasevz/1-1-

sistemas-numericos-binario-octal-decimal-hexadecimal

14
15