1) El documento habla sobre la interpretación de sentencias lógicas y la corrección de argumentos lógicos. 2) Una interpretación debe contener información suficiente para determinar si una frase es verdadera o falsa, como el universo de discurso y las asignaciones de predicados. 3) Para que un argumento sea válido, debe ser verdadero bajo todas las interpretaciones.

1. Cálculo de PredicadosIng. César GrijalvaPONTIFICIA UNIVERSIDAD CATÓLICA DEL ECUADOR SEDE IBARRA

2. Se trata de la interpretación de sentencias lógicas y de la corrección de argumentos lógicos. La interpretación está ligada con la validez.A es válida si A es verdadera para todas las interpretaciones.INTERPRETACIONES Y VALIDEZ

3. Una interpretación de una frase debe contener información suficiente para determinar si la frase es verdadera o falsa.Por Ejemplo:Han pagado todos los clientes.1) Primero debo preguntarme ¿Qué necesito saber para determinar si esta frase es verdadera?Saber quienes son los clientes, es decir el universo de discurso.INTERPRETACIONES Y VALIDEZ

4. 2) Segundo es saber ¿Quién ha pagado y quién no?Es decir se necesita alguna forma de asignación de predicado para “ha pagado”.INTERPRETACIONES Y VALIDEZ

5. Formalmente una interpretación lógica de una expresión lógica contiene los siguientes componentes:Tiene que haber un Universo de Discurso.Para cada individuo debe haber una constante individual que se refiera solo a él.A cada variable libre asignar una constante individual.Tiene que haber una asignación para cada predicado que se utilice en la expresión, incluyendo los predicados de aridad cero que representan proposiciones.INTERPRETACIONES Y VALIDEZ

6. Ej.∀xP(x): donde P es el predicado «ha pagado»Supongamos 3 clientes María, Juan, Luis; M, J, L, se necesita una asignación si tanto María como Juan han pagado, pero Luis no, entonces la asignación se da de la forma siguiente: M J LP(x) V V FINTERPRETACIONES Y VALIDEZ

7. ∴El valor de verdad de ∀xP(x), la frase es falsa∀xP(x) solo es verdadera si P(M), P(J) y P(L) son todas verdaderas, lo cual no es cierto ya que Luis no ha pagado P(L) es falso.INTERPRETACIONES Y VALIDEZ

8. Para la interpretación, seleccionamos un dominio infinito que consta de n individuos a1, a2, a3,..an∀xP(x) solo es verdadero si P(a1), P(a2), P(a3),..P(an) son todos verdaderos.LEY 1∀xP(x) ≡ P(a1) ∧P(a2) ∧P(a3) ∧..P(an). P(a1) ∧ P(a2) ∧ P(a3) ∧..P(an), solo tiene 2 posibles valores Verdadero o Falso, esto hace que sean proposiciones.INTERPRETACIONES Y VALIDEZ

9. Por lo tanto se puede decir que las interpretaciones en universos finitos transforma las expresiones de Cálculo de predicados en proposiciones.Por otro lado para decidir si ∃xP(x) es verdadero.∃xP(x), es verdadero si existe al menos un x para el cual es válido P(x)INTERPRETACIONES Y VALIDEZ

10. En la interpretación anterior M J L P(x) V V FP(M) es verdadero y esto basta para que ∃xP(x) sea verdadero.LEY 2∃xP(x) ≡ P(a1) ∨P(a2) ∨P(a3) ∨...P(an).INTERPRETACIONES Y VALIDEZ

11. La ley 1 y ley 2 permite demostrar que: ~∃xA≡ ∀x~Aes válido para todos los dominios finitos correspondientes a Morgan. INTERPRETACIONES Y VALIDEZ

12. Para interpretar una frase con 2 argumentos.Ejemplo:Hay alguien que admira a todo el mundo.- El universo de discurso consta de 3 personas, Juan María y Juana.- El predicado en cuestión es Q(x , y): x admira a y.INTERPRETACIONES Y VALIDEZ

13. La siguiente tabla da una asignación: Las filas argumento 1 y columnas argumento 2 JUAN MARÍA JUANA∀yQ(x, y)∃yQ(x, y)JUAN F V V F VMARIA V F F F V JUANA F V VF V∀xQ(x, y)F FF∃xQ(x, y)V VVINTERPRETACIONES Y VALIDEZ

14. De la tabla anterior se concluye:Juan admira a María y a Juana

