Está en la página 1de 24

Calculo Proposicional

Clculo Proposicional 1. 2. 3. 4. 5. 6. 7. 8.
Prefacio Introduccin Inicios del clculo proposicional Clculo proposicional Clculo de predicados Conclusiones Bibliografa Glosario de trminos

Pg. iii

Calculo Proposicional

Pg. v

PREFACIO A mediados del siglo XIX, los matemticos britnicos George Boole y Augustus De Morgan abrieron un nuevo campo a la lgica, hoy conocido como lgica simblica o moderna, que ms tarde fue desarrollada por el matemtico Alemn Gottlob Frege y de un modo especial por los matemticos Britnicos Bertrand Russell y Alfred North Whitehead en Principia Matemtica1. El sistema lgico de Russell y Whitehead cubre un espectro mayor para frases enteras y para las conjunciones que las unen, como o, y, s...entonces. Cuenta con smbolos diferentes para el sujeto lgico y el predicado lgico de una frase; y adjudica smbolos para distinguir las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusin en una clase. Tambin se aleja de la lgica clsica en sus suposiciones de la existencia respecto a las cosas aludidas en sus afirmaciones universales. La afirmacin Todo A es B significa en lgica moderna que Si algo es A, entonces es B; lo que, a diferencia de la lgica tradicional, no significa que todo A existe. Tanto la rama clsica como la moderna implican mtodos de lgica deductiva. En cierto sentido, las premisas de una proposicin vlida contienen la conclusin, y la verdad de la conclusin se deriva la verdad de las premisas. Tambin se han hecho esfuerzos para desarrollar mtodos de lgica inductiva como las que sostienen que las premisas conllevan una evidencia para la conclusin, pero la verdad de la conclusin se deduce, slo con un margen relativo de probabilidad, de la verdad de la evidencia. De Margan y Lukasiewicz tambin hacen importantes aportaciones a la lgica, De Morgan aporta la denominada induccin matemtica y las leyes que llevan su nombre, y Lukasiewicz aporta un rbol de valores y el significado del calculo de predicados; en seguida se describen cada unos de los captulos que componen este escrito. El captulo 1 nos habla acerca de los antecedentes histricos del razonamiento, retomando algunos textos de los principales matemticos y pensadores, mismos que hicieron aportaciones importantes en el campo de la lgica, tales como Aristteles, Boole, De Morgan y Lukasiewicz. Definiendo de esta manera a la lgica matemtica y sus dos principales campos de aplicacin (Lgica proposicional y Clculo de predicados) y desde luego el trmino de lgica formal dentro de las ciencias de la computacin. Capitulo 2 aqu se define el trmino de lgica proposicional, descripcin y explicacin de lo que son las proposiciones (simples o compuestas) dando ejemplos de ellas. Principales conectores utilizados en la lgica proposicional para hacer operaciones con proposiciones, segn el resultado de las tablas de verdad se definen tres conceptos importantsimos; Tautologa, contradiccin y contingencia. Breve comentario y enlistado de las principales leyes de la lgica, ejemplificando la simplificacin utilizando estas. Las reglas de inferencias con proposiciones, explicando tres principales a grandes rasgos, entre estas tenemos las ms comunes que son: Modus Ponens que puede denominrsele como encadenamiento hacia adelante, Modus Tollens como el encadenamiento hacia atrs y por ltimo el Mecanismo de resolucin que se utiliza para obtener conclusiones compuestas basadas en dos o ms reglas. No obstante se dice que el Modus Ponens y el Modus Tollens solo son utilizadas para obtener conclusiones simples. Como ltima parte de este captulo se explica con ejemplos la validacin de proposiciones usando tablas de verdad as como la demostracin automtica de teoremas. En el captulo 3, se refiere al calculo de predicados, dando breve explicacin de la insuficiencia de la lgica proposicional al tratamiento de proposiciones que es donde entra el clculo de predicados, definicin y ejemplo de lo que puede ser un calculo de predicados. Referencia a los principales smbolos utilizados y finalmente la aplicacin del calculo de predicados a tres principales campos como son: a la teora de los sistemas expertos en la representacin de conocimientos, en la teora de la bases de datos y a la tecnologa orientada a objetos. En seguida de este captulo encontramos las conclusiones hechas referente a los temas mencionados anteriormente, cabe mencionar la importancia del calculo proposicional en variedad de reas de aplicacin. Se encuentra as la bibliografa en la que se basa esta investigacin, para cualquier aclaracin pueden verificarse las referencias bibliogrficas encontradas en ese apartado.
1

Principia Matemtica fue un libro desarrollado, que trata como tema a la Lgica Moderna

Calculo Proposicional

Pg. vi

A lo largo de este documento se presentan figuras para mejor ilustracin de dicho documento, mismas que se encuentran concentradas en el ndice de figuras que se localiza en la pgina No. 40. Como se dar cuenta existen implcitos en el contenido de este escrito algunas siglas, refirindose a terminologa de suma importancia y que pueden referirse en el glosario de trminos que se localiza al final de este documento. INTRODUCCIN En forma natural, el ser humano representa el conocimiento simblicamente: imgenes, lenguaje hablado y lenguaje escrito. Adicionalmente, ha desarrollado otros sistemas de representacin del conocimiento: literal, numrico, estadstico, estocstico y lgico. En los organismos biolgicos se estima que el conocimiento es almacenado como estructuras complejas de neuronas interconectadas. En las computadoras, el conocimiento se almacena como estructuras simblicas, pero en forma de estados elctricos y magnticos. La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aseveraciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de verdad asignados a las sentencias simples que la conforman. La historia de la lgica empieza a marcarse a travs de los aos, haciendo aportaciones a ella, pensadores muy renombrados por sus hechos. Cabe sealar que en este documento solo se har referencia a algunos de ellos. Principalmente uno de los ms conocidos es Aristteles, siendo la lgica Aristotlica la base para guiarse y de esta manera continuar haciendo diferentes estudios y pruebas con el fin de confirmar lo estipulado, siendo as como empezaran a descubrir algunas fallas en esta disciplina. Aristteles se basa bsicamente en el Silogismo. Otro pensador y filosofo y que una de las reas de la lgica lleva su nombre es George Boole con la denomina lgebra de Booleana. Hizo importantes aportaciones a la lgica matemticas como al lgebra. Por ende el lgebra Booleana es considerada como la base para la construccin del switch telefnico y en lo que es la fabricacin de computadoras. Se le atribuye el trmino de Induccin matemtica a De Morgan, a l tambin se le deben las leyes De Morgan, con su estudio descubri que el lgebra de la lgica natural tiene rutas hacia otros tipos de lgebras. Existieron muchos pensadores y muchas otras aportaciones no sin pensar que no tienen mucha importancia, solo que el fin no es remontarse desde el nacimiento de la lgica hasta la denominada lgica moderna. Por ltimo y no menos importante Lukasiewicz, mismo que escribi fragmentos de los principios de la no contradiccin, desarrollando un rbol de valores para el calculo proposicional. La lgica es una ciencia racional no slo segn la forma, sino tambin segn la materia; una ciencia a priori de las leyes necesarias del pensamiento, no con relacin a objetos determinados, sino con relacin a objetos en general; es, pues una ciencia del recto uso del entendimiento y de la razn en general; no de manera subjetiva, es decir, no segn principios empricos, psicolgicos (como piensa el entendimiento), sino de manera objetiva, es decir, segn principios a priori (cmo el entendimiento debe pensar) En Lgica de Emmanuel Kant.

