“Universidad Técnica de Cotopaxi”

Nivelación Ingeniería en Informática y Sistemas Computacionales

Facultad de Ciencias de las Ingeniería y Aplicadas

BRYAN CUJI

Nivelación en Ingeniería en Informática y

Sistemas Computacionales

Susana Pallasco

1
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

La lógica proposicional aplicada a la informática.

Introducción

La lógica proposicional es una de las temáticas de la asignatura de las matemáticas en el

presente ensayo daré a conocer como la misma está relacionada a la informática,

primeramente daré a conocer un pequeño resumen acerca de la lógica proposicional, además

de en qué área de la informática está incluido las proposiciones, y la pregunta que me he

planteado es “¿la lógica proposicional está relacionada con la informática?, este trabajo está

dirigido a dar a conocer la importancia de la lógica en el desarrollo de programas en el área de

la informática, el método que se empleara es un trabajo en el cual consistirá el empleo

constante de citas en los cuales se realizaran comentarios acerca de cada una de las citas, para

dar a conocer la idea transmitida a partir del presente ensayo,

Pero en qué área explícitamente, de qué manera se relacionan y para esto empleare

artículos y además se emplearan libros, como por ejemplo: Lógica de Matemática para

Ingeniería de Sistemas y Computación, Lógica Matemática y Computabilidad, Programación

y Lógica Proposicional, Fundamento de Informática, Introducción a la Lógica, Lógica

Proposicional para Informática, Lógica Computacional, no obstante no solo se emplearan

libros sino que también se utilizaran artículos de revistas como por ejemplo: la revista

Educación en Ingeniería, las matemáticas revelan datos curiosos sobre Star Wars, relación

entre lógica y la Informática, entre otros, esto con el objetivos de dar a conocer una idea clara

y explícita sobre el uso de la lógica proposicional en la informática, a partir de ejemplos que

nos darán una idea sobre su utilización en cada asignatura en este caso la informática, y con

esto llegaremos a una conclusión lógica. Como todos conocemos la lógica es una sub área de
2
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

las matemáticas en donde se encuentran relacionados con un valor de

verdad (v) u otro falso (F).

El trabajo está dirigido únicamente a la relación que existe entre la matemática y la

programación en informática, especialmente se tomaran en cuenta la lógica proposicional por

parte de la matemática y la programación por parte de la informática, que es la causa principal

para la realización del presente ensayo, y así ponerla en práctica para los alumnos que

estudian ingenierías en sistemas.

Palabras clave.

 Datos curiosos  Razonamiento

 Algoritmo  Análisis

 Teoría de grafos  Especialización

 Calculo  algoritmo

 Ordenador

 Internet

 Conocimiento

 Sistemas inteligentes

 software

Desarrollo

Además demás las conectivos de la proposición tales como son la conjunción, disyunción,

disyunción exclusiva, condicional y bicondicional, no solo son aplicables para encontrar

valores de verdad si no que sirven para los circuitos también conocidos como puertas lógicas

en donde ya se emplea el número 1 y el 0, también en esta solo se emplean la disyunción y la

3
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

conjunción, Ana Fernández (1998) afirma “Un circuito digital es un

circuito electrónico cuyas entradas y salidas solo pueden tomar dos niéveles distintos de

tención (…) se representan como 1 (verdadero) o 0 (falso), que es un sistemas sin memoria

(…) solo depende del valor de entrada” (P.30, 31) esto nos confirma que 1 es un circuito

abierto en donde pasa la información y 2 es un circuito cerrado no pasa la información, esto

es resumidamente lo que trata los circuitos en donde la disyunción es circuido paralelos y la

conjunción es un circuito en serie, que también se aplica en la informática.

La lógica proposicional es una ciencia que estudia dos valores que pueden tratarse de

verdad o falso, que vendrían hacer las variables, pero no solo se emplea verdadero V o falso

F, sino que estos valores pueden ser sustituidos verdadero por el número (1) y falso por el

número (0), en base a esto se conoce que en programación se emplean los códigos binarios en

donde también se encuentran incluidos el 0 y el 1, Sergio Córdoba (2001) afirma “una

proposición es un enunciado, frase o expresión, que tiene un significado determinado y que

mediante un criterio definido puede ser clasificado inequívocamente como verdadero o

falso.(…)”(p.10), esto nos da a entender que la lógica proposicional ocupa diferentes valores

para ser representado como P y Q en los cuales están incluidos las proposición de verdad o

falso, y además nos dice que estos valores son empleados en cualquier país , por la razón de

que las matemáticas es una asignatura de lenguaje universal.

Sim embargo esta es relacionada con la informática Ángel Arias (2005) afirma “sabemos

que todos los conocimientos son necesarios para ser un buen desarrollador; hay un sinfín de

posibilidades que se pueden realizar a través del lenguaje de programación (…)” (P. 161), con

esto nos damos una idea acerca como interviene la lógica en una de las derivadas de la

informática que es la programación en donde nos dice que hay algunas formas de programar a

un ordenador en la cual se debe de tener en cuenta que se en esta se pueden involucrar valores

4
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

que pueden ser verdaderos y otros que pueden ser falsas, pero son

valores definidos, y además nos dice que estos valores no son variables sino que están

