1. Modificado y Adaptado por: LEONARDO BERNAL ZAMORA

9. Expresividad de la Lógica Proposicional

16. 

18. Reglas de precedencia entre operadores   ,   ,   ,  menor precedencia Forma Normal de una fórmula Una fórmula se dice que está en forma normal si todos los cuantificadores han sido desplazados al principio de la fórmula.

23. 

25. REGLAS DE FORMACIÓN Con los elementos del alfabeto y con las reglas de formación de pueden Construir las llamadas fórmulas atómicas, que son el “conjunto de todas las expresiones que se pueden construir correctamente aplicando las reglas de formación y utilizando el alfabeto”. Se aquí se derivan las formulas bien definidas (FBD) ó formulas bien formuladas que son aquellas construidas correctamente. Las reglas de formación son las siguientes: El átomo es una FBD. Si P es una FBD, entonces |p también. Si P y Q son FBD y C es una conectiva binaria, entonces A U C U B también es una FBD. Si P(X) es FBD, entonces (AX) P(X) también Si Q(X) es una FBD, entonces (EX) Q(X) también

26. REPRESENTACIÓN DEL MUNDO REAL EN LÓGICA Por ser una forma de RC tan natural, la lógica puede emplearse para describir la gran mayoría de los dominios en los cuales se trabaja. Para realizar la representación debe tenerse en cuenta el siguiente proceso: 1. En tender los enunciados o el conocimiento que se desee representar. 2. Formular el conocimiento en el lenguaje natural deseado. 3. Separar o identificar las características y/o relaciones que dan la idea de predicados. 4. Escoger los símbolos de la lógica para las expresiones. 5. Escribir la FBD.