LA LOGICA EN EL DESARROLLO DE

SOFTWARE

Fuente: Secsgraleszona07.blogspot.com
FUNDAMENTOS DE LOGICA EN EL
DESARROLLO DE SOFTWARE
Proposiciones lógicas
La proposición lógica constituye el elemento fundamental de la lógica.
Una proposición lógica es un enunciado lingüístico que debe cumplir con la condición de ser
susceptible de poder ser verdadero o falso.

Por ejemplo:
“La temperatura ambiente es mayor de 20 grados” es un enunciado que puede ser
Verdadero o Falso.
La proposición puede ser verdadera o falsa en un momento dado, decimos entonces que, el
valor de verdad de una proposición lógica es, por definición, verdadero o falso, y es
representado por las letras V o F.
Recordemos que la oración enunciativa se corresponde con los actos de habla
declarativos, los cuales comunican sin más, un hecho: “Juan es Colombiano”. Estas
expresiones contienen un sujeto perfectamente definido o dado por el contexto, un
predicado y una conjugación del verbo ser, observemos algunos ejemplos: Lógica
Matemática 38

Ejemplos:
 Hoy es sábado
 Soy estudiante de psicología
 New York es llamada la capital del mundo.

De esta manera, podemos afirmar que la lógica se ocupa de las proposiciones.

Más adelante, estudiaremos reglas que permiten la transformación de unas
expresiones en otras equivalentes, y veremos como, de acuerdo a estas reglas o
leyes lógicas, a partir del valor de verdad de una o varias proposiciones
logramos inferir la verdad o falsedad de otras proposiciones.
 Representación de las proposiciones
La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento básico de análisis a la proposición, que no es otra cosa que una oración del lenguaje
cotidiano con un significado mucho más limitado; en tales condiciones, se puede considerar una
proposición como una excepción lingüística que tiene la propiedad de ser verdadera o falsa.
Galindo (1999)
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del
alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables
proposicionales; de esta forma, el lenguaje proposicional se hace más simple y exacto que el
lenguaje natural. Así, también se logra simplificar la escritura de argumentos lógicos complicados,
creando un lenguaje simbólico artificial, en donde se establece un conjunto de reglas claras, bien
definidas y que no presentan las ambigüedades ni vaguedades del lenguaje corriente o natural:
Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:

Ejemplos:
p : Hoy es sábado
q : Estudio filosofía
r : Colombia es el país con el mayor número de especies de aves
x : 4 + 3 = 10
 Representación de las proposiciones
La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento básico de análisis a la proposición, que no es otra cosa que una oración del lenguaje
cotidiano con un significado mucho más limitado; en tales condiciones, se puede considerar una
proposición como una excepción lingüística que tiene la propiedad de ser verdadera o falsa.
Galindo (1999)
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del
alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables
proposicionales; de esta forma, el lenguaje proposicional se hace más simple y exacto que el
lenguaje natural. Así, también se logra simplificar la escritura de argumentos lógicos complicados,
creando un lenguaje simbólico artificial, en donde se establece un conjunto de reglas claras, bien
definidas y que no presentan las ambigüedades ni vaguedades del lenguaje corriente o natural:
Los siguientes ejemplos ilustran cómo se pueden simbolizar las proposiciones:

Ejemplos:
p : Hoy es sábado
q : Estudio filosofía
r : Colombia es el país con el mayor número de especies de aves
x : 4 + 3 = 10
En el lenguaje cotidiano se encuentran expresiones como las siguientes:
Ejemplos:
 Las rosas son rojas y tienen espinas.
 ¿La selección Colombia ganó o perdió?
 En el país no hay violencia.
 Si estudio lógica matemática entonces podré determinar la validez de un razonamiento lógico.
 4 es un número par si y sólo si se puede dividir por 2.

Para la formación de las oraciones del ejemplo anterior se utilizaron las expresiones especiales:
y, o, no, si … entonces, sí y sólo si, que sirvieron para unir o enlazar los enunciados;
denominamos a éstas partículas o términos de enlace "nexos o conectivas", que establecen
relaciones sintácticas como función de coordinación y subordinación determinadas entre las
proposiciones que la integran; tal ocurre en la función de las conjunciones en las oraciones
compuestas de la lengua.
Al igual que a las proposiciones, también les asignamos un lenguaje simbólico así:
Que es Criptografía RSA
En criptografía, RSA (Rivest, Shamir y Adleman) es un sistema criptográfico de clave pública
desarrollado en 1979, que utiliza factorización de números enteros. Es el primer y más
utilizado algoritmo de este tipo y es válido tanto para cifrar como para firmar digitalmente.

La seguridad de este algoritmo radica en el problema de la factorización de números enteros.

Los mensajes enviados se representan mediante números, y el funcionamiento se basa en el
producto, conocido, de dos números primos grandes elegidos al azar y mantenidos en
secreto. Actualmente estos primos son del orden de 1*10^300, y se prevé que su tamaño
siempre crezca con el aumento de la capacidad de cálculo de los ordenadores.
EL Algoritmo de Euclides
Algoritmo de Euclides

Es un método antiguo y eficiente para calcular

el máximo común divisor (MCD). Fue
originalmente descrito por Euclides en su obra
Elementos. El algoritmo de Euclides extendido
es una ligera modificación que permite además
expresar al máximo común divisor como una
combinación lineal. Este algoritmo tiene
aplicaciones en diversas áreas como álgebra,
teoría de números y ciencias de la computación,
entre otras. Con unas ligeras modificaciones
suele ser utilizado en computadoras
electrónicas debido a su gran eficiencia.
 ALGEBRA DE BOOLE
Se denomina así en honor a George Boole (1815-1864),
matemático inglés autodidacta, que fue el primero en definirla
como parte de un sistema lógico, El álgebra de Boole fue un
intento de utilizar las técnicas algebraicas para tratar
expresiones de la lógica proposicional. En la actualidad, el
álgebra de Boole se aplica de forma generalizada en el ámbito
del diseño electrónico. Claude Shannon fue el primero en
aplicarla en el diseño de circuitos de conmutación eléctrica
biestables, en 1948. Esta lógica se puede aplicar a dos campos:

• Al análisis, porque es una forma concreta de describir como

funcionan los circuitos.
• Al diseño, ya que teniendo una función lógica aplicamos
dicho álgebra para poder desarrollar una implementación de
la función.

El uso del álgebra de Boole en la Automática se debe a que

buena parte de los automatismos responden a la lógica binaria.
Las variables binarias de entrada son leídas y producen
variaciones en las señales binarias de salidas.
 MAPA DE KARNAUGH
Un mapa de Karnaugh23 (también conocido como tabla de
Karnaugh o diagrama de Veitch) es un diagrama utilizado para la
simplificación de funciones algebraicas en forma canónica. A
partir de la tabla de Karnaugh se puede obtener una forma
canónica mínima (con el mínimo número de términos). En este
texto emplearemos indistintamente los términos “mapa” y
“tabla” de Karnaugh.
Para investigar en trabajo autónomo
 CAPACIDAD Son potencialidades inherentes a la persona, que puede
desarrollarlas a lo largo de toda su vida, dando lugar a la determinación de los
logros educativos.

Proceso mental por el cual a través de

relacionar datos previos y la condición
correspondiente, se puede despejar una
incógnita. Todo contenido matemático
desarrolla la capacidad de razonamiento
lógico matemático, mediante la resolución de
problemas.

Capacidad específica + contenido + método + actitud (d/h) = Estrategia Específica