Calculo Proposicional

Pg. 1

1.- INICIOS DEL CALCULO PROPOSICIONAL 1.1. Revisin histrica de los mtodos del pensamiento. (Aristteles, George Boole, Augustus De Morgan y Jan Lukasiewicz.) Aristteles2 El corazn de la lgica de Aristteles es el silogismo. La silogstica de la argumentacin denominada lgica por 2,000 aos. En lgica, Aristteles desarroll reglas para establecer un razonamiento encadenado que, si se respetaban, no produciran nunca falsas conclusiones si la reflexin parta de premisas verdaderas (reglas validas.) En el razonamiento los nexos bsicos eran los silogismos: proposiciones emparejadas que, en su conjunto, proporcionaban una nueva conclusin. El ejemplo ms famoso, Todos los humanos son mortales y Todos los griegos son humanos, se llega a la conclusin vlida de que Todos los griegos son mortales. La ciencia es el resultado de construir sistemas de razonamiento ms complejos. Aristteles en su lgica, distingua entre la dialctica y la analtica; para l, la dialctica slo comprueba las opiniones por su consistencia lgica. La analtica, por su parte, trabaja de forma deductiva a partir de principios que descansan sobre la experiencia y una observacin precisa. Esto supone una ruptura deliberada con la Academia de Platn, escuela donde la dialctica era el nico mtodo lgico vlido, y tan eficaz para aplicarse en la ciencia como en la filosofa.

George Boole3 En el ao 1854 public una investigacin de las leyes del pensamiento sobre las cuales son basadas las teoras matemticas de Lgica y Probabilidad. Boole aproxim la lgica en una nueva direccin reducindola a una lgebra simple, incorporando lgica en las matemticas. Agudiz la analoga entre los smbolos algebraicos y aquellos que representan formas lgicas. Comenzaba el lgebra de la lgica llamada lgebra Booleana la cual ahora encuentra aplicacin en la construccin de computadoras, circuitos elctricos, etc. El sistema de lgica de Boole es una de las muchas pruebas y paciencia combinada. Esta el proceso simblico del lgebra, inventado como herramienta de clculos numricos, sera competente para expresar cada acto del pensamiento, y proveer la gramtica y el diccionario de todo el contenido de los sistemas de lgica, no habra sido creble hasta probarlo. Cuando Hobbes public su Computacin o Lgica l tena un remoto reflejo de algunos de los puntos que han sido ubicados en la luz del da por el Sr. Boole. El lgebra Booleana tiene una amplia aplicacin en el switch telefnico y en el diseo de computadores modernos. El trabajo de Boole ha llegado a ser como un paso fundamental en la revolucin de los computadores hoy en da. Considrense los smbolos de la figura No. 1, utilizndolos podemos decir que Boole pensaba que a una proposicin se le poda asignar valores de verdad o falsedad, por ejemplo: Si llueve me mojo P = S llueve Q = Me mojo Augustus De Morgan4 En 1838 l defini l termino induccin matemtica colocando un proceso que ha sido usado sin claridad en una rigurosa base. El termino aparece primero en el artculo de De Morgan (Induction Mathematics) en el Penny Cyclopedia. Que la Penny Cyclopedia public a travs de la Sociedad de la Difusin til del Conocimiento, establecido por el mismo reformador quien fundo http://www-history.mcs.st-andrews.ac.uk/history/References/Aristotle.html http://www-history.mcs.st-andrews.ac.uk/history/References/Boole.html 4 http://www-history.mcs.st-andrews.ac.uk/history/References/De_Morgan.html
2 3

Calculo Proposicional

Pg. 2

London University, y que la Sociedad tambin publico como un famoso trabajo por De Morgan El calculo integral y diferencial. Reconsidero la pureza simblica del lgebra natural y fue consciente de la existencia de otras lgebras como lgebras ordinarias. Presenta las leyes De Morgan y su grandiosa contribucin es como un reformador de la lgica matemtica. De Morgan creo y defini las leyes que llevan su nombre, las cuales son reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lgicamente equivalente, como se muestra a continuacin. Leyes de Morgan (P P Q) Q (P P Q) Q

Jan Lukasiewicz5 Trabajo en lgica matemtica, escribi ensayos de los principios de la no contradiccin y la excluyo alrededor de 1910, desarrollando un rbol de valores para el calculo proposicional (1917) y trabajo en muchos valores lgicos. Lukasiewicz presento la notation Polish la cual permita escribir expresiones sin ambigedad en el uso de soportes y su estudio fue de base para el trabajo de Tarskis. 1.2. Concepto de la matemtica lgica y sus dos principales campos. Clculo proposicional y clculo de predicados. La lgica matemtica estudia la forma del razonamiento, se considera como una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido o no. El clculo proposicional o lgica proposicional, es la ciencia que trata de los principios vlidos del razonamiento y la argumentacin. El estudio de lgica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de una proposicin dada, llamadas premisas, a una conclusin que se deriva de aqullas. El calculo de predicados est basado en la idea de que las sentencias realmente expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos. 1.3. Significado de la lgica formal en las ciencias de la computacin. La lgica matemtica es la disciplina que trata los mtodos de razonamiento. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los programas. Tambin la lgica tiene participacin en la construccin de programas como son los Sistemas Expertos y programas de Inteligencia Artificial en sus diferentes modalidades, que comnmente se les denominan sistemas basados en reglas. 2.- CALCULO PROPOSICIONAL 2.1.- Principales conceptos El clculo proposicional6 es tambin llamado, lgica proposicional, calculo sentencial, lgebra Booleana. El clculo proposicional, junta dos clculos de predicados con la constitucin de smbolos lgicos. La Lgica Matemtica surge como una disciplina matemtica cuyo objeto de estudio es la lgica del razonamiento matemtico humano (y actualmente tambin de otras formas de razonamiento.) Requiere de expresar la lgica en trminos susceptibles de ser representados y manejados por un computador.

5 6