15. María solo admira a Juan

16. Juana admira a María y a sí mismaPara averiguar «Hay alguien que admira a todo el mundo»∃xx admira a todo el mundoLa frase «x admira a todo el mundo» se puede traducir a la siguiente forma: ∀y Q(x, y )INTERPRETACIONES Y VALIDEZ

17. Y como resultado de toda la frase «Hay alguien que admira a todo el mundo» se puede expresar:∃x∀y Q(x, y )Para averiguar si esta frase es cierta buscaremos el valor de verdad para:∀y Q(x, y ), en la interpretación dada en la tabla ésta subexpresión es FALSA. VER TABLA ANTERIOR.Es falsa para Juan porque Juan no se admira así mismo.Es falsa para María porque María no se admira así misma.Es falsa para Juana porque Juana no admira a Juan.INTERPRETACIONES Y VALIDEZ

18. Por lo tanto se puede concluir que:∀y Q(x, y ) es falsa para todo x, no existe un x para el cual ∀y Q(x, y ) sea verdadero y consiguientemente: ∃x∀y Q(x, y ) es falso a efectos de la interpretación dada. Fin del ejemplo.INTERPRETACIONES Y VALIDEZ

19. ANÁLISIS∃x∀y Q(x, y) , si se intercambiaran los cuantificadores universal y existencial el valor de verdad puede cambiar,Es decir no sería equivalente si pongo ∃x∀y Q(x, y) ≠∀y ∃xQ(x, y), por lo que solo se permite intercambiar entre los cuantificadores universal y existencial.∀x ∀y Q(x, y ) ≡ ∀y ∀x Q(x, y ) ∃x ∃y Q(x, y ) ≡ ∃y ∃x Q(x, y )De 1 es verdadero de ambos lados si y solo si Q(x, y) = V para todos los posibles x e y.INTERPRETACIONES Y VALIDEZ

20. Si R es cualquier proposición, es decir es o bien Verdadero o bien Falso, sea cual fuere el individuo. Entonces ∀xR y∃xRson ambas verdaderas si R es verdadero o bien ambas falsas si R es falsa, concluimos entonces que:∀xR≡∃xR≡ RINTERPRETACIONES Y VALIDEZ

21. Los argumentos lógicos tienen que ser válidos en todas las circunstancias.Si un argumento ha de ser correcto, tendrá que ser verdadero, para todas las interpretaciones.Validez

22. DEFINICIÓN 2.6: Una expresión es válida si es verdadera en todas las interpretaciones. Para expresar que una expresión A es válida, escribiremos |= ATodaslastautologías son expresionesválidas.Pordefiniciónunaexpresión A no esválidasiexisteuna sola interpretaciónquehaga A falso y ~A verdadero. Validez

23. DEFINICIÓN 2.7: Si B es una expresión, entonces diremos que toda interpretación que haga que B produzca V satisface a B. Toda interpretación que satisface a B se denomina un modelo de B. Si B tiene un modelo, entonces se dice que B es viable.Validez

24. Por tanto, una expresión A no es válida si ~A es viable. De modo equivalente, si ~A tiene un modelo, entonces A no puede ser válida.DEFINICIÓN 2.8: Una expresión B que no tenga ningún modelo se denomina contradictoria.Validez

25. Consiguientemente si A es válida entonces ~A es contradictoria.La noción de validez nos permite definir la implicación lógica y la equivalencia lógica en la forma siguiente:DEFINICIÓN 2.9 . Sean A y B dos expresiones. Decimos que A es lógicamente equivalente a B si A ⇔ B es válida. En este caso, escribiremos A≡B. Además, decimos que A implica lógicamente a B, o que A⇒B, si A⇒B es válida.Validez

26. PROBLEMAS1. Un universo contiene los tres individuos a , b, c. Para estos individuos, se define un predicado Q(x, y) y susvalores de verdadestán dados por la siguiente tabla:a b ca V F Vb F V Vc F V VDado el universo descrito determinar los valores de verdad para:PROBLEMAS

27. a) ∃x~Q(a, y) , b) ∀yQ(b, y), y c) ∀yQ(y, y)∧∃x ∀yQ(x, y)PROBLEMAS

28. 2. Es válida P(x) => (P(x) v Q(x)) ? Razonesurespuesta.3. Generar un modelopara:(P(x) => Q(y)) ∧ ~Q(y) ∧ P(y))PROBLEMAS