especificados, es decir que si es verdadero, seguirá siendo verdadero y que si es falso seguirá

siendo faso, o hasta que se unan con; conjunción, disyunción, disyunción exclusiva,

condicional o bicondicional, que son las proposiciones de la lógica.

Luis Pardo (2006) afirma “En el año 1990, D. Hilbert imparte una conferencia plenaria en

el ICM basada 23 problemas que considera los problemas centrales que debe ser tratados por

la matemática, entre esos problemas destacamos en el que más incide el futuro desarrollo de

la informática” (P.5), en esta fuente nos afirma ya la estrecha relación que existe entre las

matemáticas y la informática y que ha sido tomado como que la lógica proposicional es

indispensable para la informática ya que nos dice que de ella depende el futuro de la misma el

problema que presento fue “Dar un algoritmo que resuelva el siguiente problema: Dado un

polinomio univariariado f ∈ Q[X1, . . . , Xn], decidir si existe una solución en Q” , es decir, decidir si

existe x ∈ Q” tal que f(x) = 0.”Luis. 2006) (P.6), al decirnos, decidir si existe nos está dando a

entender que se encontrara si ese algoritmo será verdadero o por el contrario será falso de esta manera

se está relacionando la programación con la matemática.

La relación entre la informática y las matemáticas es muy útil por la razón de que les

permiten realizar procedimientos matemáticos en un computador a través de la programación

un ejemplo claro de la relación que existe entre las matemáticas y la informática es un artículo

titulado las matemáticas revelan datos curiosos sobre STAR Wars , Sarah Romero (NA)

afirma “Gracias al nuevo algoritmo -desarrollado en el Laboratorio de Procesamiento de

Señal 2 (LTS2)- que aprovecha los principios de la teoría de grafos y los cálculos

matemáticos llevados a cabo por un ordenador, los expertos pusieron a prueba el software con

centenares de webs en la red dedicadas exclusivamente a la exitosa saga que ha trascendido la

5
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

gran pantalla” (P:2), este es un claro ejemplo de la relación de estas

dos asignaturas que se encuentran relacionadas por la razón que las dos debe ser exactas

porque para la informática si se realiza un programa defectuoso este no se ejecutara, pero si se

encuentra bien estructurado y exacto este de desarrollar de manera correcta y sin problemas.

Conclusión

 la lógica proposicional esta involucran de una manera muy importante con la

informática por la razón de que la informática emplea métodos de matemáticas para

realizar sus programas que permite que estas programaciones se realicen de una

manera importante, además otra de las razones es que en matemáticas en

proposiciones se emplea verdadero o falso que también son escritos como 0 y 1 en

donde 0 es falso y 1 es verdadero, que en informática vendría a ser el sistema vinario

compuesto por ceros y unos.

 Otras de las razones por que son importantes es que las dos son ciencias exactas solo

existe si es verdad o falso no existe dudar en ninguna de las dos, además las

propiedades de la proposición se pueden realizar mediante cuadros de verdad, y que

gracias al avance en la informática todo esto se puede realizar mediante programas que

se pueden instalar un computador.

 Otra de la razones en la cual esta relacionada las matemáticas es que antes se

realizaban problemas que son exactos y que no eran confiables por la razón de que no

se aplicaba de manera correcta las matemáticas y cada una de sus fórmulas y esta era

la razón por la cual la informática y sus programas desarrollados no eran confiables

ahora con la aplicación correcta sus programas cada vez son más exactos.

6
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

BIBLIOGRAFIA

Revistas.

 Romero Sarah (NA). Las matemáticas revelan datos curiosos sobre Star Wars. Muy

interesante (P.2)

 Serna Edgar (junio del 2013). La lógica en las ciencias computacionales. Educación en

ingeniería. (Vol.8).

Libros

 Sergio C. (2010). Lógica Matemática para ingeniería de sistemas y computación,

Armenia, Colombia, Ediciones Elizcom

 Sancho R. (NA).Lógica matemática y Computabilidad. Zaragoza España. Ediciones

Días de Santo S. A.

 Arias a. (2014). Programación y lógica proposicional. Estados Unidos, editoriales

ISBN.

 Labra J., Fernanda A. (1998) Lógica proposicional para informática. Olivedo- España,

NA

 Pedro Luis (2006).Introducción a la Informática.

 Sáez F., Fernández G.(NA). Fundamentos de Informática. España, editorial ANAYA

 Zalabardo J. (2002). Introducción a la Teoría de la Lógica, Alianza Editorial

 Paniagua E, Sánchez G, Rubio F, (2003). Lógica Computacional, Madrid- España.

Ediciones Paraninfo, S. A.

Web grafía

7
 “Universidad Técnica de Cotopaxi”
Nivelación Ingeniería en Informática y Sistemas Computacionales
Facultad de Ciencias de las Ingeniería y Aplicadas

 Cristina Ana (21-04-2016). ¿Qué relación tiene las matemáticas

y la informática?, Superprof, Recuperado de: http://www.superprof.es/blog/vinculo-

entre-las-matematicas-y-la-informatica/

 Young R. (21-08-2013). Relación entre lógica y la informática. Prezi. Recuperado de:

https://prezi.com/r2-akr_j6w1i/relacion-entre-la-logica-y-la-informatica/