SEP                                DGIT                    SEIT

     INSTITUTO  TECNOLÓGICO  DE  MINATITLAN

Introducción

Se presentan conceptos asocidados a la lógica proposicional, cuyos elementos fundamentales son sentencias, que pueden ser evaluadas como falsas o verdaderas; se introduce el concepto de fórmula bien formada y de su deducción a partir de expresiones en lenguaje natural, así como la contrucción de fórmulas en sus formas normales. También se muestra la forma de construir circuitos lógicos equivalentes a fórmulas de la lógica proposicional.

La lógica proposicional trabaja con sentencias u oraciones a las cuales se les puede asociar un valor de verdad (cierto o falso); estas sentencias se conocen como sentencias declarativas o, simplemente, proposiciones. Existen proposiciones que son simples, así como proposiciones que están construidas por otras proposiciones usando elementos (conectivas lógicas) que las asocian. Al construir una proposición, se debe garantizar que esta puede ser evaluada (fórmula bien formada); de la misma forma, podemos construir proposiciones usando solo un grupo de conectivas, produciendo fórmulas que se dice están en su forma normal. Las formas normales son importantes por el hecho que permiten definir esquemas generales para el tratamiento de estas fórmulas (GSAT, por ejemplo).

Otro aspecto importante es el de determinar si una proposición esta construida (o puede ser deducida) a partir de un conjunto de proposiciones, es decir, si es una consecuencia lógica de dicho conjunto.

Finalmente, existen varias formas de representar una fórmula de la lógica proposicional; aquí se introduce el concepto de circuitos lógicos, donde se asocia a las conectivas lógicas un símbolo gráfico.