29. La ley siguiente se va a emplearcomoilustración. Sin embargo, esta ley en sí es muy importante.∀x(P ⇒ Q(x)) ≡ P ⇒ ∀xQ(x)P esunaproposición y Q es un predicado. Para demostrar, se utiliza la ley de los casos. Dado que P es o bien verdadera o bien falsa, se puede demostrar la validez de las dos equivalencias siguientes:Validez

30. 1 ∀x(V ⇒ Q(x)) ≡ V⇒ ∀xQ(x)2 ∀x(F ⇒ Q(x)) ≡ F⇒ ∀xQ(x)Estas dos equivalencias son válidas, dado que V ⇒ Q(x) es Q(x), el ladoizquierdo de 1 se reduce a ∀x Q(x). Por una razón similar , el lado derecho de 1 se reduce a ∀xQ(x) y ∀xQ(x)⇔∀xQ(x) esevidentementeválido. Validez

31. Además de 2 es válido porque ambos lados son siempre vedaderos: F ⇒ Q(x) es trivialmente verdadero, también lo es F ⇒ ∀xQ(x). En conclusión∀x(P ⇒ Q(x)) ≡ P ⇒ ∀xQ(x)Esválidaindependientemente de que P sea verdadera o falsa.Validez

32. Dado que la validez es muy importante, serían muy convenientes unos métodos que permitieran mostrar si una expresión es o no válida. Desafortunadamente, no hay métodos que funcionen en todos los casos. De hecho, el problema es del tipo que se denomina indecidible. Los problemas indecidibles no tienen una solución general, en el sentido de que no existe un método que pueda proporcionar de modo fiable una respuesta para el problema. Si un problema es indecidible, entonces tiene uno que buscar casos especiales, o bien hay que contentarse con métodos que a veces no llegan a dar respuesta; típicamente, esto sucede porque caen en algún tipo de bucle. Validez

33. Para determinar que A no es válida, es entonces suficiente dar un único contraejemplo; esto es basta con dar una única interpretación para la cual A produzca el valor F. Para probar que una condicional no es válida, es suficiente encontrarun modelo que haga que el antecedentesea verdadero, y el consecuentefalso.Para mostrar la forma de encontrar uno de esos modelos, consideremos la siguiente expresión, que evidentemente no es válida:Expresiones no validas

34. 1)∃xP(x) ⇒ ∀xP(x)Si P(x) esciertoparaalgún x, esto no justifica, que P(x) sea cierto para todo x. Por ejemplo, si un programa funciona para ciertos datos de entrada, esto no nos permite concluir, que el programa funciona para todos los posibles datos de entrada.Expresiones no validas

35. A continuación se describirá la forma de hacer derivaciones en cálculo de predicados. En particular, se dan las reglas necesarias para insertar y eliminar cuantificadores universales y particulares. También se presentará un concepto nuevo, “la unificación”. La unificación goza de amplia difusión en los lenguajes de programación lógicos y funcionales.DERIVACIONES

36. PARTICULARIZACIÓN UNIVERSALA partir de ∀xP(x) debería ser posible derivar P(t) para cualquier termino t.Ejemplo:Si P(x) significa “x está domido”, entonces∀xP(x) significa todo el mundo está dormido. De aquí se puede derivar que por ej. Juan está dormido.DERIVACIONES

37. Más formalmente si, x representa una variable, t representa un término y A representa una expresión, entonces la expresión siguiente debería ser válida.∀xA⇒𝑆𝑡𝑥𝐴La validez de esta expresión deriva de la definición de ∀x: si A es cierto para todo x, entonces debe ser cierto para x=t. DERIVACIONES

38. La implicación lógica ∀xA⇒𝑆𝑡𝑥𝐴 puede convertirse en una regla de inferencia en la forma siguiente:∀xA𝑆𝑡𝑥𝐴Esta regla se denomina particularización universal y se abrevia en la forma UI. DERIVACIONES

39. Por ejemplo, la particularización universal nos permite concluir que∀xA𝑆𝑡𝑥𝐴∀x(rio(x) ⇒𝑡𝑖𝑒𝑛𝑒𝑎𝑔𝑢𝑎(𝑥))𝑟𝑖𝑜𝐴𝑚𝑎𝑧𝑜𝑛𝑎𝑠⇒𝑡𝑖𝑒𝑛𝑒𝑎𝑔𝑢𝑎(𝐴𝑚𝑎𝑧𝑜𝑛𝑎𝑠) DERIVACIONES