http://www-history.mcs.st-andrews.ac.uk/history/References/Lukasiewics.html Se usa indistintamente el trmino calculo proposicional o lgica proposicional, para nuestro estudio el significado de los dos trminos significa lo mismo

Calculo Proposicional

Pg. 3

La lgica proposicional es la parte de la lgica que estudia las formas en que se relacionan unas proposiciones con otras y, sobre todo, la relacin que se da entre las proposiciones que componen un razonamiento.7 Proposiciones Las proposiciones son definidas, apenas como un pensamiento completo. Para nuestro propsito las proposiciones pueden ser tentativamente igual a una sentencia. Las proposiciones son una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposicin puede tener dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar ningn valor. Una proposicin es un hecho. Los argumentos de las proposiciones son: premisas y conclusiones de una proposicin. Las proposiciones son portadoras de veracidad y falsedad. Mientras las proposiciones son expresadas en sentencias, la rama de la lgica se conoce como smbolos lgicos empleando letras de variables minsculas, o variables de sentencias o variables proposicionales, p, q, r, s,..., para expresar proposiciones. Proposiciones simples o hechos Las siguientes son proposiciones simples las cuales son verdaderas: 1. El cielo es azul 2. La nieve es fra 3. 12*12=144 4. Vicente Fox es el presidente de la Republica Mexicana 5. La Segunda Guerra Mundial duro desde 1939 hasta 1945 Las siguientes proposiciones simples son falsas: 1. Honda hace televisiones 2. El General Fidel Castro es un Demcrata 3. 8+99=231 4. Los Insectos crean su comida a travs de fotosntesis 5. Atenas es la capital de Italia Las siguientes son proposiciones no validas: 1. l es un vendedor-> Esta no es una proposicin porque l no esta definido. Como un resultado no hay manera de verificar la sentencia y asignarle un valor de verdad. 2. Esta declaracin es una mentira-> No es una proposicin porque Esta no esta definida como una declaracin. No hay referencia y como en otros ejemplos no podemos asignar un valor de verdadero o falso a la declaracin. 3. Las cosas buenas vienen en pequeos paquetes - > Este tipo de declaracin expresa una idea subjetiva o concepto el cual no puede ser verificado en trminos de verdadero o falso. 4. La verdad es que no hay verdad-> Esta es tambin un valor de hecho y expresa un concepto filosfico el cual no es verificable. 5. Dios es bueno-> Este es un valor de hecho y expresa una tica, idea religiosa o dogma. No es una proposicin. 6. Por que el Soccer no es ms popular que el Bsquetbol en Estados Unidos?-> Esta no es una declaracin. Simplemente hace una pregunta. 7. 12 + x = 16-> No es una proposicin porque x es una variable indefinida, al menos que a x se le asignen valores, hasta entonces se puede verificar el valor de verdad o falsedad de la proposicin. 8. Al Pacino era un buen actor-> No es una proposicin. Esta sentencia expresa una opinin; es subjetivo. Proposiciones compuestas Las proposiciones son expresadas a travs de variables (p, q, r, s). Conectivos lgicos y operadores establecen relaciones entre dos o ms proposiciones. La funcin principal de los operadores es la de formar una nueva proposicin de una o ms proposiciones. As las declaraciones compuestas o proposiciones son formadas.
7

Iniciacin a la lgica simblica. Jos Antonio Arnaz; Pg. 13

Calculo Proposicional

Pg. 4

2.2. Operaciones sobre las proposiciones Algunos autores por ejemplo agrupan los conectores que se utilizan sobre las proposiciones, en el calculo proposicional en dos agrupaciones (como la que se muestra en seguida), aunque normalmente otros los clasifican segn su importancia: Conectivos agrupados segn Balancing Bird 199 G. Benton8 Mondico: envuelve solamente una expresin de la declaracin La negacin, simbolizada por y significa no es verdad. Didico: envuelve dos proposiciones. El conector AND es simbolizado por ^ y significa y El conector OR es simbolizado por v y significa o La condicin es simbolizado por y se lee S... entonces Bicondicional es simbolizado por y se lee S y solo s Reuniendo todos los conectivos en una tabla segn su importancia, quedara como se muestra en la figura No. 1: Nombre Simbologa Significado Negacin Conjuncin Disyuncin Condicional Bicondicional , , , , , No Y O S...Entonces S y solo s

Figura No. 1 Conectores lgicos La proposicin lgica hace ms fcil y efectiva la manipulacin de valores de verdad entre proposiciones. Las tablas de verdad muestran los principales valores de verdad de diferentes grupos de proposiciones conectados por operadores. Los valores de verdad de una proposicin compuesta dependen en los valores de verdad de estos componentes (p, q, r, s...) y de la funcin del conector. Asignando smbolos a proposiciones y conectores, expresando relaciones entre declaraciones dentro de una tabla de verdad donde los valores de verdad son mas fcilmente reconocidos, tan bien como formalizados. Breve explicacin de los conectores Negacin La negacin es la inversa de los valores de verdad de una declaracin como se muestra en la figura 2: p p V F F V

Figura No. 2 Negacin a) Ejemplos Algunas personas tienen miedo a morir Algunas personas no tienen miedo a morir (p) (p)

b)

Lo que se considera en este caso es solo negar la proposicin original, utilizando la negacin de la proposicin. Conjuncin9
8

Artificial Intelligence A Knowledge-Based, Approach Morris W. Firebaugh Pag.143. Iniciacin a la lgica simblica, Jos Antonio Arnaz, Edit. Trillas; Pg. 21

Calculo Proposicional

Pg. 5

Cuando conjugamos dos declaraciones, tiene el sentido de afirmar que son simultneamente verdaderas. Por ejemplo, al decir que Londres es la capital de Inglaterra y Cuba es una isla,. El conector funciona indicando que las dos proposiciones conjuntadas son verdaderas, de modo que si p es la proposicin Londres es capital de Inglaterra y q es la proposicin Cuba es una isla, la conjuncin de ambas proposiciones se representar de la siguiente manera: Asignacin de valores p = Londres es capital de Inglaterra q = Cuba es una isla proposicin pq (y se lee p y q) Londres es capital de Inglaterra y Cuba es una isla Considerando que la conjuncin de dos proposiciones cualquiera indica la verdad simultanea de ambas, la proposicin compuesta resultante es verdadera si efectivamente ambas son verdaderas. En otro caso la proposicin resultante es falsa. Resumiendo todo esto en una tabla de verdad como se muestra en la Figura 3. p V V F F q V F V F p q V F F F

