FUNDAMENTOS DE PROGRAMACIÓN LÓGICA PROPOSICIONAL
De [KOLMAN, 1996], La lógica es la disciplina que trata de los métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación, para verificar si son o no correctos los programas y para demostrar teoremas; en las ciencias físicas y naturales, para sacar conclusiones de experimentos y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente, se usa en forma constante el razonamiento lógico. Según [JOHNSONBAUGH, 1999], La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, considérese el siguiente argumento: Todos los matemáticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista. Por tanto, todos los matemáticos son algebristas. Desde el punto de vista técnico, la lógica no permite determinar si estos enunciados son verdaderos; sin embargo, si los dos primeros enunciados fuesen verdaderos, la lógica garantizaría que el enunciado “Todos los matemáticos son algebristas”, también es verdadero. Los métodos lógicos se utilizan en matemáticas para demostrar teoremas, y en computación para demostrar que los programas hacen precisamente lo que deberían hacer.
DEFINICIÓN DE PROPOSICIÓN Y SU SIMBOLIZACIÓN [KOLMAN, 1996] Una proposición o enunciado es una oración que declara que algo es verdadero o falso, pero no ambas cosas. Ejemplo: ¿Cuáles de las siguientes son proposiciones? a) La tierra es redonda b) 2 + 3 = 5 c) ¿Habla usted inglés? d) 3 – x = 5 e) Tome dos aspirinas f) La temperatura en la superficie del planeta Venus es 800oF g) El sol saldrá mañana Solución: a) Proposición que afirma algo verdadero b) Proposición que afirma algo verdadero c) No es proposición. Es pregunta d) No es proposición. Es una afirmación declarativa, ya que es verdadera o falsa dependiendo del valor de x e) No es proposición. Es una orden