MATEMTICAS DISCRETAS

TEMA
LGICA PROPOSICIONAL APLICADA EN EL DESARROLLO DE SOFTWARE.

INTEGRANTES
HCTOR HENRQUEZ VILLAMIZAR CDIGO: 011013121063

TUTOR
ROCIO ARCHILA TRIANA

INGENIRIA DE SISTEMAS ABIERTA Y A DISTANCIA BOGOT 28 DE MAYO DEL 2012

OBJETIVOS
Objetivo General:

Determinar como la lgica proposicional le ha aportado a la ciencia computacional en el rea del diseo y construccin de software unas bases muy bien estructuradas para el logro de sus objetivos, de como a lo largo de su desarrollo y partiendo de leyes muy bien definidas se realicen ejecuciones de informacin para obtener de forma rpida y segura resultados que jams se esperaban conseguir en el desarrollo de Software, para que la computacin sea hoy en da unas de las disciplinas mas evolucionadas debido a la gran cantidad de aportes que ha hecho en los sistemas computacionales con sustento de las matemticas aplicadas.

Objetivo Especficos:

Conocer la importancia que tiene la lgica proposicional en el desarrollo del software. Desempear funciones tcnico operativas inherentes al desarrollo e implantacin de soluciones de tecnologas de informacin basados en la lgica para obtener los resultados buscados.

Aplicar la lgica proposicional para solucionar problemas computacionales Desarrollar innovaciones y propone soluciones a problemas a partir de mtodos establecidos por la lgica matemtica.

JUSTIFICACIN

El presente trabajo es realizado para demostrar que la lgica proposicional le ha aportado a la ingeniera computacional en especial al desarrollo de software una serie de herramientas fundamentales para el logro de sus objetivos. Partimos de las principales leyes que tiene la lgica para hacer demostraciones de un sin numero de opciones que se dan para hacer que la entrada, el proceso y la salida sea siempre el resultado que se espera. En el desarrollo de este trabajo se resalta que se debe tener en cuenta para un buen diseo partiendo de unas caractersticas claras y bien definidas para la obtencin de una informacin que nos ayude a tener los sistemas de informacin mas eficaces posibles.

MARCO TEORICO 1. Lgica Proposicional

Son proposiciones de oraciones con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez. Las proposiciones son de dos tipos Simples o Compuestas Proposiciones Simples: Las proposiciones simples estn formadas por dos trminos vinculados por un operador relacional. Operador = > < Igual a... Diferente de Mayor que... Menor que... Mayor o igual que... Menor o igual que >= <= <> Significado Otras Formas == !=

Proposiciones Compuestas: estn formadas por una o ms proposiciones simples modificadas o vinculadas por conectivos u operadores lgicos. Operador ~ Denominacin Conjuncin Disyuncin Incluyente Disyuncin Excluyente Negacin Significado Ambas son verdaderas Al menos una es verdadera Solo una es verdadera No es verdadera

2. Leyes de Lgica Proposicional

DENOMINACIN Leyes Equipotenciales OPERACIN A => B = ~A v B A ^ ~A = F A v ~A = V A^B=B^A AvB=BvA A ^ (B v C) = (A ^ B) v (A ^ C) A v (B ^ C) = (A v B) ^ (A v C) A ^ (B ^ C) = (A ^ B) ^ C A v (B v C) = (A v B) v C A ^ (A v B) = A A v (A ^ B) = A ~(A ^ B) = ~A v ~B ~(A v B) = ~A ^ ~B

Leyes Conmutativas Leyes Distributivas Leyes Asociativas Leyes Absortivas Leyes de Morgan

3. Las tablas de verdad para las operaciones bsicas.

Conjuncin Disyuncin Negacin Condicional Bicondicion al

P V V F F

Q V F V F

P^Q V F F F

PvQ

~P

~Q

PQ

P <--> Q

V V V F

F F V V

F V F V

V F V V

V F F V

4. La lgica Computacional
Es la misma lgica matemtica el uso es fundamental: en los circuitos computacionales, en la programacin lgica y en el anlisis y optimizacin (de recursos temporales y espaciales) de algoritmos, las metodologas para la solucin de los problemas por medio de la computadora son:

 Definicin del Problema: Esta fase esta dada por el anunciado del problema la cual requiere una definicin clara y precisa, es importante que se conozca lo que se desea que realice la computadora. Anlisis del Problema: Una vez definida lo que queremos que la computadora haga es necesario definir. Los datos de Entrada. Los mtodos y formulas que se necesitan procesar los datos. La informacin que se desea obtener (Salida).

5. Algoritmo
Un algoritmo es una serie de pasos organizados que describe el proceso que se debe seguir, para dar solucin a un problema especfico.

6. Programa
Es una lista de instrucciones que la computadora debe seguir para procesar datos y convertirlos en informacin. Las instrucciones se componen de enunciados usados en lenguajes de programacin como Basic, Pascal o C. Caractersticas de un programa: Debe ser confiable y funcional Advertir errores de entrada obvios y comunes Documentado adecuadamente Ser comprensible Codificado en el lenguaje apropiado

CONCLUSION
El presente trabajo de investigacin fue realizado con el fin de entender la importancia que tiene la lgica matemtica en el desarrollo de software y cmo son aplicadas sus teoras en el desarrollo de aplicaciones cada das mas dotadas lgicamente obtencin de resultados exactos.