Figura No. 3 Conjuncin Disyuncin10 La disyuncin tiene la funcin de enlazar dos proposiciones, indicando que al menos una de ellas es verdadera (aunque pueden serlo ambas tambin); supongamos el siguiente ejemplo, si p es la proposicin 3 es un nmero primo y q es la proposicin 3 es un nmero natural. La proposicin compuesta indica que cuando menos una de las proposiciones simples es verdadera. En general, dada una proposicin compuesta cuya conectiva es una disyuncin, ser verdadera si al menos una de las alternativas es verdadera (y por supuesto cuando las dos lo sean). Ser falsa slo cuando las dos alternativas sean falsas. En la figura No. 4 veremos como quedara el ejemplo asignndole variables a las proposiciones simples, as como, Checaremos y revisemos la explicacin anterior. Asignacin de valores p = 3 es un nmero primo q = 3 es un nmero natural proposicin pq (y se lee p q) 3 es un nmero primo o 3 es un nmero natural p V V F F q V F V F p q V V V F

Figura No. 4 Disyuncin Condicional11


10 11

Iniciacin a la lgica simblica, Jos Antonio Arnaz, Edit. Trillas; Pg. 23 Iniciacin a la lgica simblica, Jos Antonio Arnaz, Edit. Trillas; Pg. 26

Calculo Proposicional

Pg. 6

Al relacionarse dos proposiciones con este conector es muy importante distinguir la que queda a la izquierda (a la que se le llama antecedente), de la que queda a la derecha (que se llama consecuente). El sentido de este conector es sealar, que si la proposicin antecedente es verdadera, tambin lo es la proposicin consecuente; es decir, basta o es suficiente que el antecedente sea verdadera, para que el consecuente tambin sea verdadero. De aqu que una proposicin compuesta en la que el conector es condicional, ser falsa si siendo verdadero el antecedente, es falso el consecuente. La proposicin ser verdadera en los dems casos, en los que no ocurre que el antecedente es verdadero y el consecuente falso. Ejemplo. S p es la proposicin Marte es un planeta, en tanto que q es la proposicin Marte brilla con luz propia. Asignacin de valores p = Marte es un planeta q = Marte brilla con luz propia proposicin pq (y se lee Si p, entonces q) Si Marte es un planeta entonces Marte brilla con luz propia Considrese la tabla de verdad de la figura No. 5 p V V F F q V F V F pq V F V V

Figura No. 5 Condicional Bicondicional12 Esta expresin es un conector lgico que al relacionar dos proposiciones indica que el valor de verdad de ambas es el mismo, ya sea verdadero o falso. As, pq es una proposicin que significa que si p es verdadera, entonces q tambin es verdadera y si q es verdadera, entonces p tambin es verdadera. En realidad la conectiva Bicondicional es la conjuncin ( de dos ) proposiciones condiciones (si...entonces). es decir, la proposicin pq tiene el mismo sentido que la proposicin (pq) (pq) Consideremos el siguiente ejemplo: asignmosle valores a las variables que estamos utilizando. De esta manera si p toma la proposicin de Febrero tiene 29 das y q es El ao es bisiesto. Asignacin de valores p = Febrero tiene 29 das q = El ao es bisiesto proposicin pq (y se lee S y solo s q) Febrero tiene 29 das si y solo si el ao es bisiesto Ahora cheque su tabla de verdad, como se muestra en la figura No. 6. p q pq V V F F
12

V F V F

V F F V

Iniciacin a la lgica simblica, Jos Antonio Arnaz, Edit. Trillas; Pg. 29

Calculo Proposicional
Figura No. 6 Bicondicional

Pg. 7

En este conector la regla a utilizar es la siguiente, la proposicin es verdadera siempre y cuando las dos proposiciones sean verdaderas o falsas. Tablas de verdad13 En este caso explicaremos con mas detalles como se construye una tabla de verdad, en este caso con 3 variables. 1. Primero se construye la frmula y a su izquierda las variables (letras) que en ella entran. De esta manera ya se tiene el encabezado. 2. Para conocer el nmero de renglones se aplica la frmula 2 n , siendo n el nmero de variables. En este caso 2 n = 2 3 , o sea. 2 x 2 x 2 = 8. Trazando pues ocho renglones. 3. Debajo de cada una de las variables de la izquierda (p, q, r) se escribe una columna de valores. Empezando por la derecha anotando una V y una F, una V y una F, etc., hasta completar el nmero de renglones (en este caso ocho). La siguiente columna a la izquierda se forma escribiendo dos veces V y dos veces F, etc., hasta llenar los renglones. La siguiente columna se forma escribiendo cuatro veces V y cuatro veces F. 4. Para calcular los valores de los conectivos se aplica la regla respectiva y se empieza por los ms interiores. El ltimo conectivo en ser calculado es el que est fuera de todo parntesis. 5. Ejemplo: (p (rq) q) p V V V V F F F F q V V F F V V F F r V F V F V F V F (p (rq) q) V V F F F F F F V V F V V V F V V V F V V V F V

Figura No. 7 Ejemplo de construccin de tablas de verdad. 2.3. Tautologa, contradiccin e incongruencia Tautologa Es una proposicin compuesta que es verdadera en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples. La proposicin tautolgica o tautologa es siempre verdadera por su forma lgica, es decir, por la forma en que se relacionan sus proposiciones simples. Vase la figura No. 8 p q p pp V V F F V F V F F F V V V V V V

Figura No. 8 Tautologa Lgica: Introduccin a la Ciencia del Razonamiento, Aut. Pedro Chvez C. Pg. 293 Recopilacin de la mecnica en la elaboracin de tablas de verdad.
13

Calculo Proposicional

Pg. 8

Contradiccin Es una proposicin compuesta que es falsa en todos los casos, cualquiera que sea el valor de verdad de las proposiciones simples. Puesto que la negacin invierte los valores de verdad de una proposicin, al negar una tautologa obtenemos una contradiccin, y viceversa; al negar una contradiccin obtenemos una tautologa. Vase el ejemplo de la figura No. 9. p V V F F q V F V F p F F V V pp F F F F

Figura No. 9 Contradiccin Incongruencia Una proposicin incongruente (llamada tambin contingente) es una proposicin compuesta que es verdadera en algunos casos y falso en otros. Son proposiciones de las que tenemos que determinar las combinaciones de los valores de verdad que las hacen verdadera o falsa y, por ello, su valor de verdad depende no de la forma lgica sino del valor de verdad de sus proposiciones simples. Considrese el ejemplo de la figura No. 10. P V V F F q V F V F pq V F V V

