Actividad 1. Validez, completud y compacidad. Resuelve los siguientes ejercicios, tomando en cuenta los contenidos referentes en el programa desarrollado. 1) Suponga que el simbolo de canstante c no ocurre enw nien yi nienT, y que T: gF & yp. Muestra (sin utilizar los teoremas de corectud y de completud) que Taree ye Este ejercicio es considerado como la Regla Seméntica de Instanciacién Existencial (IE). Consideremos entonces que Ip! + sp donde si y solo si (para cualquier % y definiendo para s de tal manera que x I'[s] y también decimos que Fx #:[s] + Fu [5] )por lo que si y solamente si [para cualquier 2 y s de tal manera que Fu F'[s] y itu Ls] , considerando que ix ~7[s] ] por lo que luego decimos que si y solo si [para cualquier 2 y s de tal manera que Fy, I[s] y x [5], tomando en cuenta que Fx -:[s] ] con esto decimos que Si y solo si [para cualquier 2 y s de tal manera que Fx I'[s] y ¥u Is] , por lo que entonces se procede a Fy, +[s(x\c*")] ] donde decimos que si y solo si ( esto implica (=>) que debido a que c no se produce en I’, — 0 g) entonces [para cualquier w y s quede de tal manera que +4 F'[s] y tu w[s] , para todas las d € |] , por lo que entonces queda definido para tx —~p[s(x|d)] ] por lo que Si y sélo si [para cualquier 2 y s de tal manera que Fu I'[s] y #u H[s] , decimos que F« Vs] ] con esto decimos que si y solo si [para cualquier % y s de tal manera que Fu I[s] y ix ¥x-[s], Con Fx w[s] ] por lo que entonces se concluye que si y sdlo si decimos que I; a¥x9 F p.quee 2) Demuestre la equivalencia de las partes a) y b) del teorema de completud. ‘Sugerencia: [ » @ y sii 'U {-vp} es insatisfactible. Y 4 es salisfactible sii A #1 donde Les alguna formula refutable insatistactible, tal como Wx x = x. Observacion De manera similar, el teorema de correctud es equivalente a la afirmacion de que todo conjunto de formulas que es satistactible es consistente. Por lo que entonces consideramos el Teorema de completitud de la siguiente manera: a) Si » @ , por lo que después decimos que It p. (b) Sir es consistente, decimos entonces que I es satisfiable.Por lo que entonces decimos que su necesidad definida como a) implica b). Si no se satisfiable, a continuacion decimos que, I' + {y,.} , con esto decimos por lo tanto, + {y, 9} , y con esto I’ no es consistente. Por lo que entonces decimos que su suticlencia definida como b) implica a). SIT F 9 , por lo que después decimos que Fy I's] por lo que esto implica que Fy pls] ¥ que x =9[s] , esto quiere decir I; -g es insatisfactible, y, por lo tanto, decimos que es incompatible, por lo que entonces implica, por Reduccién Al Absurdo que, It 9) Seal = (ave, Py, Pus, Ps...) LES I consistente? .Es I satisfactible? De acuerdo con los teoremas de solidez e integridad, las respuestas a ambas preguntas deben ser los mismos. Es facil ver que I es satisfactible. Consideremos que % = ({0,1}; P) donde P“ = (< 1 >} y s:V — || de tal manera que s(v;) = 1. Por lo que entonces, sin duda decimos que , Fy, Pv;{s] + Fu Pv,[s(v4|1)] ¥ que #4 Pr4[s(v,|0)] , con esto por lo tanto decimos que, Wu VosPvils]. Nota. Al principio, puede parecer que algunos I no es ni consistente ni satisfactible. De hecho, la primera férmula dice que P no se cumple para cada elemento en el dominio y, a continuacién, se enumeran todas las. variables posibles, diciendo que P se cumple para todos ellos. El problema con este enfoque es que lo que hay en la primera formula dice es que, efectivamente, hay un elemento en el dominio para el cual P no se sostiene. Sin embargo, después de esto, I no es una lista de todos los elementos del dominio, sino que contiene una lista infinita de variables independientes que dicen que cualquier elemento se le asigna a cada uno de ellos, por lo que P vale para el elemento. En otras palabras, el resto de las Tr sdlo dice que hay un elemento para el cual P sostiene. En otras palabras, r es un poco (no muy logicamente relacionado entre si) equivalente aI — (ax+Px,4yPy} , en el sentido de que por cada dominio para el cual ' puede ser satisfecha con algunas, r’ (que consiste en este caso en frases solamente) esto se cumple, y de manera viceversa también se cumple. 4) Muestre que un mapa infinito puede ser coloreado con cuatro colores sii cada uno de los submapas de éste puede ser coloreado con cuatro colores. Sugerencia: Toma un lenguaje que tenga simbolos de constante para cada pais y que tenga cuatro simbolos de predicado de un argumento para los colores. Utiiza el teorema de compacidad. Por lo que consideremos en introducir simbolos de oraciones definido como A; , donde v(4;;) = V esto significaria que este pais i se colorea con elcolor j y con esto se debe formar dos grupos de oraciones, un grupo que consiste en los B; con (Bi) = V considerando que si y solamente si que exista exactamente un valor v(4,;),con j € {1,2,3,4} ,por lo que decimos que es verdadero ( tomemos en cuenta que exactamente hay un color que se le aplica a cada pais), y el otro grupo que consiste en definir para D;,;x. 5 tal que iy k que estos representan los paises, considerando luego que i y j son adyacentes, con ¥(D;,,,) — V si y sdlo si no debe haber mas de un valor de v(4;;) y v(4,,) que sea cierto (considerando que los paises adyacentes no pueden ser del mismo color). Por lo que entonces podriamos usar el teorema de compacidad de la logica proposicional que este argumenta que mientras cualquier subconjunto finito del conjunto £ de todas las condenas de B; y D,;,, puede ser satisfecho, y esto implica que & puede ser satisfecha también. En nuestro caso, formamos un lenguaje de primer orden y un conjunto de oraciones F para describir la coloracion de los mapas, y aplicar el teorema de compacidad. En lugar de considerar en definir para A, ; vamos a utilizar una formula atémica «,, igual a P;c, de modo que todas esas formulas atomicas son distintas. Luego formamos frases detinidas relacionadas con Bi (Bi) Y 6:3 (Disx) donde se define para las «;; como se planted anteriormente aqui, y tomando en cuenta que I = {f;, jx ° Por lo que aqui, |%t| puede ser considerado como un conjunto de puntos que representan a todos los paises (y posiblemente algunos otros puntos), por lo que a continuaci6n, cf" es un punto en un || pais que representa i, y mencionando que P;‘ es un subconjunto de puntos en |¥l| con el color j . Por lo que la frase B; asegura que hay exactamente una de las relaciones P} tales que vale para ci‘ (que este es el punto correspondiente al pais i que se colorea exactamente con un color), y decimos que 6,,,, asegura que la relacién P¥' no se sostiene para ambos puntos c/" y cy (al menos que uno de los puntos correspondientes a los paises adyacentes que son los puntos i y k que estos puntos mencionados no se colorea con el color j ). Ahora, es un modelo de Fr si y sdlo si [la coloracidn en el pais i se colorea con el color j si y sdlo si < ci >€ P¥ ] por lo que es correcto mencionarlo. Y de acuerdo con el corolario del teorema de compacidad, F tiene un modelo si y sdlo si cada subconjunto finito de F tiene un modelo. Por lo tanto, si existe una correcta coloracién de la grafica infinita, entonces I tiene un modelo, y, por lo tanto, cada uno de sus subconjuntos finitos tiene un modelo, en particular, el subconjunto finito de I correspondiente a corregir la coloraciénde algtin subgrato finito fijo tiene un modelo, es decir, el subgrato finito tiene una coloracion correcta. Y de manera viceversa decimos que, si cada subgrato finito tiene una coloracién correcta, entonces, de manera similar asociamos a la légica sentencial, que menciona que dado un subconjunto finito To de T , por lo que entonces decimos, en primer lugar, que extendemos a un subconjunto finito I’ que incluye todas las sentencias de ly y todas las penas correspondientes a una correcta coloracién de algun subgrato finito, y luego argumentar que un modelo de I (y entonces, se dara To) entonces existe, por lo tanto, por la compacidad, un modelo der que existe, y el grafo que es infinito que tiene una coloraci6n correcta. Ahora, a diferencia de lo que se sugiere, una pregunta mas interesante es si podemos gestionar para obtener un resultado similar con un lenguaje finito utilizando toda la potencia de los lenguajes de primer orden. Aqui, podemos utilizar el ntimero infinito de variables en vez de constantes para asignar los colores. Por lo tanto, debemos asumir que |21| es el conjunto de cuatro colores (tomando en cuenta que V2, ... Vvsv, = vz VY, = Vg VV ¥y = Vs )e Por lo que a continuacion, la asignacién s: V — |2I| representa una coloracién de los paises donde nos aseguramos que cada pais se colorea con un color simplemente por definicién, ya que s es una funcién (asi, no necesitamos un andlogo de los B; en absoluto). Ademas, para cada par de paises adyacentes detinidos como i y k se considera que simplemente se le debe sumar una sola formula bien formada donde se esté afirmando que +v; ~ v,,. Esta formula bien formada asegura que los dos paises adyacentes se asignan de diferentes colores. Y eso es todo. Por lo que Una estructura de 2 satisface Icon s si y s6lo si |] no contiene mas de 4 puntos (es decir colores) y cada variable v; (es decir pais i ) se le asigna un punto en || (a color) por cada s de tal manera que no hay dos paises adyacentes que comparten el mismo color. Y entonces podemos aplicar el teorema de compacidad de la misma manera para afirmar que I es satisfactible si y sdlo si cada subconjunto finito de I es satisfactible. 5) El teorema de completud dice que cada enunciado cuenta con una deduccién (a partir de 9) 0 con un contramodelo, es decir, una estructura en ia que es falso). Para cada. Uno de los enunciados siguientes, muestre que hay una deduccién o dé un contramodelo. a) Vx (Qx Vy Qy) Esta frase no es valida. Consideremos que = ({0, 1}; @) donde Q™ = {<1 > } . Por lo que entonces, para cualquier s:V — |2t| , decimos que ty Qx[s(x|0)]