Está en la página 1de 3

Lgica proposicional o

Garc Melndez Fabiola a e Fecha entrega: 31 agosto de 2011

1.

Lgica proposicional o
La lgica proposicional es el sistema lgico ms simple. o o a Denicin de frmula. o o Una variable proposicional es una frmula. o Si F es una frmula, F tambin lo es. o e Si F y G son frmulas, FG, FG, FG y F G tambin lo son. o e

Una interpretacin es una la en una tabla de verdad potencialmente ino nita. Es decir, una interpretacin consiste en dar un estado a las variables o en una frmula F. o Una interpretacin permite, aunque no siempre, determinar el valor de vero dad de una frmula bien formada. o Un modelo se dene como una interpretacin que satiface una frmula (o o o a un conjunto de frmulas). o Una tautolog es una frmula cuya tabla de verdad tiene en su columna a o principal 1s. A esta frmula tambin se le conoce como frmula vlida. o e o a Ejemplos de tautolog son los siguientes: as pp (p q) p Una frmula es satisfacible cuando en su tabla de verdad tiene al menos o un 1 en la columna principal. Ejemplos de estas son los siguientes: pq (p q) (q r) 1

SOBRE LA PRACTICA.

Una frmula es una contradiccin cuando en su tabla de verdad la o o columna principal tiene slo 0s. Una frmula es contingente si hay al o o menos una interpretacin que haga verdadera la frmula y una que la haga o o falsa.

2.

Sobre la prctica. a

La prctica consistir en hacer un programa en Haskell que permita rea a presentar a la lgica proposicional y denir funciones que nos indiquen si o una frmula es tautolog si es satisfacible, contingente,o bien una contrao a, diccin. o Debes probar tus programas con las siguientes frmulas: o 1. p q 2. p q 3. p p 4. p q 5. p (p q) 6. (p q) (p r) 7. (p q) (p q) 8. p q) p 9. p q) (q r) Ejecuta cada una de las funciones que implementes para saber si una frmula o es tautolog si es satisfacible, contingente,o bien contradiccin. Genera una a, o tabla que indique a que tipo de frmula pertenece cada una de las anteriores. o Toma en cuenta que una frmula puede ser de dos tipos. o

3.

Requerimientos de la prctica a
En el archivo prctica2.hs que se empezar a escribir en el laboratorio a a se deben implementar las funciones: es tautologia,es contradiccion, es satisfacible, es contingente y variables, la cual obtendr el a nombre de las variables en una frmula con los tipos adecuados. o

CUESTIONARIO

Se debe completar la funcin evalua para que funcione con la implicao cin y la doble implicacin. o o El reporte de la pctica debe contener la tabla que se pidi anteriora o mente. Adems de una descripcin entendible de como generaste tus a o funciones principales y auxiliares, si las necesitas. Incluye un prrafo en donde indiques que fue lo que se te dicult de a o la prctica y si pudiste o no solucionarlo y por qu. a e Toda las funciones deben estar documentadas usando {- -} de manera entendible y completa. Agrega una seccin de indicaciones donde especiques si tu programa o funciona con el intrprete o compilador. Adems de especicar con un e a ejemplo como ejecutar tu programa.

4.

Cuestionario
1. Para qu sirve la funcin show de Haskell? e o 2. Para qu sirven la funciones map,zip y nub de Haskell? e

IMPORTANTE: No olvides seguir las especicaciones de las entregas.