Figura No. 10 Incongruencia 2.4. Leyes principales de la lgica de proposiciones Existen varias equivalencias lgicas proposicionales parecidas a las del lgebra Booleana, las cuales se muestran en la figura No. 11. Denominacin Leyes equipotenciales Leyes asociativas Leyes conmutativas Leyes distributivas P PP (P RP R) Q) (Q P QQ P P R)(P (P (Q Q) R) P FP P TT P PT P Q)P (P (P F)P (P T)T (P P)T (P Q)P Q (PQ)(P Q) Representacin lgica P PP (P RP R) Q) (Q P QQ P P R)(P (P P (Q Q) R) TP P FF P PF P Q)P (P (P F)F (P T)P PP (P P)F (P Q)P Q (PQ)(QP)

Leyes de absorcin Leyes de identidad Leyes complementarias Leyes de Morgan Leyes condicionales

Calculo Proposicional
Leyes bicondicionales (PQ)((PQ) (QP))

Pg. 9
(PQ)((P (P Q) Q))

Figura No. 11 Equivalencias lgicas proposicionales Ejemplo (p(q p)) (p (q p)) ((q p) p) (q (p p)) (q T) 6. T

1. 2. 3. 4. 5.

Ley condicional i Ley conmutativa i Ley asociativa i Ley complementaria i Ley de identidad

2.5. Implicaciones lgicas P QP P QQ PP Q PPQ QPQ (PQ)P (PQ)Q P (PQ)Q Q (PQ)P P Q)Q (P (PQ) (QR)PR (P (PR) Q) (QR)R (01) (02) (03) (04) (05) (06) (07) (08) (09) (10) (11) (12)

2.6. Reglas de inferencia Las reglas de inferencia usa dos tipos de elementos: los datos (hechos o evidencia) y el conocimiento (el conjunto de reglas almacenadas en la base de conocimiento), para obtener nuevas conclusiones o hechos. Por ejemplo, si la premisa de una regla es cierta. Los datos iniciales se incrementan incorporando las nuevas conclusiones. Por ello, tanto los hechos iniciales o datos de partida como las conclusiones derivadas de ellos forman parte de los hechos o datos de que se dispone en un instante dado. Las conclusiones pueden clasificarse en dos tipos: simples o compuestas. Las conclusiones simples son las que resultan de una regla. Las conclusiones compuestas son las que resultan de ms de una regla. Para obtener conclusiones, los expertos utilizan diferentes tipos de reglas y estrategias de inferencia y control. Tipos de reglas de inferencia Modus Ponens Modus Tollens Mecanismo de Resolucin Modus Ponens Es quizs la regla de inferencia ms comnmente utilizada. Se utiliza para obtener conclusiones simples. En ella, se examina la premisa de la regla, y si es cierta, la conclusin pasa a formar parte del conocimiento. Considere el siguiente ejemplo, supngase que se tiene la regla, Si A es cierto, entonces B es cierto y que se sabe adems que A es cierto. Entonces la regla Modus Ponens concluye que B es cierto. Esta regla de inferencia, que parece trivial, debido a su familiaridad, es la base de un nmero de sistemas expertos. Ejemplo: 1. pq 2. p 3. q

Calculo Proposicional

Pg. 10

Modus Tollens Se utiliza tambin para obtener conclusiones simples. En este caso se examina la conclusin y si es falsa se concluye que la premisa tambin es falsa. Por ejemplo, supngase de nuevo que se tiene la regla A es cierto, entonces B es cierto pero se sabe que B es falso. Entonces, utilizando la regla Modus Ponens no se puede obtener ninguna conclusin, pero, la regla Modus Tollens concluye que A es falso. Auque muy simple y con muchas aplicaciones tiles, la regla Modus Tollens es menos utilizada que la Modus Ponens. Por ello, la regla Modus Ponens se mueve hacia delante, es decir, de la premisa a la conclusin de una regla, mientras que la regla Modus Tollens se mueve hacia atrs, es decir, de la conclusin a la premisa. Las dos reglas de inferencia no deben ser vistas como alternativas sino como complementarias. La regla Modus Ponens necesita informacin de los objetos de la premisa para concluir, mientras que la regla Modus Tollens necesita informacin sobre los objetos de la conclusin. De hecho, para un motor de inferencia que solamente utiliza Modus Ponens, la incorporacin de la regla de inferencia Modus Tollens puede ser considerada como una expansin de la base de conocimiento mediante la adicin de reglas. Ejemplo: 1. pq 2. q 3. p Mecanismo de resolucin Las reglas de inferencia Modus Ponens y Modus Tollens pueden ser utilizadas para obtener conclusiones simples. Por otra parte, las conclusiones compuestas, que se basan en dos o ms reglas, se obtienen usando el llamado mecanismo de resolucin. Esta regla de inferencia consiste en las etapas siguientes: 1. Las Reglas son sustituidas por expresiones lgicas equivalentes. 2. Estas expresiones lgicas se combinan en otra expresin lgica. 3. Esta ltima expresin se utiliza para obtener la conclusin. Estas etapas involucran conceptos tales como la combinacin y simplificacin de expresiones lgicas, que se ilustra de modo intuitivo en el siguiente ejemplo. Supngase que se tienen las dos reglas: Regla 1: Si A es cierto, entonces B es cierto Regla 2: Si B es cierto, entonces C es cierto La primera etapa en el mecanismo de resolucin consiste en sustituir cada una de las dos reglas por expresiones lgicas equivalentes. Esto se hace como sigue: La Regla 1 es equivalente a la expresin lgica: A es falso o B es cierto. Una prueba de esta equivalencia se muestra en la tabla de verdad que se muestra en la figura No. 12. Similarmente, la Regla 2 es equivalente a la expresin lgica: B es falso o C es cierto. A V V F F B V F V F F F V V Si A, entonces B V F V F oB V F V V

Figura No. 12 Tabla de verdad mostrando que la regla Si A es cierto, entonces B es cierto es equivalente a la expresin lgica A es falso o B es cierto La segunda etapa consiste en combinar las dos expresiones anteriores en una, tal como sigue: las expresiones lgicas A es falso o B es cierto y B es falso o C es cierto implican la

Calculo Proposicional

Pg. 11

expresin A es falso o C es cierto. Una prueba de esta equivalencia se muestra en la figura No. 13. Esta ltima expresin se utiliza seguidamente en la tercera etapa para obtener la conclusin. A V V V V F F F F B V V F F V V F F C V F V F V F V F oB V V F F V V V V

B oC
V F V V V F V V

( o B) y ( B o C) V F F F V F V V

oC V F V F V V V V

Figura No. 13. Tabla de verdad que muestra que las expresiones lgicas A es falso o B es cierto y B es falso o C es cierto implican la expresin A es falso o C es cierto. 2.7. Demostracin usando tablas de verdad Un argumento es vlido si las premisas en su conjunto implican lgicamente la conclusin. Por lo tanto, si A1 , A2 ..., An denotan las premisas y si C denota la conclusin, se debe tener

A1 , A2 ..., An |=C
Como se demostr previamente, esto se puede demostrar mediante el mtodo de la tabla de verdad, mostrando que la siguiente expresin es una tautologa.

A1 A2 ... An C
2.8. Demostracin automtica de teoremas La capacidad de hacer deducciones lgicas fue considerada durante mucho tiempo como una posibilidad reservada a la mente humana. La investigacin desarrollada en los aos 1960 en el rea de la demostracin automtica de teoremas ha mostrado que esta tarea puede ser realizada por mquinas programables, tales como las computadoras. Tales mquinas son capaces no slo de modificar el conocimiento existente, sino tambin de obtener conclusiones nuevas. En primer lugar, los demostradores de teoremas han sido utilizados en varios campos de las matemticas, tales como la Lgica, la Geometra, etc. el campo de la Matemtica constituye un rea natural para esta metodologa por la existencia de mecanismos de deduccin y de una extensa base de conocimiento. Sin embargo, los demostradores de teoremas, pueden ser adaptados para resolver problemas de otras reas de conocimiento con estas dos mismas caractersticas. Analcese el Propositional Logic Program (PROPC), el cual es una aplicacin bajo ambiente MS-DOS para ayudarnos en la elaboracin y verificacin de proposiciones. Dicho software fue Diseado por John Kennedy Mathematics Department Santa Monica College, versin nica, hasta el momento. Enseguida se muestra breve descripcin de este programa. El programa PROPC desarrolla y analiza formulas de Calculo Proposicional o Calculo sentencial, una rama de la Lgica Simblica. PROPC puede ser usado para desarrollar una completa tabla de verdad del anlisis de una formula proposicional de complejidad arbitraria. Maneja 9 variables independientes, lo cual significa que una tabla de verdad puede contener hasta 512 lneas de valores de verdad. El programa puede imprimir todas la lneas, imprimir solo las lneas verdaderas o solo las lneas falsas o simplemente probar una formula como una

Calculo Proposicional

Pg. 12

Tautologa. Este programa es capaz de generar y desplegar en pantalla la estructura de rbol correspondiente a alguna formula y trasladar formulas de notacin comn a notacin Polish. Las tablas de verdad que genera este programa pueden ser impresas o guardadas en algn dispositivo magntico, adems de que esta aplicacin trabaja en modo texto solamente y no requiere hardware grfico. Para ejemplificar un poco ms se toma como referencia una de tantas aplicaciones que se utiliza como herramienta para la demostracin de proposiciones automatizado, vea la figura No. 15. La cual muestra el men principal de esta aplicacin. A continuacin demostraremos con un ejemplo un proposicin tomada de la figura No. 7. Primero que nada, como toda aplicacin en primer lugar muestra la pantalla de presentacin, misma que presenta informacin de vital importacin referente a el nombre del programa, su versin as como su(s) creador(es); como lo notara en la figura No. 14.

Figura No. 14 Pantalla de presentacin

Figura No. 15 Men principal de la aplicacin.

Calculo Proposicional

Pg. 13

Despus de revisar el men principal se procede a revisar la ayuda, con el fin de saber que smbolos son utilizados para la formulacin de la proposicin. Refirase a la figura No. 16.

Figura No. 16 Operadores utilizados para la formulacin de proposiciones. En seguida de eso queda escribir la proposicin nueva, de esta manera poder evaluarla, en la figura No. 17 se puede apreciar la formula que se evaluar.

Figura No. 17 Escritura de proposicin. Hecho los pasos anteriores solo queda escribir la letra T para poder ver el resultado de la proposicin, como lo notara el resultado de esta proposicin es exactamente igual al de la figura No. 7. Es menester hacer mencin que la tabla de verdad de la figura No. 7 fue realizada a mano, basndose en el proceso que se muestra en el apartado 2.2 Operaciones sobre las proposiciones Tablas de verdad. Como podr darse cuenta que el resultado de esa tabla de verdad de la Figura No. 7 es igual al que se muestra en la figura No. 18. Mostrada enseguida.

Calculo Proposicional

Pg. 14

Figura No. 18 Resultado de la proposicin.

3. CLCULO DE PREDICADOS 3.1. Insuficiencia de la lgica de proposiciones en las representaciones de la lgica de sentido comn La principal debilidad de la lgica proposicional es su limitada habilidad para expresar conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se les representa en lgica proposicional. Por esto se desarroll una forma lgica ms general, capaz de representar todos los detalles expresados en las sentencias, esta es la lgica de predicados. La lgica de predicados est basada en la idea de que las sentencias realmente expresan relaciones entre objetos, as como tambin cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos fsicos, o conceptos. Tales cualidades, relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o trminos del predicado. Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero a diferencia de las preposiciones, su valor de veracidad, depende de sus trminos. Es decir, un predicado puede ser verdadero para un conjunto de trminos, pero falso para otro. 3.2. Concepto y ejemplos de calculo de predicados. La lgica de predicados determina los elementos del razonamiento de los pequeos elementos de las proposiciones. Vase la figura No. 18. Predicado (org1, org2, ... orgn) Nombre Nombre del del Predicado Argumento Figura No. 19 Componentes que forman un predicado Donde el nombre del predicado identifica a la relacin que existe entre los argumentos, entre parntesis o bien identifica a la propiedad o caractersticas que tienen los argumentos en el parntesis, o bien identifica al nombre de la clase a la que pertenecen los argumentos. Ejemplo

Calculo Proposicional

Pg. 15

Mara y Pablo son hermanos Juana es la madre de Mara Tom es un gato LA suma de 2 y 3 es 5 Por ejemplo, para expresar Juana es madre de Mara, se selecciona un identificador, digamos madre, para expresar el predicado es la madre, y se escribe madre(Juana,Mara). Muchos estudiosos de la lgica slo utilizan letras individuales para los nombres de predicados y de constantes, ejemplo M(j,m). 3.3. Los cuatro grupos bsicos de identidad Y O No Implicacin(Entonces) Bsicamente los operadores utilizados en el calculo de predicados son los mismos que se utilizan en el calculo proposicional. No obstante, vanse los siguientes ejemplos de utilizacin de los operadores bsicos. Ejemplos de operadores CIENTFICO(CARLOS_MARX) ALEMAN(CARLOS_MARX) (Y) Carlos Marx es un cientfico alemn CIENCIA(LGICA) DISCIPLINA(LGICA) (O) La lgica es ciencia o disciplina DEPORTE(CICLISMO) DECONJUNTO(CICLISMO) (No) El ciclismo no es un deporte de conjunto. CULTURA(LA_CIENCIA) APOYAR(LA_CIENCIA) (S...entonces) Si la ciencia es cultura entonces debe apoyarse 3.4. La declaracin de funcin, variables y cuantificadores Funcin Asumiendo que un conjunto es una determinada coleccin de entidades, tenemos que entre conjuntos cabe establecer relaciones. Una relacin entre dos conjuntos tiene una direccin, va de un conjunto al que llamaremos origen a otro conjunto que llamamos imagen. Para ciertas relaciones el conjunto origen y el conjunto imagen coinciden, son el mismo conjunto. Pues bien, una funcin es una relacin entre dos conjuntos que satisface la condicin de que a cada entidad del conjunto origen le corresponde una nica entidad del conjunto imagen. Las entidades del conjunto origen de una funcin son denominadas argumentos de la funcin. Las entidades del conjunto imagen que corresponden a los argumentos de una funcin son denominados: valores de la funcin. El conjunto de los argumentos de una funcin coincide con el conjunto origen de una funcin. El conjunto de los argumentos de una funcin tambin se denomina dominio de la funcin en cuestin. El conjunto de los argumentos de valores o rango de una funcin no tiene por qu coincidir con el conjunto imagen, pudiendo ser un subconjunto imagen. En resumen los argumentos pueden ser constantes, variables o a su vez otra funcin. Los identificadores de funciones los representaremos con letras minsculas, a continuacin un parntesis izquierdo, luego los argumentos o parmetros separados por comas, si va ms de uno y finalizando con un parntesis derecho. Ejemplo: - madre(x): La madre de x, siendo x una variable - jugo(UVA): Jugo de uva, donde UVA es una constante - refresco(jugo(NARANJA)): refresco de jugo de naranja Variables Las variables son identificadores las cuales representarn un elemento de un conjunto, pero, sin representar uno en especfico, como en el caso de las constantes. Sus identificadores los

Calculo Proposicional

Pg. 16

representaremos por medio de cadenas en letras minsculas. Por ejemplo: guerrillero, fruta, pas, asignatura, x, y, z, etc. Como se podr verificar el ejemplo anterior, se dar cuenta como es la sintaxis para la utilizacin de variables en la elaboracin de predicados. Chequense estos ejemplos, muy parecidos al anterior. fruta(x) animal(x) color(x) Mejor a un, ejemplifiquemos esto como una proposicin: Fruta(x):-colores(color),formas(forma),sabores(dulce). Donde x, color y forma cumplen la misma funcin, estas estn desempeando el papel de variables, a excepcin de sabores; ya que esta ya no se considera como variable por el hecho de tener un valor definido. Por ende a este tipo de identificadores se les denomina constantes. Cuantificadores En matemticas, muchas afirmaciones son de la forma todos los elementos de D (un dominio dado) satisfacen el predicado P(x) o bien hay al menos un elemento de D que satisface P(x). En el primer caso, abreviaremos usando el smbolo y en el segundo usando el smbolo . As, si P(x) es un predicado q que depende slo de x, tenemos:

x( P ( x )) x( P ( x))

Si se reemplaza x por cualquier elemento de D, entonces P(x) se hace verdadera.

En D hay al menos un valor tal que, al reemplazar x por dicho valor, la proposicin resultante es verdadera. Los smbolos respectivamente.

y son llamados cuantificador universal y cuantificador existencial

Ejemplos del cuantificador universal: x OSO(x) ANIMAL(x): Los osos son animales. x ANIMAL(x) CEREBRO(cerebro(x)): Todos los animales tienen un cerebro. Para todo x que es un animal implica que el cerebro de x es un CEREBRO. Ejemplos del cuantificador existencial: x SABROSA(x): Que significar que algo es sabroso o que existe al menos una x tal que x es sabrosa. x DEPORTE(x) DECONJUNTO(x): Algunos deportes son de conjunto. x ELECCIONES(x) LIMPIAS(x): Las elecciones no son limpias. 3.5. Aplicacin del clculo de predicados a la teora de los sistemas expertos para la representacin de los conocimientos. Los sistemas de razonamiento basados en la lgica de predicados son sistemas de razonamiento monotnico (monotnico significa moverse en una sola direccin) ya que las deducciones realizadas nunca generan contradicciones. Un sistema de razonamiento no monotnico es aquel que sigue la trayectoria de un conjunto de creencias tentativas y revisa aquellas creencias cuando se observa o se deduce nuevo conocimiento. El razonamiento que seguira un experto humano en la materia a fin de poder codificarlo mediante el empleo de un determinado lenguaje informtico; por otra, la sntesis artificial, de tipo mecnico, de los razonamientos de manera que stos sern semejantes a los empleados por el experto humano en la resolucin de la cuestin planteada. Los sistemas expertos son, por lo tanto, intermediarios entre el experto humano, que transmite sus conocimientos al sistema, y el usuario de dicho sistema, que lo emplea para resolver los problemas que se le plantean con la competencia de un especialista en la materia y que, adems,

Calculo Proposicional

Pg. 17

puede adquirir una destreza semejante a la del experto gracias a la observacin del modo de actuar de la mquina. Finalmente, el nivel cognoscitivo corresponde al conjunto de los conocimientos que el experto humano pone en prctica para la resolucin del problema planteado. Este conjunto de conocimientos debe poder traducirse al lenguaje definido mediante el formalismo de representacin del conocimiento adoptado. En cuanto al desarrollo actual de la investigacin en el campo de los sistemas expertos, la primera fase corresponde al desarrollo de sistemas y programas que traten directamente el lenguaje natural, si bien persisten todava dos escollos importantes. Por un lado, el problema de cmo emplear de un modo eficaz una gran cantidad de informacin sin necesidad de echar mano de la combinatoria; Es decir, cmo conseguir un sistema dotado de conocimientos (metaconocimientos), que le permitan utilizar los conocimientos del sistema y que, a su vez, le permitan deducir automticamente nuevos conocimientos, ya que no cabe pensar en la reunin de todos los conocimientos necesarios en casos de campos tan sumamente vastos como el del diagnstico en la medicina. 3.6. Aplicacin del clculo de predicados a la teora de las bases de datos El rea de base de datos es un rea importante de la ciencia de la computacin concerniente con la historia, consultando y actualizando una gran cantidad de datos. La lgica y las bases de datos estn ntimamente conectados desde el nacimientos del sistema de base de datos a principios de los 70s. Aquellas relaciones en un suceso incompetente de la historia. En efecto la lgica de primer orden (FO) tiende hacia los sistemas de base de datos modernos, y los lenguajes de consulta estructurados (SQL) y Consulta Por Ejemplo (QBE) son variantes sintcticas de (FO). El lenguaje de consulta mas poderos esta basado en extensiones de FO con recursin y son evocados con el bien conocido punto fijo consultado y estudiado en un modelo de teora finita. El impacto de la lgica en base de datos es notable en la mayora de los ejemplos de la eficacia de la lgica en ciencias computacionales. En conclusin, la lgica provee una herramienta espectacularmente efectiva en el rea de base de datos. FO provee las bases para el lenguaje de consulta estndar, porque la comodidad del uso de la implementacin eficiente va lgebra relacional. FO puede lograr escalas lineales, consiguiendo fuentes de procesos paralelos. As, se llena el potencial como un lenguaje de consulta permaneciendo aun para ser realizado. 3.7 Aplicacin del clculo de predicados a la tecnologa Orientada a Objetos. La mayora de los lenguajes experimentales que se han producido en los ltimos 10 aos son orientados a objetos. Al igual que los frames, se asocia a un objeto tanto datos como procedimientos en estructuras organizadas en jerarquas. Los datos al igual que los procedimientos pueden ser heredados. Los objetos se comunican entre ellos a travs de un protocolo especial de pasar mensajes. Cada objeto es una instancia de una clase y puede mandar su propio mensaje y hacer acciones independientes. Las clases se relacionan en una jerarqua. El objeto puede ser objeto fsico, un concepto, o lo que sea que queremos describir (ejemplo; un coche, un curso, un programa, etc.) Un objeto tiene un estado, exhibe un comportamiento bien definido y tiene una identidad nica. El cdigo privado que tiene el objeto puede ser accesado solo por medio de mensajes. El mensaje dice a que objeto se dirige, que procedimiento ejecutar y cuales son los argumentos. Los mtodos que se utilizan se refieren a un procedimiento privado de un objeto que dice que hacer con un mensaje y como hacerlo. Como cada objeto tiene sus propios mtodos, los objetos pueden responder diferente al mismo mensaje. Normalmente los mensajes se mandan a instancias, que heredan su mtodos de clases. Cuando se manda un mensaje a un objeto, ste checa sus datos y mtodos particulares para ver si se puede manejar el mensaje. Si no puede, busca la forma de hacerlo en su objeto padre. Los procedimientos pueden ser polimrficos (i.e., aceptar diferentes tipos o clases da datos y de todos modos saber que hacer) Se tiene que programar en trminos de operaciones genricas. Las propiedades relevantes dependen de cmo se persigue el objeto, ejemplo., un piano a un msico (como suena) a un cargador (cuanto pesa). De nuevo puede existir herencia mltiple (ejem., combinar ventanas).

Calculo Proposicional

Pg. 18

La filosofa de representar el conocimiento en trminos de objetos y agentes es adecuada para muchos problemas (en especial los que tienen un componente de simulacin.) El tener datos y procedimientos, obliga a pensar en el tipo de objetos y el comportamiento que es relevante para el problema.

Calculo Proposicional

Pg. 19

CONCLUSIONES Desde principios de la lgica clsica pasando por la lgica Aristotlica hasta llegar a nuestros das con la lgica moderna, nos da la pauta al pensar que siempre hemos dependido y dependeremos de la lgica. Con nuestra convivencia diaria utilizamos esta disciplina, en nuestros pensamientos como tipo de deduccin, hoy en da se utiliza tambin en la gran mayora de los campos de aplicacin, en la fabricacin de computadoras entre otros equipos. En la actualidad la lgica es la base para la elaboracin de programas de aplicacin como herramienta indispensable para el trabajo cotidiano, que en algunos casos es cansado o en su caso tedioso. Los sistemas expertos son en este caso la aplicacin que ha estado teniendo mucho de que hablar y de que discutir, con el uso de la lgica se pretende llegar a simular el comportamiento humano mediante premisas o reglas, implcitas en la base de conocimientos. Otra rea muy prctica del uso de reglas e inferencias lgicas es la robtica, supngase que un robot tiene censores como ojos, pies y brazos (al igual un humano). Lo que ocurrir internamente es inferir con respecto a los objetos que se encuentren a su paso del robot, lo que determinar hacia donde moverse. Al igual que los seres humanos tomamos esas decisiones muy a menudo y solo dese cuenta al cruzar una calle en la cual circulan vehculos por ambos sentidos. Tal es el hecho de que la lgica clsica es una de las disciplinas profundizadas por muchos pensadores, (cada uno, en sus tiempos). Mismos que incluso han tenido diferencias significativas respecto a la explicacin descriptiva en lo que respecta a algunas proposiciones ms complejas, como es sabido la lgica tiene ramas que se desprenden de ella, resolviendo de esta manera la mayora de los problemas que tienen un alcance profundo o prolongado en el cual tendran que hacer demasiados clculos. Tal es el caso del calculo de predicados, el cual es complementario de la lgica. Por ende, desde el punto de vista particular se entiende que todas o casi todas las disciplinas y reas que existen utilizan de alguna u otra manera principios lgicos, es decir que con esta se simplifican un poco a diferencia de hacer los procesos de otra manera (si es que existe la forma). Cabe destacar que al correr de los aos esta disciplina ha tenido pequeos cambios para beneficio de la ciencia, as mismo las ramas que de ella se derivan. Sin embargo, aunque se pretenda simplificar al proceso, otro tendr algn modo de dificultad. Solo que eso es lo interesante de poder adentrarse al problema y poder darle la solucin ms factible. Aqu en este documento solo se le informa del Calculo de proposicional y del calculo de predicados. A decir verdad, lo que describe es escrito no es todo lo que abarcan estas disciplinas. Por lo tanto si necesita saber ms acerca de esta, podr consultar en las referencias bibliogrficas se enlistan en el apartado de Bibliografa (parte final del documento).

Calculo Proposicional
BIBLIOGRAFIA Artificial Intelligence A Knowledge-Based Approach Morris W. Firebaugh Pag.143. Discrete Mathematical Structures with Applications to Computer Science J.P. Tremblaya y R. Monohar McGraw Hill International Editions Computer Science Series; Pg. 1-102 Knowledge Representation: An Approach to Artificial Intelligence Bench-Capon, T.J.M. (1990), Academic Press, San Diego. Artificial Intelligence. The Search for the Perfect Machine Stevens, L. (1984) Hayden Book Company, Hasbrouck Heights, N.J. Expert Systems: Design and Development Durkin, J.(1994),. Maxwell Macmillan, New York. Iniciacin a la lgica simblica Jos Antonio Arnaz Edit. Trillas, Pg. 26 a la 30 Lgica: Introduccin a la Ciencia del Razonamiento, Aut. Pedro Chvez C. Pg. 293 Grupo Patria Cultural, Publicaciones Cultural

Pg. 20

GLOSARIO DE TERMINOS SQL (Structured Query Language).- Lenguaje Estructurado de consulta QBE (Query By Example).- Consulta por ejemplo FO (First Logic Orden).- Lgica de primer orden IA (Artificial Intelligent).- Inteligencia Artifical

Calculo Proposicional

Pg. 21