U2 logica de primer orden o de predicados[4]

Lógica matemática Unidad 2. Lógica de primer orden o de predicados

Universidad Abierta y a Distancia de México

Licenciatura en Matemáticas

8° Semestre

Lógica matemática

Unidad 2. Lógica de primer orden o de predicados

Clave: 05144845

Ciencias Exactas, Ingenierías y Tecnologías| Licenciatura en Matemáticas 1

Lógica matemática Unidad 2. Lógica de primer orden o de predicados Índice Índice ....................................................................................................................................... 2 Unidad 2. Lógica de primer orden o de predicados ............................................................. 3 Presentación de la unidad ..................................................................................................... 3 Propósitos de la unidad ......................................................................................................... 3 Competencia específica ......................................................................................................... 4 Lenguajes de primer orden .................................................................................................... 4 Símbolos lógicos y no lógicos ............................................................................................. 6 Términos y fórmulas ........................................................................................................... 11 Variables libres y variables acotadas ................................................................................ 13 Definición y ejemplos de enunciados ................................................................................ 15 Verdad y modelos ................................................................................................................. 17 Interpretaciones o estructuras ........................................................................................... 17 Definición de satisfacción .................................................................................................. 19 Definición de verdad para enunciados y definición de modelo ....................................... 23 Implicación lógica ............................................................................................................... 26 Equivalencia lógica ............................................................................................................. 27 Fórmulas universalmente válidas ...................................................................................... 27 Definibilidad de una estructura .......................................................................................... 28 Homomorfismos y teorema del homomorfismo ............................................................... 32 Un cálculo deductivo ............................................................................................................ 38 Deducciones formales ........................................................................................................ 38 Reglas de inferencia............................................................................................................ 39 Axiomas lógicos .................................................................................................................. 40 Deducciones y metateoremas ............................................................................................ 44 Teorema de generalización................................................................................................. 46 Teorema de la deducción.................................................................................................... 47 Teorema de la generalización sobre constantes .............................................................. 51 Teorema de la existencia de variantes alfabéticas ........................................................... 53 Cierre de la unidad ............................................................................................................... 55 Para saber más ..................................................................................................................... 55 Referencias bibliográficas ................................................................................................... 55

Ciencias Exactas, Ingenierías y Tecnologías| Licenciatura en Matemáticas 2

Lógica matemática Unidad 2. Lógica de primer orden o de predicados Unidad 2. Lógica de primer orden o de predicados Presentación de la unidad La presente unidad contiene las herramientas necesarias para poder construir lo que es llamado un cálculo deductivo, es decir, una forma de demostrar que ciertos enunciados son consecuencia lógica de un conjunto de otros enunciados, formalizando estos conceptos durante el desarrollo.

Se presentan algunos resultados importantes de la lógica de primer orden dejando muy en claro su relación con la lógica de enunciados, pues se presentan conceptos similares pero más complejos en sí mismos.

Debido a que en general lo que se ha estudiado hasta el momento en la carrera de matemáticas está escrito en este tipo de lenguaje, se presentan relaciones directas con conceptos del álgebra, primordialmente cálculo. Si bien lo que se usará en general es sencillo dentro de las áreas, se recomienda tener a la mano algún texto de definiciones para mejor comprensión de los contenidos.

La unidad terminará con la presentación de teoremas que permiten determinar si un enunciado es, en la lógica de primer orden, consecuencia lógica de otros.

Propósitos de la unidad Al terminar esta unidad lograrás:  



Introducir los conceptos necesarios en la lógica de primer orden.

Comprender el concepto de validez en la lógica de primer orden, como la manera de determinar el valor de verdad de los enunciados dentro de una estructura.

Demostrar los teoremas de generalización y de deducción para tener las herramientas de las demostraciones deductivas.

Ciencias Exactas, Ingenierías y Tecnologías| Licenciatura en Matemáticas 3

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Competencia especĂ­fica

Analiza algunos resultados de un cĂĄlculo deductivo mediante el empleo de razonamientos matemĂĄticos correctos expresados en el lenguaje de la lĂłgica de primer orden, para determinar mĂŠtodos de deducciĂłn adecuados con el fin de demostrar que un enunciado dado es implicado lĂłgicamente por otros.

Lenguajes de primer orden El modelo matemĂĄtico de pensamiento deductivo presentado en la unidad anterior puede ser, de cierta forma, muy simple. Se pueden pensar algunos ejemplos sencillos de deducciones intuitivamente correctas que no pueden ser reflejadas adecuadamente en un modelo de lĂłgica de enunciados.

ConsidĂŠrese, por ejemplo, que se empieza con una serie de hipĂłtesis en lenguaje comĂşn y una posible conclusiĂłn, al hacer la traducciĂłn al lenguaje de la lĂłgica de enunciados, se tiene un conjunto ÎŁ de hipĂłtesis y la conclusiĂłn đ?œ?. Si se tiene que ÎŁ ⊨ đ?œ?, podrĂ­a pensarse que la deducciĂłn original era vĂĄlida, pero en el caso que ÎŁ ⊭ đ?œ?, no se tendrĂĄ certeza. Esto puede deberse a que el modelo de la lĂłgica de enunciados no refleja la sutiliza de la deducciĂłn original.

El sistema deductivo que se presenta a continuaciĂłn es en el que frecuentemente estĂĄn hechas las demostraciones presentes en la literatura.

Para empezar, se darĂĄ una descripciĂłn informal de las caracterĂ­sticas que podrĂ­an tener los lenguajes de primer orden que se trabajarĂĄn en el curso, o al menos las que se podrĂ­an simular.

Se comienza con un caso especial, el lenguaje de primer orden para la teorĂ­a de los nĂşmeros.

Este lenguaje tiene una forma de ser traducido al lenguaje comĂşn y viceversa, como se presenta en la siguiente tabla.

ExpresiĂłn formal

TraducciĂłn Cero. 0 es un sĂ­mbolo de constante que representarĂĄ el nĂşmero 0.

El sucesor de t. � es un símbolo de función de un argumento, � se considerarå como una expresión para representar algún número �.

đ?&#x;Ž đ?‘şđ?’•

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 4

Lógica matemåtica Unidad 2. Lógica de primer orden o de predicados Entonces, �� nombra a �(�), el sucesor de �.

Por ejemplo, se tiene que đ?&#x2018;&#x2020;0 representa el nĂşmero 1. đ?&#x2018;Ł1 es menor que đ?&#x2018;Ł2 . < es un sĂ­mbolo de predicado de dos argumentos. Posteriormente se darĂĄn las convenciones para poder abreviar esta expresiĂłn en un estilo mĂĄs conocido đ?&#x2018;Ł1 < đ?&#x2018;Ł2 .

Para todo nĂşmero natural. El sĂ­mbolo â&#x2C6;&#x20AC; es el sĂ­mbolo de cuantificador universal. De una forma mĂĄs general, con cada traducciĂłn del lenguaje formal al lenguaje comĂşn habrĂĄ determinado conjunto asociado đ??´ (usualmente llamado el universo). â&#x2C6;&#x20AC; serĂĄ entonces para todo elemento del universo đ??´.

Para todo nĂşmero natural đ?&#x2018;Ł1 , cero es menor que đ?&#x2018;Ł1 .â&#x20AC;? Dicho de otra manera: â&#x20AC;&#x153;Todo nĂşmero natural es mayor que 0.â&#x20AC;? Este enunciado formal es falso con el significado de la traducciĂłn, ya que cero no es mayor que sĂ­ mismo.

< đ?&#x2019;&#x2014;đ?&#x;? đ?&#x2019;&#x2014;đ?&#x;?

â&#x2C6;&#x20AC;

â&#x2C6;&#x20AC;đ?&#x2019;&#x2014;đ?&#x;? < đ?&#x;&#x17D;đ?&#x2019;&#x2014;đ?&#x;?

Tabla 1.CaracterĂ­sticas de Lenguajes de primer orden

Se tienen, ademĂĄs, algunas expresiones abreviadas y sus traducciones.

ExpresiĂłn formal

TraducciĂłn đ?&#x2018;Ľ es igual a đ?&#x2018;Ś. En la forma no abreviada, esto se convertirĂ­a en = đ?&#x2018;Ľđ?&#x2018;Ś.

Existe un nĂşmero natural đ?&#x2018;Ł tal que. O, de una manera mĂĄs general, existe un elemento del universo tal que.

Existe exactamente un nĂşmero natural. De nuevo, este enunciado formal resulta falso con el significado de la traducciĂłn.

Todo nĂşmero natural es mayor o igual que cero.

đ?&#x2019;&#x2122;=đ?&#x2019;&#x161; â&#x2C6;&#x192;đ?&#x2019;&#x2014;

â&#x2C6;&#x192;đ?&#x2019;&#x2014;đ?&#x;? â&#x2C6;&#x20AC;đ?&#x2019;&#x2014;đ?&#x;? đ?&#x2019;&#x2014;đ?&#x;? = đ?&#x2019;&#x2014;đ?&#x;?

â&#x2C6;&#x20AC;đ?&#x2019;&#x2014;đ?&#x;? (đ?&#x;&#x17D; < đ?&#x2019;&#x2014;đ?&#x;? â&#x2C6;¨ đ?&#x;&#x17D; = đ?&#x2019;&#x2014;đ?&#x;? )

Tabla 2. Expresiones abreviadas y traducciones

Se harĂĄn algunas medidas de carĂĄcter econĂłmico para simplificar sin ninguna pĂŠrdida esencial de la expresividad lingßística: En primer lugar, se eligen como conectivos de enunciado solamente ÂŹ y â&#x2020;&#x2019;. De la unidad anterior se sabe que ĂŠstos forman un conjunto completo de conectivos y, por lo mismo, no hay una razĂłn que obligue a usar mĂĄs.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 5

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados En segundo lugar, no se usarĂĄ un cuantificador existencial â&#x2C6;&#x192;đ?&#x2018;Ľ. En lugar su se usarĂĄ ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹ. Esto se justifica porque una oraciĂłn en lenguaje comĂşn, como: đ??ťđ?&#x2018;&#x17D;đ?&#x2018;Ś đ?&#x2018;&#x17D;đ?&#x2018;&#x2122;đ?&#x2018;&#x201D;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x;đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018;&#x203A; đ??ˇđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x17D;đ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;&#x;đ?&#x2018;?đ?&#x2018;&#x17D;. es equivalente a: đ?&#x2018; đ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122; đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018; đ?&#x2018;&#x153; đ?&#x2018;&#x17E;đ?&#x2018;˘đ?&#x2018;&#x2019; đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018;&#x;đ?&#x2018;&#x17D; đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;Ľ, đ?&#x2018;Ľ đ?&#x2018;&#x203A;đ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;ĄĂĄ đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x;đ?&#x2018;&#x2013;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018;&#x203A; đ??ˇđ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x17D;đ?&#x2018;&#x161;đ?&#x2018;&#x17D;đ?&#x2018;&#x;đ?&#x2018;?đ?&#x2018;&#x17D;.

Por lo tanto, la fĂłrmula â&#x2C6;&#x192;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ?&#x2018;Ł1 = đ?&#x2018;Ł2 se convierte, en forma no abreviada, en: (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 = đ?&#x2018;Ł1 đ?&#x2018;Ł2 )).

Como ejemplo de un lenguaje a propĂłsito para el caso, se puede traducir â&#x20AC;&#x153;SĂłcrates es un hombreâ&#x20AC;? como đ??ťđ?&#x2018; ; donde đ??ť es un sĂ­mbolo de predicado de un argumento que se utiliza para traducir â&#x20AC;&#x153;es un hombreâ&#x20AC;? y đ?&#x2018; es un sĂ­mbolo de contante que se utiliza para nombrar a SĂłcrates.

De manera similar, para traducir "SĂłcrates es mortal", se usa đ?&#x2018;&#x20AC;đ?&#x2018; ; por lo tanto, â&#x20AC;&#x153;Todos los hombres son mortalesâ&#x20AC;? se traduce como â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??ťđ?&#x2018;Ł1 â&#x2020;&#x2019; đ?&#x2018;&#x20AC;đ?&#x2018;Ł1 ).

SĂ­mbolos lĂłgicos y no lĂłgicos Para lo que sigue, se asume que se tiene un nĂşmero infinito de objetos distintos (que denominamos sĂ­mbolos), ordenados de acuerdo con lo siguiente: A. SĂ­mbolos lĂłgicos: 1. ParĂŠntesis: (, ).

2. SĂ­mbolos de conectivo para enunciados:â&#x2020;&#x2019;, ÂŹ.

3. Variables (una para cada entero positivo đ?&#x2018;&#x203A;): đ?&#x2018;Ł1 , đ?&#x2018;Ł2 , â&#x20AC;Ś 4. SĂ­mbolo de igualdad (opcional): =.

B. ParĂĄmetros: 0. SĂ­mbolo de cuantificador: â&#x2C6;&#x20AC;.

1. SĂ­mbolos de predicado: para cada entero positivo đ?&#x2018;&#x203A;, algĂşn conjunto (posiblemente vacĂ­o) de sĂ­mbolos, denominado sĂ­mbolos de predicado de đ?&#x2018;&#x203A; argumentos.

2. SĂ­mbolos de constante: algĂşn conjunto (posiblemente vacĂ­o) de sĂ­mbolos.

3. SĂ­mbolos de funciĂłn: para cada entero positivo đ?&#x2018;&#x203A;, algĂşn conjunto (posiblemente vacĂ­o) de sĂ­mbolos denominados sĂ­mbolos de funciĂłn de đ?&#x2018;&#x203A; argumentos.

En A.3 (sĂ­mbolos lĂłgicos) se permite la posibilidad de existencia del sĂ­mbolo de igualdad, pero no se da por hecho su presencia. Algunos lenguajes contarĂĄn con ĂŠl y otros no. El sĂ­mbolo de igualdad es un sĂ­mbolo de predicado de dos argumentos, pero se distingue de otros sĂ­mbolos de predicados de dos argumentos por ser uno mĂĄs que un parĂĄmetro (este estado afectarĂĄ su Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 6

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados comportamiento cuando se traduzca al Lenguaje comĂşn). Es necesario asumir que se encuentra presente algĂşn sĂ­mbolo de predicado de đ?&#x2018;&#x203A; argumentos para algĂşn đ?&#x2018;&#x203A;.

En B.2 (ParĂĄmetros), los sĂ­mbolos de constante tambiĂŠn se llaman sĂ­mbolos de funciĂłn de 0 argumentos. Con frecuencia, esto permite dar un tratamiento uniforme a los sĂ­mbolos que se encuentran en B.2 y B.3.

Al igual que antes, se asume que cada sĂ­mbolo es distinto y ninguno es una sucesiĂłn finita de otros sĂ­mbolos.

Con el fin de especificar quĂŠ lenguaje se tiene (que difiere de otros lenguajes de primer orden), se debe decir: ď&#x201A;ˇ ď&#x201A;ˇ

si se encuentra presente o no el sĂ­mbolo de igualdad, y cuĂĄles son los parĂĄmetros.

A continuaciĂłn se presenta una lista de algunos ejemplos de este lenguaje: 1. Lenguaje puro de predicados - Igualdad: no.

- SĂ­mbolos de predicado de đ?&#x2018;&#x203A; argumentos: đ??´1đ?&#x2018;&#x203A; , đ??´đ?&#x2018;&#x203A;2 , â&#x20AC;Ś - SĂ­mbolos de constante: đ?&#x2018;&#x17D;1 , đ?&#x2018;&#x17D;2 , â&#x20AC;Ś - SĂ­mbolos de funciĂłn de đ?&#x2018;&#x203A; argumentos (đ?&#x2018;&#x203A; > 0): ninguno.

2. Lenguaje de la teorĂ­a de conjuntos - Igualdad: sĂ­ (normalmente).

- ParĂĄmetros de predicado: un sĂ­mbolo de predicado de dos argumentos â&#x2C6;&#x2C6;.

- SĂ­mbolos de funciĂłn: ninguno (u ocasionalmente un sĂ­mbolo de constante â&#x2C6;&#x2026;).

3. Lenguaje de la teorĂ­a elemental de nĂşmeros - Igualdad: sĂ­.

- ParĂĄmetros de predicado: un sĂ­mbolo de predicado de dos argumentos <.

- SĂ­mbolos de constante: 0.

- SĂ­mbolos de funciĂłn de un argumento: đ?&#x2018;&#x2020; (para el sucesor).

- SĂ­mbolos de funciĂłn de dos argumentos: + (para la suma), â&#x2039;&#x2026; (para la multiplicaciĂłn), y đ??¸ (para la exponenciaciĂłn).

En los casos 2 y 3 hay ciertas traducciones usuales para los parĂĄmetros. A continuaciĂłn se presentan varios ejemplos de enunciados que pueden traducirse a estos lenguajes y unos cuantos de enunciados que no pueden ser traducidos asĂ­.

Es importante notar que la nociĂłn de lenguaje incluye el lenguaje de la teorĂ­a de conjuntos. Se suele aceptar que, en general, las matemĂĄticas se pueden representar en la teorĂ­a de conjuntos. Esto significa que: Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 7

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados ď&#x201A;ˇ ď&#x201A;ˇ

Los enunciados en matemĂĄticas (como el teorema fundamental del cĂĄlculo) pueden expresarse en el lenguaje de la teorĂ­a de conjuntos.

Los teoremas de matemĂĄticas son consecuencia lĂłgica de los axiomas de la teorĂ­a de conjuntos.

El modelo de lĂłgica de primer orden presentado hasta el momento es totalmente adecuado para reflejar este procedimiento.

Ejemplo 2.1.1.1 En el lenguaje de la teorĂ­a de conjuntos.

AquĂ­ se pretende que â&#x2C6;&#x20AC; signifique "para todos los conjuntos" y â&#x2C6;&#x2C6;, "es elemento de". â&#x20AC;&#x153;No existe un conjunto del cual todo conjunto sea elementoâ&#x20AC;?. Se debe traducir esto al lenguaje de la teorĂ­a de conjuntos con varios pasos. Los enunciados intermedios no estĂĄn ni en lenguaje comĂşn ni en lenguaje formal, sino en una mezcla de ambos. ÂŹ[đ??¸đ?&#x2018;Ľđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;˘đ?&#x2018;&#x203A; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019;đ?&#x2018;&#x2122; đ?&#x2018;?đ?&#x2018;˘đ?&#x2018;&#x17D;đ?&#x2018;&#x2122; đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153;] ÂŹâ&#x2C6;&#x192;đ?&#x2018;Ł1 [đ?&#x2018;&#x2021;đ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; đ?&#x2018;Ł1 ] ÂŹâ&#x2C6;&#x192;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł1 Aunque se podrĂ­a pensar en detenerse aquĂ­, se debe remplazar đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł1 por â&#x2C6;&#x2C6; đ?&#x2018;Ł1 đ?&#x2018;Ł2 , debido a que los sĂ­mbolos de predicado siempre van a la izquierda en dichos contextos. AdemĂĄs se debe reemplazar â&#x2C6;&#x192;đ?&#x2018;Ł1 y poner en su lugar ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 ÂŹ, tal como se mencionĂł anteriormente. Se debe utilizar el nĂşmero correcto de parĂŠntesis. El producto terminado es: (ÂŹ(ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 ))) Axioma del par "Para cualesquiera dos conjuntos, existe un conjunto cuyos elementos son exactamente los dos conjuntos dados". De nuevo, la traducciĂłn se harĂĄ por pasos. â&#x2C6;&#x20AC;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;2 [đ??¸đ?&#x2018;Ľđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;˘đ?&#x2018;&#x203A; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;Ąđ?&#x2018;&#x203A;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;˘đ?&#x2018;Śđ?&#x2018;&#x153;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018; đ?&#x2018; đ?&#x2018;&#x153;đ?&#x2018;&#x203A; đ?&#x2018;&#x2019;đ?&#x2018;Ľđ?&#x2018;&#x17D;đ?&#x2018;?đ?&#x2018;Ąđ?&#x2018;&#x17D;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;Ł1 đ?&#x2018;Ś đ?&#x2018;Ł2 ] â&#x2C6;&#x20AC;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;2 â&#x2C6;&#x192;đ?&#x2018;Ł3 [đ??żđ?&#x2018;&#x153;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; đ?&#x2018;Ł3 đ?&#x2018; đ?&#x2018;&#x153;đ?&#x2018;&#x203A; đ?&#x2018;&#x2019;đ?&#x2018;Ľđ?&#x2018;&#x17D;đ?&#x2018;?đ?&#x2018;Ąđ?&#x2018;&#x17D;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;Ł1 đ?&#x2018;Ś đ?&#x2018;Ł2 ] â&#x2C6;&#x20AC;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;2 â&#x2C6;&#x192;đ?&#x2018;Ł3 â&#x2C6;&#x20AC;đ?&#x2018;Ł4 (đ?&#x2018;Ł4 â&#x2C6;&#x2C6; đ?&#x2018;Ł3 â&#x2020;&#x201D; đ?&#x2018;Ł4 = đ?&#x2018;Ł1 â&#x2C6;¨ đ?&#x2018;Ł4 = đ?&#x2018;Ł2 ) Nuevamente se tienen que reemplazar los conectivos con las equivalentes en el conjunto completo de â&#x2020;&#x2019;, ÂŹ. AdemĂĄs se deben hacer cambios similares a los anteriores.

Considerando que đ?&#x203A;ź â&#x2C6;¨ đ?&#x203A;˝ es equivalente a ÂŹđ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ đ?&#x203A;ź â&#x2020;&#x201D; đ?&#x203A;˝ es equivalente a ÂŹ((đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) â&#x2020;&#x2019; ÂŹ(đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ź)) Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 8

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Se tiene que el producto terminado es:

â&#x2C6;&#x20AC;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;đ?&#x2018;Ł2 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł3 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł4 (ÂŹ ((â&#x2C6;&#x2C6; đ?&#x2018;Ł4 đ?&#x2018;Ł3 â&#x2020;&#x2019; ((ÂŹ= đ?&#x2018;Ł4 đ?&#x2018;Ł1 ) â&#x2020;&#x2019;= đ?&#x2018;Ł4 đ?&#x2018;Ł2 ))

â&#x2020;&#x2019; (ÂŹ (((ÂŹ= đ?&#x2018;Ł4 đ?&#x2018;Ł1 ) â&#x2020;&#x2019;= đ?&#x2018;Ł4 đ?&#x2018;Ł2 ) â&#x2020;&#x2019;â&#x2C6;&#x2C6; đ?&#x2018;Ł4 đ?&#x2018;Ł3 ))))))

El producto terminado no resulta tan fĂĄcil de leer como la versiĂłn que le precediĂł. Ya que no se trata de complicarse, con el paso del tiempo se adoptan reglas convencionales que permiten evitar ver el producto terminado. Por el momento se considerarĂĄ lo anterior como una novedad interesante aunque poco atractiva.

En el lenguaje de la teorĂ­a elemental de los nĂşmeros Se pretende que â&#x2C6;&#x20AC; signifique â&#x20AC;&#x153;para todos los nĂşmeros naturalesâ&#x20AC;? y que < ,0, +,â&#x2039;&#x2026;, đ??¸ tengan sus significados obvios.

1. Como nombre para el nĂşmero natural 2 se tiene el tĂŠrmino đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0, ya que 2 es el sucesor del sucesor del cero. De forma similar, para el 4 se tiene el tĂŠrmino đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0. Para la frase â&#x20AC;&#x153;2 + 2â&#x20AC;? resulta tentador utilizar đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 + đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0; pero se adopta la convenciĂłn de poner siempre a la izquierda el sĂ­mbolo de funciĂłn (se usarĂĄ la notaciĂłn polaca para los sĂ­mbolos de funciones); entonces se tiene que para la frase en lenguaje comĂşn â&#x20AC;&#x153;2 + 2â&#x20AC;? se usa el tĂŠrmino +đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0. El enunciado en lenguaje comĂşn â&#x20AC;&#x153;dos mĂĄs dos es cuatroâ&#x20AC;? se traduce como: = + đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 (Los espacios se insertaron para ayudar a leer la expresiĂłn, pero no constituyen una caracterĂ­stica oficial del lenguaje).

2. â&#x20AC;&#x153;Cualquier nĂşmero natural distinto de cero es el sucesor de algĂşn nĂşmeroâ&#x20AC;?. Se realiza la traducciĂłn en tres pasos: â&#x2C6;&#x20AC;đ?&#x2018;Ł1 [Si đ?&#x2018;Ł1 es diferente de cero, entonces đ?&#x2018;Ł1 es el sucesor de algĂşn nĂşmero] â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ?&#x2018;Ł1 â&#x2030; 0 â&#x2020;&#x2019; â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 = đ?&#x2018;&#x2020;đ?&#x2018;Ł2 ) â&#x2C6;&#x20AC;đ?&#x2018;Ł1 ((ÂŹ= đ?&#x2018;Ł1 0) â&#x2020;&#x2019; (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 (ÂŹ= đ?&#x2018;Ł1 đ?&#x2018;&#x2020;đ?&#x2018;Ł2 ))) En lenguajes ad hoc 1. â&#x20AC;&#x153;Todas las manzanas estĂĄn malasâ&#x20AC;?. â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł1 ) Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 9

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 2. â&#x20AC;&#x153;Algunas manzanas estĂĄn malasâ&#x20AC;?.

Paso intermedio: â&#x2C6;&#x192;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2C6;§ đ??ľđ?&#x2018;Ł1 ).

Producto terminado: (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹ (ÂŹ(đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; (ÂŹđ??ľđ?&#x2018;Ł1 ))))).

Los puntos anteriores ilustran patrones que surgen continuamente. Un enunciado en lenguaje comĂşn que afirma que, en una determinada categorĂ­a, todo tienen alguna propiedad se traduce como: â&#x2C6;&#x20AC;đ?&#x2018;Ł(

â&#x2020;&#x2019;

).

Un enunciado que afirma que en la categorĂ­a hay algĂşn objeto o algunos objetos que tienen la propiedad se traduce como: â&#x2C6;&#x192;đ?&#x2018;Ł(

â&#x2C6;§

)

Al trabajar con estos patrones debes tener cuidado de no confundirlos, pues, por ejemplo, â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2C6;§ đ??ľđ?&#x2018;Ł1 ) se traduce como â&#x20AC;&#x153;Toda cosa es una manzana y estĂĄ malaâ&#x20AC;?. Esto es mucho mĂĄs fuerte que el enunciado del punto 1. De forma similar, â&#x2C6;&#x192;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł1 ) se traduce como â&#x20AC;&#x153;Existe algo que estĂĄ malo, si es una manzanaâ&#x20AC;?. Esta afirmaciĂłn es mucho mĂĄs dĂŠbil que el enunciado del punto 1. Es verdadero (por vacuidad), aĂşn si todas las manzanas estĂĄn buenas, considerando solamente que el mundo tenga alguna otra cosa que no sea una manzana.

3. â&#x20AC;&#x153;El papĂĄ de Roberto puede ganarle al papĂĄ de cualquier otro niĂąo de la cuadraâ&#x20AC;?. Establece un lenguaje donde â&#x2C6;&#x20AC; significa â&#x20AC;&#x153;para toda la genteâ&#x20AC;?; đ??žđ?&#x2018;Ľ, â&#x20AC;&#x153;đ?&#x2018;Ľ es un niĂąo de la cuadraâ&#x20AC;?; đ?&#x2018;?, â&#x20AC;&#x153;Robertoâ&#x20AC;?; đ??ľđ?&#x2018;Ľđ?&#x2018;Ś, â&#x20AC;&#x153;đ?&#x2018;Ľ puede ganarle a đ?&#x2018;Śâ&#x20AC;?, y đ?&#x2018;&#x201C;đ?&#x2018;Ľ, â&#x20AC;&#x153;el papĂĄ de đ?&#x2018;Ľâ&#x20AC;?. Entonces una traducciĂłn es: â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??žđ?&#x2018;Ł1 â&#x2020;&#x2019; ((ÂŹ= đ?&#x2018;Ł1 đ?&#x2018;? ) â&#x2020;&#x2019; đ??ľ đ?&#x2018;&#x201C;đ?&#x2018;? đ?&#x2018;&#x201C;đ?&#x2018;Ł1 )) 4. En cĂĄlculo se aprendiĂł que el significado de â&#x20AC;&#x153;la funciĂłn đ?&#x2018;&#x201C; converge a đ??ż cuando đ?&#x2018;Ľâ&#x20AC;? se aproxima a đ?&#x2018;&#x17D;â&#x20AC;?:

â&#x2C6;&#x20AC;đ?&#x153;&#x20AC; (đ?&#x153;&#x20AC; > 0 â&#x2020;&#x2019; â&#x2C6;&#x192;đ?&#x203A;ż(đ?&#x203A;ż > 0 â&#x2C6;§ â&#x2C6;&#x20AC;đ?&#x2018;Ľ (|đ?&#x2018;Ľ â&#x2C6;&#x2019; đ?&#x2018;&#x17D;| < đ?&#x203A;ż â&#x2020;&#x2019; |đ?&#x2018;&#x201C;đ?&#x2018;Ľ â&#x2C6;&#x2019; đ??ż| < đ?&#x153;&#x20AC;))) Esto es, aparte de los asuntos de notaciĂłn, una fĂłrmula del tipo que serĂĄ de interĂŠs que utiliza un sĂ­mbolo de predicado para el orden, sĂ­mbolos de funciĂłn para đ?&#x2018;&#x201C;, resta, valores absolutos y sĂ­mbolos de constante para 0, đ?&#x2018;&#x17D; y đ??ż.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 10

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados TĂŠrminos y fĂłrmulas Se empezarĂĄ a formalizar un poco el lenguaje que se estudia, de manera muy similar a como se hizo en la Unidad 1.

DefiniciĂłn Una expresiĂłn es una sucesiĂłn finita de sĂ­mbolos. La mayorĂ­a de las expresiones son absurdas, pero existen ciertas expresiones interesantes: los tĂŠrminos y las fĂłrmulas.

Los tĂŠrminos son los sustantivos y los pronombres del lenguaje que se consideran. Pueden entenderse como las expresiones que nombran los objetos. Las fĂłrmulas atĂłmicas son las que no tienen ni sĂ­mbolos de conectivo ni sĂ­mbolos de cuantificador.

TĂŠrminos FĂłrmulas atĂłmicas FĂłrmulas Otras fĂłrmulas Todas las demĂĄs expresiones Los tĂŠrminos se definen como aquellas expresiones que pueden construirse a partir de los simbolos de constante y de las variables al prefijarles los sĂ­mbolos de funciĂłn. Con el fin de enunciar esto en la terminologĂ­a de la Unidad 1, se define para cada sĂ­mbolo de funciĂłn đ?&#x2018;&#x201C; de đ?&#x2018;&#x203A; argumentos, una operaciĂłn de construcciĂłn de tĂŠrminos â&#x201E;ąđ?&#x2018;&#x201C; de đ?&#x2018;&#x203A; argumentos sobre las expresiones: â&#x201E;ąđ?&#x2018;&#x201C; (đ?&#x153;&#x20AC;1 , â&#x20AC;Ś , đ?&#x153;&#x20AC;đ?&#x2018;&#x203A; ) = đ?&#x2018;&#x201C;đ?&#x153;&#x20AC;1 â&#x2039;Ż đ?&#x153;&#x20AC;đ?&#x2018;&#x203A; De lo anterior es posible formular lo siguiente: DefiniciĂłn El conjunto de tĂŠrminos es el conjunto de expresiones que puede construirse a partir de sĂ­mbolos de constante y variables al aplicar (cero o mĂĄs veces) las operaciones â&#x201E;ąđ?&#x2018;&#x201C; .

Si no hay sĂ­mbolos de funciĂłn (ademĂĄs de los sĂ­mbolos de constante), los tĂŠrminos son Ăşnicamente los sĂ­mbolos de constante y las variables. En este caso no se necesita una definiciĂłn inductiva.

ObsĂŠrvese que se usa notaciĂłn polaca para los tĂŠrminos, al ubicar el sĂ­mbolo de funciĂłn a la izquierda. Los tĂŠrminos no contienen parĂŠntesis ni comas. MĂĄs adelante se probarĂĄ un resultado de unicidad de la lectura, mostrando que dado un tĂŠrmino es posible descomponerlo sin ambigĂźedades.

Los tĂŠrminos son las expresiones que se traducen como los nombres de los objetos (o frases nominales); en contraste con las fĂłrmulas, que se traducen como afirmaciones acerca de los objetos.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 11

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Algunos ejemplos de tĂŠrminos en el lenguaje de la teorĂ­a de los nĂşmeros son: + đ?&#x2018;Ł2 đ?&#x2018;&#x2020;0, đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0, + đ??¸đ?&#x2018;Ł1 đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 đ??¸ đ?&#x2018;Ł2 đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 Las fĂłrmulas atĂłmicas desempeĂąarĂĄn un papel mĂĄs o menos anĂĄlogo al que desempeĂąan los sĂ­mbolos de enunciado en la lĂłgica de enunciados. Una fĂłrmula atĂłmica es una expresiĂłn de la forma: đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; donde đ?&#x2018;&#x192; es un sĂ­mbolo de predicado de đ?&#x2018;&#x203A; argumentos y đ?&#x2018;Ą1 , â&#x20AC;Ś , đ?&#x2018;Ąđ?&#x2018;&#x203A; son los tĂŠrminos.

Por ejemplo, = đ?&#x2018;Ł1 đ?&#x2018;Ł2 es una fĂłrmula atĂłmica, ya que = es un sĂ­mbolo de predicado de dos argumentos y cada variable es un tĂŠrmino. En el lenguaje de la teorĂ­a de conjuntos se tiene la fĂłrmula atĂłmica â&#x2C6;&#x2C6; đ?&#x2018;Ł5 đ?&#x2018;Ł3 .

Nota que las fĂłrmulas atĂłmicas no se definen de forma inductiva, se ha limitado a decir explĂ­citamente cuĂĄles expresiones son fĂłrmulas atĂłmicas.

Las fĂłrmulas (o fĂłrmulas bien formadas, mĂĄs comĂşn en los textos escritos en inglĂŠs) son aquellas expresiones que pueden construirse a partir de las fĂłrmulas atĂłmicas mediante el uso del cero o mĂĄs veces de los sĂ­mbolos de conectivo y del sĂ­mbolo de cuantificador. es posible expresar esto usando la terminologĂ­a de la unidad 1 definiendo primero algunas operaciones de construcciĂłn de fĂłrmulas sobre las expresiones: â&#x201E;°ÂŹ (đ?&#x203A;ž) = (ÂŹđ?&#x203A;ž), â&#x201E;°â&#x2020;&#x2019; (đ?&#x203A;ž, đ?&#x203A;ż) = (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x203A;ż), đ?&#x2019;Źđ?&#x2018;&#x2013; (đ?&#x203A;ž) = â&#x2C6;&#x20AC;đ?&#x2018;Łđ?&#x2018;&#x2013; đ?&#x203A;ž.

DefiniciĂłn El conjunto de las fĂłrmulas es el conjutno de expresiones que pueden construirse a partir de las fĂłrmulas atĂłmicas al aplicar (cero o mĂĄs veces) las operaciones â&#x201E;°ÂŹ , â&#x201E;°â&#x2020;&#x2019; y đ?&#x2019;Źđ?&#x2018;&#x2013; (đ?&#x203A;ž) (đ?&#x2018;&#x2013; = 1,2, â&#x20AC;Ś ).

Por ejemplo, por una parte se tiene que ÂŹđ?&#x2018;Ł3 no es una fĂłrmula aunque puede verse cĂłmo aplicar la operaciĂłn â&#x201E;°ÂŹ , đ?&#x2018;Ł3 no es una fĂłrmula atĂłmica en la que se usen las operaciones, pues no tiene tĂŠrminos de predicado. Por otro lado,

â&#x2C6;&#x20AC;đ?&#x2018;Ł1 ((ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł3 (ÂŹâ&#x2C6;&#x2C6; đ?&#x2018;Ł3 đ?&#x2018;Ł1 )) â&#x2020;&#x2019; (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 (â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 â&#x2020;&#x2019; (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł4 (â&#x2C6;&#x2C6; đ?&#x2018;Ł4 đ?&#x2018;Ł2 â&#x2020;&#x2019; (ÂŹâ&#x2C6;&#x2C6; đ?&#x2018;Ł4 đ?&#x2018;Ł1 ))))))

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 12

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados es una fĂłrmula. Esto se puede comprobar haciendo el ĂĄrbol de construcciĂłn. Se requiere un poco de estudio para ver que esta fĂłrmula es el axioma de regularidad de la teorĂ­a de conjuntos.

Variables libres y variables acotadas ObsĂŠrvense que entre los siguientes ejemplos de fĂłrmulas dentro del lenguaje de la teorĂ­a de conjuntos â&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 y (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 )) existe una diferencia muy importante. El segundo ejemplo puede traducirse como: đ??¸đ?&#x2018;Ľđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;˘đ?&#x2018;&#x203A; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;Ąđ?&#x2018;&#x17D;đ?&#x2018;&#x2122; đ?&#x2018;&#x17E;đ?&#x2018;˘đ?&#x2018;&#x2019; đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018; đ?&#x2018;˘đ?&#x2018;Śđ?&#x2018;&#x153;.

Mientras que el primero puede traducirse sĂłlo como un enunciado incompleto: đ?&#x2018;&#x2021;đ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x153; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019;

1.

En este caso no es posible terminar el enunciado sin saber quĂŠ hacer con đ?&#x2018;Ł1 . En este tipo de casos, se dice que đ?&#x2018;Ł1 ocurre libre en la fĂłrmula â&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 . En el caso de (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 )), no hay variables que ocurran libremente. Esta idea se formaliza de manera que no dependa de la traducciĂłn al lenguaje comĂşn que se haga de ella.

Hay dos maneras de ver las variables: si ocurren libres (variables libres) o no (variables acotadas).Para comprenderlas mejor y para explicar estas diferencias, se representan como sigue: Variable acotada. Es, por asĂ­ decirlo, una variable de â&#x20AC;&#x153;verdadâ&#x20AC;?. Puede tomar todos los calores dentro de un dominio de variablidad, pero ninguno en particular. Si se cambia la variable por otra, no cambia el significado de la expresiĂłn.

Variable libre. Variable â&#x20AC;&#x153;aparenteâ&#x20AC;?. Puede ser cualquier cosa, pero sĂłlo una (esto estĂĄ implĂ­cito en lo que se dirĂĄ adelante), al cambiarla se cambia el significado. De manera intuitiva, si la variable đ?&#x2018;Ľ aparece libre en đ?&#x203A;ź, entonces đ?&#x203A;ź depende de đ?&#x2018;Ľ.

Las ideas anteriores se formalizan de mejor manera y de acuerdo con el contexto en el que se estudia, en la siguiente definiciĂłn.

DefiniciĂłn (Variable libre) (por recursiĂłn) ConsidĂŠrese cualquier variable đ?&#x2018;Ľ. Se define para cada fĂłrmula đ?&#x2018;&#x17D;, lo que significa que đ?&#x2018;Ľ ocurre libre en đ?&#x2018;&#x17D;. Esto se harĂĄ por recursiĂłn: Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 13

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 1.

2.

3.

4.

Para đ?&#x203A;ź atĂłmica, đ?&#x2018;Ľ ocurre libre en đ?&#x203A;ź sii đ?&#x2018;Ľ ocurre en (es decir, es sĂ­mbolo de) đ?&#x203A;ź. đ?&#x2018;Ľ ocurre libre en (ÂŹđ?&#x203A;ź) sii đ?&#x2018;Ľ ocurre libre en a. đ?&#x2018;Ľ ocurre libre en (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) sii đ?&#x2018;Ľ ocurre libre en đ?&#x203A;ź o en đ?&#x203A;˝. đ?&#x2018;Ľ ocurre libre en â&#x2C6;&#x20AC;đ?&#x2018;Łđ?&#x2018;&#x2013; đ?&#x203A;ź sii đ?&#x2018;Ľ ocurre libre en đ?&#x203A;ź y đ?&#x2018;Ľ â&#x2030; đ?&#x2018;Łđ?&#x2018;&#x2013; .

Esta definiciĂłn usa implĂ­citamente el teorema de recursiĂłn. Es posible reformular esto en tĂŠrminos de funciones. Para empezar se define para todas las fĂłrmulas atĂłmicas la funciĂłn â&#x201E;&#x17D;, como sigue: â&#x201E;&#x17D;(đ?&#x203A;ź) = đ?&#x2018;&#x2019;đ?&#x2018;&#x2122; đ?&#x2018;?đ?&#x2018;&#x153;đ?&#x2018;&#x203A;đ?&#x2018;&#x2014;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019; đ?&#x2018;Ąđ?&#x2018;&#x153;đ?&#x2018;&#x2018;đ?&#x2018;&#x17D;đ?&#x2018; đ?&#x2018;&#x2122;đ?&#x2018;&#x17D; đ?&#x2018;Łđ?&#x2018;&#x17D;đ?&#x2018;&#x;đ?&#x2018;&#x2013;đ?&#x2018;&#x17D;đ?&#x2018;?đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018; , đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;&#x2019;đ?&#x2018;Ľđ?&#x2018;&#x2013;đ?&#x2018; đ?&#x2018;Ąđ?&#x2018;&#x2019; đ?&#x2018;&#x17D;đ?&#x2018;&#x2122;đ?&#x2018;&#x201D;đ?&#x2018;˘đ?&#x2018;&#x203A;đ?&#x2018;&#x17D;, đ?&#x2018;&#x2019;đ?&#x2018;&#x203A; đ?&#x2018;&#x2122;đ?&#x2018;&#x17D; đ?&#x2018;&#x201C;Ăłđ?&#x2018;&#x;đ?&#x2018;&#x161;đ?&#x2018;˘đ?&#x2018;&#x2122;đ?&#x2018;&#x17D; đ?&#x2018;&#x17D;đ?&#x2018;ĄĂłđ?&#x2018;&#x161;đ?&#x2018;&#x2013;đ?&#x2018;?đ?&#x2018;&#x17D; đ?&#x2018;&#x17D;.

Se quiere extender â&#x201E;&#x17D; a una funciĂłn â&#x201E;&#x17D;Ě&#x2026; definida en todas las fĂłrmulas de tal manera que: â&#x201E;&#x17D;Ě&#x2026;(â&#x201E;°ÂŹ (đ?&#x203A;ź)) = â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;ź), â&#x201E;&#x17D;Ě&#x2026;(â&#x201E;°â&#x2020;&#x2019; (đ?&#x203A;ź, đ?&#x203A;˝)) = â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;ź) â&#x2C6;Ş â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;˝), â&#x201E;&#x17D;Ě&#x2026;(đ?&#x2019;Źđ?&#x2018;&#x2013; (đ?&#x203A;ź)) = â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;ź) despuĂŠs de quitar đ?&#x2018;Łđ?&#x2018;&#x2013; , si se encuentra presente.

Entonces se puede decir que đ?&#x2018;Ľ ocurre libre en đ?&#x203A;ź (o que đ?&#x2018;Ľ es una variable libre de đ?&#x203A;ź) sii đ?&#x2018;Ľ â&#x2C6;&#x2C6; â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;ź).

La existencia de una Ăşnica â&#x201E;&#x17D;Ě&#x2026; (he aquĂ­ lo correcto de la definiciĂłn) se sigue del teorema de recursiĂłn que se dio en la unidad anterior y del hecho (que se verĂĄ mĂĄs adelante) de que cada fĂłrmula tiene una descomposidĂłn Ăşnica.

Al traducir un enunciado del lenguaje comĂşn, resulta irrelevante la elecciĂłn de variables particulares. Anteriormente se tradujo â&#x20AC;&#x153;todas las manzanas estĂĄn malasâ&#x20AC;? como â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł1 ); pero de igual manera puede ser: â&#x2C6;&#x20AC;đ?&#x2018;Ł27 (đ??´đ?&#x2018;Ł27 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł27 ) De hecho, la variable se utiliza como un pronombre, tal como podrĂ­as decir en lenguaje comĂşn â&#x20AC;&#x153;para cualquier objeto dado, si ĂŠl es una manzana, entonces ĂŠl estĂĄ maloâ&#x20AC;? (asĂ­ se tienen en el lenguaje una cantidad adecuada de pronombres: ĂŠđ?&#x2018;&#x2122;1 , ĂŠđ?&#x2018;&#x2122;2 , â&#x20AC;Ś), ya que la elecciĂłn de variables particulares carece de importancia, frecuentemente ni siquiera se especifica la elecciĂłn. En lugar de hacerlo, se escribe, por ejemplo, â&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; đ??ľđ?&#x2018;Ľ), donde se entiende que đ?&#x2018;Ľ es alguna variable. Esta falta de importancia mĂĄs adelante se tratarĂĄ como un teorema. Anteriormente se mencionĂł algo al respecto.

En otras ĂĄreas de las matemĂĄticas, las variables se usan de manera similar. AsĂ­, se tiene que en 7

â&#x2C6;&#x2018; đ?&#x2018;&#x17D;đ?&#x2018;&#x2013;đ?&#x2018;&#x2014; đ?&#x2018;&#x2013;=1

đ?&#x2018;&#x2013; es una variable "simulada" usada como contador, pero đ?&#x2018;&#x2014; ocurre libre.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 14

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados DefiniciĂłn y ejemplos de enunciados Entre las fĂłrmulas se tienen algunas que normalmente resultan ser mĂĄs interesantes en su estudio: los enunciados. Ă&#x2030;stos son, de manera intuitiva, las fĂłrmulas que pueden traducirse sin espacios en blanco al lenguaje comĂşn, una vez que se ha dicho cĂłmo interpretar los parĂĄmetros, segĂşn lo estudiado en en el tema anterior se motiva la siguiente definiciĂłn.

DefiniciĂłn Si ninguna variable ocurre libre en la fĂłrmula đ?&#x203A;ź (es decir, si â&#x201E;&#x17D;Ě&#x2026;(đ?&#x203A;ź) = â&#x2C6;&#x2026;), entonces đ?&#x203A;ź es un enunciado.

Por ejemplo, â&#x2C6;&#x20AC;đ?&#x2018;Ł2 (đ??´đ?&#x2018;Ł2 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł2 ) y â&#x2C6;&#x20AC;đ?&#x2018;Ł3 (đ?&#x2018;&#x192;đ?&#x2018;Ł3 â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ł3 đ?&#x2019;Źđ?&#x2018;Ł3 ) son enunciados; se debe tener cuidado con las variables pues en (â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; đ??ľđ?&#x2018;Ł1 ), pese a que es parecida al primer ejemplo đ?&#x2018;Ł1 , ocurre libre; por lo tanto no es un enunciado. Las demĂĄs fĂłrmulas que se pueden tener tienen una existencia de segunda clase y se usan, principalmente, como bloques de construcciĂłn de los enunciados.

Dentro de la matemĂĄtica utilizadas hasta el momento, las â&#x20AC;&#x153;variablesâ&#x20AC;? que se usan no ocurren libres pues esto dejarĂ­a el enunciado incompleto, sin sentido dentro de lo que se estĂĄ trabajando, ya sea teorĂ­a de conjuntos, ĂĄlgebra o geometrĂ­a. Las proposiones que se le han presentado al (a la) alumno(a) dentro de los cursos son enunciados dentro de la lĂłgica. A lo largo de esta unidad se presentan distintos ejemplos de proposiciones y axiomas usandos de manera frecuente dentro de la matemĂĄtica para demostrar la importancia de este lenguaje.

Para simplificar la escritura de los enunciados y de las fĂłrmulas en general, se exponen a continuacion algunas convenciones y abreviaturas del lenguaje que se estĂĄ haciendo.

Se especifica cualquier expresiĂłn, en particular una fĂłrmula, al escribir una linea que muestre explĂ­citamente cada sĂ­mbolo. Por ejemplo: â&#x2C6;&#x20AC;đ?&#x2018;Ł1 ((ÂŹ= đ?&#x2018;Ł1 0) â&#x2020;&#x2019; (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 (ÂŹ= đ?&#x2018;Ł1 đ?&#x2018;&#x2020;đ?&#x2018;Ł2 ))) Esta forma de expresar las cosas no es tan fĂĄcil de comprender, al menos a primera vista, pese a que es realmente completa y formal. La falta de comprensiĂłn se debe, en un principio, a la forma simple que se le dio al lenguaje considerado desde un principio, pues no se le dotĂł de un cuantificador existencial. Las nuevas consideraciones permitirĂĄn escribir expresiones como: â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ?&#x2018;Ł1 â&#x2030; 0 â&#x2020;&#x2019; â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 = đ?&#x2018;&#x2020;đ?&#x2018;Ł2 ) esta forma es mĂĄs clara que la anterior, tanto por el significado e como porque se puede poner un poco de conocimiento previo de cĂĄlculo para darle un contexto familiar.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 15

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Es importante notar que esta nueva consideraciĂłn no cambia la definiciĂłn de la fĂłrmula.

Solamente prepara la manera de fijar ciertas formas de nombrar fĂłrmulas. Si se da el caso en que la sucesiĂłn de sĂ­mbolos resulte importante, se debe seguir con la antigua notaciĂłn.

Las abreviaciones que se hacen son las siguientes: si đ?&#x203A;ź y đ?&#x203A;˝ son fĂłrmulas, đ?&#x2018;Ľ es una variable y đ?&#x2018;˘ y đ?&#x2018;Ą son tĂŠrminos: ď&#x201A;ˇ

(đ?&#x203A;ź â&#x2C6;¨ đ?&#x203A;˝) es la abreviaciĂłn de ((ÂŹđ?&#x203A;ź) â&#x2020;&#x2019; đ?&#x203A;˝).

ď&#x201A;ˇ

(đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝) es la abreviaciĂłn de (ÂŹ(đ?&#x203A;ź â&#x2020;&#x2019; (ÂŹđ?&#x203A;˝))).

ď&#x201A;ˇ

(đ?&#x203A;ź â&#x2020;&#x201D; đ?&#x203A;˝) es la abreviaciĂłn de (ÂŹ ((đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) â&#x2020;&#x2019; (ÂŹ(đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ź)))).

ď&#x201A;ˇ

â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź es la abreviaciĂłn de (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ(ÂŹđ?&#x203A;ź)).

ď&#x201A;ˇ

đ?&#x2018;˘ = đ?&#x2018;Ą es la abreviaciĂłn de = đ?&#x2018;˘đ?&#x2018;Ą. De manera similar, se abrevia a algunos otros sĂ­mbolos de funciones y de predicados de dos argumentos. Por ejemplo, 2 < 3 abrevia < 2 3, y 2 + 2 abrevia +2 2. đ?&#x2018;˘ â&#x2030; đ?&#x2018;Ą abrevia (ÂŹ= đ?&#x2018;˘ đ?&#x2018;Ą); de forma similar, đ?&#x2018;˘ â&#x2030;Ž đ?&#x2018;Ą abrevia (ÂŹ< đ?&#x2018;˘ đ?&#x2018;Ą).

ď&#x201A;ˇ

En cuanto a los parĂŠntesis, no sĂłlo se usan ( y ), sino tambiĂŠn [ y ], etc. Se omiten la menciĂłn de tantos como resulte posible. Con ese fin, se adoptan las siguientes convenciones: 1. Los parĂŠntesis externos se pueden omitir. Por ejemplo, â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ es (â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝).

2. ÂŹ, â&#x2C6;&#x20AC; y â&#x2C6;&#x192; se aplican a lo menos posible. Por ejemplo: ÂŹđ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝ es ((ÂŹđ?&#x203A;ź) â&#x2C6;§ đ?&#x203A;˝), y no ÂŹ(đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝). â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ es (â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝), y no â&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝). â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝ es (â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝), y no â&#x2C6;&#x192;đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝).

En estos casos, incluso se pueden agregar parĂŠntesis sin cambiar el significado, como en (â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź) â&#x2C6;§ đ?&#x203A;˝.

3. â&#x2C6;§ y â&#x2C6;¨ se aplican a lo menos posible, segĂşn lo establecido en la convenciĂłn 2. Por ejemplo: ÂŹđ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝ 4. Cuando se use repetidamente un conectivo, la expresiĂłn se agruparĂĄ a la derecha. Por ejemplo: đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ž es đ?&#x203A;ź â&#x2020;&#x2019; (đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ž) Para entender un poco mĂĄs las convenciones, considĂŠrese el siguiente ejemplo.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 16

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Ejemplo 2.1.4.1 1. â&#x2C6;&#x192;đ?&#x2018;Ľ(đ??´đ?&#x2018;Ľ â&#x2C6;§ đ??ľđ?&#x2018;Ľ) es (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ (ÂŹ (ÂŹ(đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; (ÂŹđ??ľđ?&#x2018;Ľ))))). Al usar las propiedades de la negaciĂłn, se tiene una fĂłrmula equivalente: (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; (ÂŹđ??ľđ?&#x2018;Ľ))).

2. â&#x2C6;&#x192;đ?&#x2018;Ľ đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; đ??ľđ?&#x2018;Ľ es ((ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ(ÂŹđ??´đ?&#x2018;Ľ)) â&#x2020;&#x2019; đ??ľđ?&#x2018;Ľ). â&#x2C6;&#x192;đ?&#x2018;Ľ (đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; đ??ľđ?&#x2018;Ľ) es (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ(ÂŹ(đ??´đ?&#x2018;Ľ â&#x2020;&#x2019; đ??ľđ?&#x2018;Ľ))).

Es momento de evaluar lo aprendido hasta este punto resolviendo la siguiente actividad.

Verdad y modelos Como se hizo en la lĂłgica de enunciados, donde las asignaciones de verdad decĂ­an quĂŠ sĂ­mbolos se interpretaban como ciertos y cuales como falsos, en la lĂłgica de primer orden las estructuras desempeĂąan determinan si los enunciados son ciertos o falsos. Este tema estĂĄ dedicado al estudio de este tipo especial de funciones.

Interpretaciones o estructuras Las estructuras suministran el diccionario para traducir del lenguaje formal al lenguaje comĂşn; por ello, en algunas ocasiones se les denominan interpretaciones. Sin embargo, en este curso se considera sĂłlo el nombre de estructura, ya que es posible que la palabra interpretaciĂłn se use en un concepto distinto en un curso mĂĄs adelante.

La estructura para un lenguaje de primer orden expresa: ď&#x201A;ˇ ď&#x201A;ˇ

A quĂŠ colecciĂłn de objetos se refiere el sĂ­mbolo de cuantificador universal (â&#x2C6;&#x20AC;).

QuĂŠ denotan los otros parĂĄmetros (los sĂ­mbolos de funciĂłn y de predicado).

Formalmente, una estructura đ?&#x201D;&#x201E; para el lenguaje dado de primer orden es una funciĂłn cuyo dominio es el conjunto de parĂĄmetros, pues: ď&#x201A;ˇ

đ?&#x201D;&#x201E; le asigna al sĂ­mbolo de cuantificador â&#x2C6;&#x20AC; un conjunto no vacĂ­o |đ?&#x201D;&#x201E;| llamado el universo (o dominio) de đ?&#x201D;&#x201E;.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 17

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados ď&#x201A;ˇ ď&#x201A;ˇ ď&#x201A;ˇ

đ?&#x201D;&#x201E; le asigna a cada sĂ­mbolo de predicado đ?&#x2018;&#x192; de đ?&#x2018;&#x203A; argumentos una relaciĂłn đ?&#x2018;&#x203A;-aria đ?&#x2018;&#x192;đ?&#x201D;&#x201E; â&#x160;&#x2020; |đ?&#x201D;&#x201E;|đ?&#x2018;&#x203A; , es decir, đ?&#x2018;&#x192;đ?&#x201D;&#x201E; es un conjunto de đ?&#x2018;&#x203A;-adas de elementos del universo. đ?&#x201D;&#x201E; le asigna a cada sĂ­mbolo de constante đ?&#x2018;? un elemento đ?&#x2018;? đ?&#x201D;&#x201E; del universo |đ?&#x201D;&#x201E;|. đ?&#x201D;&#x201E; le asigna a cada sĂ­mbolo de funciĂłn đ?&#x2018;&#x201C; de đ?&#x2018;&#x203A; argumentos una operaciĂłn đ?&#x2018;&#x203A;-aria đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; sobre |đ?&#x201D;&#x201E;|, es decir, đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; : |đ?&#x201D;&#x201E;|đ?&#x2018;&#x203A; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;|.

La idea es que đ?&#x201D;&#x201E; le asigna significado a los parĂĄmetros. â&#x2C6;&#x20AC; significa "para todo objeto de |đ?&#x201D;&#x201E;|". El sĂ­mbolo đ?&#x2018;? es para nombrar al punto đ?&#x2018;? đ?&#x201D;&#x201E; . La fĂłrmula atĂłmica đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; , significa que la đ?&#x2018;&#x203A;-ada de puntos nombrados por đ?&#x2018;Ą1 , â&#x20AC;Ś , đ?&#x2018;Ąđ?&#x2018;&#x203A; , estĂĄ en la relaciĂłn đ?&#x2018;&#x192;đ?&#x201D;&#x201E; .

NĂłtese que se requiere que el universo |đ?&#x201D;&#x201E;| sea no vacĂ­o. ObsĂŠrvese tambiĂŠn que đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; deberĂĄ tener la totalidad de |đ?&#x201D;&#x201E;|đ?&#x2018;&#x203A; como su dominio, pues no se ha hecho ningĂşn comentario sobre las funciones parcialmente definidas.

Ejemplo 2.2.1.1.

1. ConsidĂŠrese el lenguaje de la teorĂ­a de conjuntos, cuyo Ăşnico parĂĄmetro, ademĂĄs de â&#x2C6;&#x20AC;, es â&#x2C6;&#x2C6;. TĂłmese la estructura đ?&#x201D;&#x201E; con: |đ?&#x201D;&#x201E;| = el conjunto de los nĂşmeros naturales, â&#x2C6;&#x2C6;đ?&#x201D;&#x201E; = el conjunto de los pares â&#x152;Šđ?&#x2018;&#x161;, đ?&#x2018;&#x203A;â&#x152;Ş tal que đ?&#x2018;&#x161; < đ?&#x2018;&#x203A;.

NĂłtese que para este caso se traduce â&#x2C6;&#x2C6; como â&#x20AC;&#x153;es menor queâ&#x20AC;?, esto de acuerdo con la construcciĂłn de los nĂşmeros naturales como conjuntos. En presencia de una estructura, es posible traducir enunciados del lenguaje formal al lenguaje comĂşn y tratar de decir si estas traducciones son verdaderas o falsas. El enunciado en el lenguaje de primer orden: â&#x2C6;&#x192;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;Ś â&#x2C6;&#x2C6; đ?&#x2018;Ľ, mĂĄs formalmente, (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł1 (ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ł2 (ÂŹ â&#x2C6;&#x2C6; đ?&#x2018;Ł2 đ?&#x2018;Ł1 ))), con la traducciĂłn propia de la teorĂ­a de conjuntos afirma la existencia de un conjunto vacĂ­o, pero se traduce con đ?&#x201D;&#x201E; como: Existe un nĂşmero natural tal que ningĂşn nĂşmero natural es menor que ĂŠl.

Esto es verdad, por lo tanto se dice que â&#x2C6;&#x192;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;Ś â&#x2C6;&#x2C6; đ?&#x2018;Ľ es verdadero en đ?&#x201D;&#x201E; o que đ?&#x201D;&#x201E; es un modelo del enunciado. Por otro lado, đ?&#x201D;&#x201E; no es modelo del axioma del par â&#x2C6;&#x20AC;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Śâ&#x2C6;&#x192;đ?&#x2018;§â&#x2C6;&#x20AC;đ?&#x2018;Ą(đ?&#x2018;Ą â&#x2C6;&#x2C6; đ?&#x2018;§ â&#x2020;&#x201D; đ?&#x2018;Ą = đ?&#x2018;Ľ â&#x2C6;¨ đ?&#x2018;Ą = đ?&#x2018;Ś), pues la traducciĂłn de este enunciado con đ?&#x201D;&#x201E; es falsa, pues no hay nĂşmero natural đ?&#x2018;&#x161; tal que para cada đ?&#x2018;&#x203A;, đ?&#x2018;&#x203A; < đ?&#x2018;&#x161; đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; đ?&#x2018;&#x203A; = 1 2. ConsidĂŠrese que el lenguaje tiene Ăşnicamente los parĂĄmetros â&#x2C6;&#x20AC; y un sĂ­mbolo de predicado de dos argumentos đ??¸, y una estructura finita đ?&#x201D;&#x2026; con un universo |đ?&#x201D;&#x2026;| que consiste en un Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 18

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados conjunto de cuatro objetos distintos {đ?&#x2018;&#x17D;, đ?&#x2018;?, đ?&#x2018;?, đ?&#x2018;&#x2018;}. SupĂłngase que la relaciĂłn binaria đ??¸ đ?&#x201D;&#x2026; es el siguiente conjunto de pares: đ??¸ đ?&#x201D;&#x2026; = {â&#x152;Šđ?&#x2018;&#x17D;, đ?&#x2018;?â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;&#x17D;â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;?â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;?â&#x152;Ş} Entonces se puede describir đ?&#x201D;&#x2026; como la grĂĄfica dirigida cuyo conjunto de vĂŠrtices es el universo {đ?&#x2018;&#x17D;, đ?&#x2018;?, đ?&#x2018;?, đ?&#x2018;&#x2018;}:

b

a

c

d

En este contexto se interpreta đ??¸đ?&#x2018;Ľđ?&#x2018;Ś como si la grĂĄfica tuviera una arista del vĂŠrtice đ?&#x2018;Ľ al vĂŠrtice đ?&#x2018;Ś.

AsĂ­ se considera una grĂĄfica dirigida.

ConsidĂŠrese el enunciado â&#x2C6;&#x192;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;Śđ??¸đ?&#x2018;Ľ. Con la estructura đ?&#x201D;&#x2026; se puede traducir como sigue: Existe un vĂŠrtice tal que, para todo vĂŠrtice, ninguna arista va del Ăşltimo al primero.

Leer el enunciado en lenguaje comĂşn es un poco mĂĄs difĂ­cil de leer que la versiĂłn en sĂ­mbolos.

Este enunciado se encuentra dentro de la estructura đ?&#x201D;&#x2026; debido a que ninguna arista apunta al vĂŠrtice đ?&#x2018;&#x2018;.

DefiniciĂłn de satisfacciĂłn En los ejemplos anteriores fue intuitivamente claro que ciertos enunciados del lenguaje formal eran verdaderos en la estructura y otros eran falsos. Sin embargo, es necesaria una definiciĂłn matemĂĄtica precisa de â&#x20AC;&#x153;đ?&#x153;&#x17D; es verdadero en đ?&#x201D;&#x201E;â&#x20AC;?. De ahĂ­ que se deba expresar en tĂŠrminos matemĂĄticos sin emplear traducciones al lenguaje comĂşn o a algĂşn idioma ni criterios supuestos para afirmar que algunos enunciados son verdaderos mientras y otros son falsos (si se piensa que se tiene tal criterio, pĂłngase a prueba con el enunciado "Este enunciado es falso". Este es un ejemplo de lenguaje comĂşn de un enunciado que no se puede afirmar como verdad o mentira, ya que, al otorgarle el valor de verdadero, ĂŠl mismo asegura su falsedad, lo cual suena como una inconsistencia o contradicciĂłn). En otras palabras, se requiere tomar el concepto informal â&#x20AC;&#x153;đ?&#x153;&#x17D; es verdadero en đ?&#x201D;&#x201E;â&#x20AC;? y hacerlo parte de las matemĂĄticas.

Con el objetivo de definir â&#x20AC;&#x153;đ?&#x153;&#x17D; es verdadero en đ?&#x201D;&#x201E;â&#x20AC;?, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x17D;, Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 19

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados para enunciados đ?&#x153;&#x17D; y estructuras đ?&#x201D;&#x201E;, primero se define un concepto mĂĄs general relativo a las fĂłrmulas: ď&#x201A;ˇ ď&#x201A;ˇ ď&#x201A;ˇ

đ?&#x153;&#x2018; es una fĂłrmula del lenguaje. đ?&#x201D;&#x201E; es una estructura para el lenguaje. đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;| es una funciĂłn del conjunto đ?&#x2018;&#x2030; de todas las variables, en el universo |đ?&#x201D;&#x201E;| de đ?&#x201D;&#x201E;.

Ahora se define quĂŠ significa que đ?&#x2022;Ź satisfaga đ??&#x2039; con đ?&#x2019;&#x201D;: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ].

De manera informal se puede dar esta definiciĂłn como sigue: DefiniciĂłn (informal) â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ] si la traducciĂłn de đ?&#x153;&#x2018; determinada por đ?&#x201D;&#x201E;, donde la variable đ?&#x2018;Ľ se traduce como đ?&#x2018; (đ?&#x2018;Ľ) en cualquier lugar en que ocurra libre es verdadera.

La definiciĂłn formal de satisfacciĂłn procede de la siguiente forma para cada tipo de elemento en el lenguaje: I.

TĂŠrminos. Se define la extensiĂłn đ?&#x2018; Ě&#x2026; : đ?&#x2018;&#x2021; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;|,

una funciĂłn del conjunto đ?&#x2018;&#x2021; de todos los tĂŠrminos, en el universo de đ?&#x201D;&#x201E;. La idea es que đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą) debe ser el elemento del universo đ?&#x201D;&#x201E; que se nombra mediante el tĂŠrmino đ?&#x2018;Ą. AsĂ­ đ?&#x2018; Ě&#x2026; se define por recursiĂłn como sigue: 1. Para cada variable đ?&#x2018;Ľ, đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ľ) = đ?&#x2018; (đ?&#x2018;Ľ).

2. Para cada sĂ­mbolo de constante đ?&#x2018;?, đ?&#x2018; Ě&#x2026; (đ?&#x2018;?) = đ?&#x2018;? đ?&#x201D;&#x201E; .

3. Si đ?&#x2018;Ą1 , â&#x20AC;Ś , đ?&#x2018;Ąđ?&#x2018;&#x203A; son tĂŠrminos y đ?&#x2018;&#x201C; es un sĂ­mbolo de funciĂłn de đ?&#x2018;&#x203A; argumentos, entonces đ?&#x2018; Ě&#x2026; (đ?&#x2018;&#x201C;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; ) = đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; (đ?&#x2018; Ě&#x2026;(đ?&#x2018;Ą1 ), â&#x20AC;Ś , đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ąđ?&#x2018;&#x203A; )).

Este Ăşltimo puede verse por ejemplo con đ?&#x2018;&#x203A; = 1, con el diagrama conmutativo siguiente: đ?&#x2018;&#x2021;

đ?&#x2018; Ě&#x2026;

đ?&#x2018;&#x201C;đ?&#x201D;&#x201E;

â&#x201E;ąđ?&#x2018;&#x201C;

F

|đ?&#x201D;&#x201E;|

đ?&#x2018;&#x2021;

đ?&#x2018; Ě&#x2026;

|đ?&#x201D;&#x201E;|

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 20

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados La existencia de una Ăşnica extensiĂłn đ?&#x2018; Ě&#x2026; de đ?&#x2018; se sigue del teorema de la recursiĂłn que se dio en la unidad pasada, se considera tambiĂŠn algo que se discutirĂĄ mĂĄs adelante, relacionado con que los tĂŠrminos tienen descomposiciones Ăşnicas. Debe notarse que đ?&#x2018; Ě&#x2026; depende tanto de đ?&#x2018; como de đ?&#x201D;&#x201E;.

II. FĂłrmulas atĂłmicas. Las fĂłrmulas atĂłmicas se definieron explĂ­citamente, no de manera inductiva. Por lo tanto, la definiciĂłn de satisfacciĂłn de las fĂłrmulas atĂłmicas es tambiĂŠn explĂ­cita y no recursiva.

1. â&#x160;¨đ?&#x201D;&#x201E; = đ?&#x2018;Ą1 đ?&#x2018;Ą2 [đ?&#x2018; ] sii đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą1 ) = đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą2 ).

Entonces, = significa =. NĂłtese que = es un sĂ­mbolo lĂłgico, no un parĂĄmetro sujeto a interpretaciĂłn.

2. Para un parĂĄmetro de predicado đ?&#x2018;&#x192; de đ?&#x2018;&#x203A; argumentos, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; [đ?&#x2018; ] đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x152;Šđ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą1 ), â&#x20AC;Ś , đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ąđ?&#x2018;&#x203A; )â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; .

III. Otras fĂłrmulas. Las fĂłrmulas que se definen por inducciĂłn tienen, en consecuencia, una definiciĂłn de satisfacciĂłn por recursiĂłn.

1. Para fĂłrmulas atĂłmicas, la definiciĂłn es la del punto II. 2. â&#x160;¨đ?&#x201D;&#x201E; ÂŹđ?&#x153;&#x2018;[đ?&#x2018; ] sii â&#x160;­đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ].

3. â&#x160;¨đ?&#x201D;&#x201E; (đ?&#x153;&#x2018; â&#x2020;&#x2019; đ?&#x153;&#x201C;)[đ?&#x2018; ] sii â&#x160;­đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ], o â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x201C;[đ?&#x2018; ], o ambos (esto no es mĂĄs que la asociaciĂłn usual de verdad para â&#x2020;&#x2019;). En otras palabras, si đ?&#x201D;&#x201E; satisface a đ?&#x153;&#x2018; con đ?&#x2018; , entonces đ?&#x201D;&#x201E; satisface a đ?&#x153;&#x201C; con đ?&#x2018; .

4. â&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[đ?&#x2018; ] sii para todo đ?&#x2018;&#x2018; â&#x2C6;&#x2C6; |đ?&#x201D;&#x201E;|, se tiene: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)].

Donde [đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)] es la funciĂłn exactamente como đ?&#x2018; , excepto que en la variable đ?&#x2018;Ľ toma el valor đ?&#x2018;&#x2018;.

Dicho de otra forma: đ?&#x2018; (đ?&#x2018;Ś), đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;Ś â&#x2030; đ?&#x2018;Ľ, đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)(đ?&#x2018;Ś) = { . đ?&#x2018;&#x2018;, đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;Ś = đ?&#x2018;Ľ Entonces â&#x2C6;&#x20AC; significa â&#x20AC;&#x153;para todos los objetos de |đ?&#x201D;&#x201E;|â&#x20AC;?.

Puede revisarse de nuevo la definiciĂłn informal que se presentĂł y su formalizaciĂłn. Con lo que se puede apreciar que la definiciĂłn de satisfacciĂłn es una aplicaciĂłn del teorema de recursiĂłn y que las fĂłrmulas tienen descomposiciones Ăşnicas. AsĂ­ es posible poner esta definiciĂłn en tĂŠrminos de funciones, como se hizo en la Unidad 1, para que se vea de manera mĂĄs directa cĂłmo se aplica el teorema de recursiĂłn.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 21

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 1.

2.

3.

Considerar un đ?&#x201D;&#x201E; fijo.

Definir una funciĂłn â&#x201E;&#x17D;Ě&#x2026; que extiende a una funciĂłn â&#x201E;&#x17D; definida en las fĂłrmulas atĂłmicas, tal que para cualquier fĂłrmula đ?&#x153;&#x2018;, â&#x201E;&#x17D;Ě&#x2026;(đ?&#x153;&#x2018;) es un conjunto de funciones de đ?&#x2018;&#x2030; en |đ?&#x201D;&#x201E;|.

Se define â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ] đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; đ?&#x2018; â&#x2C6;&#x2C6; â&#x201E;&#x17D;Ě&#x2026;(đ?&#x153;&#x2018;).

Se puede escribir en detalle la definiciĂłn explicita de â&#x201E;&#x17D; y las clĂĄusulas que determinan de manera Ăşnica su extensiĂłn â&#x201E;&#x17D;Ě&#x2026; para entender esta definiciĂłn sobre la extensiĂłn. Una forma alternativa es considerar que â&#x201E;&#x17D;Ě&#x2026;(đ?&#x153;&#x2018;) es un conjunto de funciones en el conjunto de aquellas variables que ocurren libres en đ?&#x153;&#x2018;.

Aunque todo lo anteriormente dicho es lo mĂĄs cercano a la intuiciĂłn, resulta un poco difĂ­cil de entender si se continĂşa trabajando sĂłlo en el nivel abstracto de un lenguaje, por lo que se presentan algunos ejemplos para aterrizar estos conceptos.

Ejemplo 2.2.2.1.

SupĂłngase que el lenguaje cuenta con los parĂĄmetros â&#x2C6;&#x20AC;, đ?&#x2018;&#x192; (sĂ­mbolo de predicado de dos argumentos), đ?&#x2018;&#x201C; (sĂ­mbolo de funciĂłn de un argumento) y đ?&#x2018;? (sĂ­mbolo de constante). Sea đ?&#x201D;&#x201E; la estructura para este lenguaje definida como sigue: |đ?&#x201D;&#x201E;| = â&#x201E;&#x2022;, el conjunto de todos los nĂşmeros naturales. \đ?&#x2018;&#x192;đ?&#x201D;&#x201E; = el conjunto de pares â&#x152;Šđ?&#x2018;&#x161;, đ?&#x2018;&#x203A;â&#x152;Ş tales que đ?&#x2018;&#x161; â&#x2030;¤ đ?&#x2018;&#x203A;. đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; = la funciĂłn sucesor đ?&#x2018;&#x2020;. đ?&#x2018;? đ?&#x201D;&#x201E; = 0.

De acuerdo con los conocimientos y omitiendo que đ?&#x201D;&#x201E; es en realidad una funciĂłn, es posible describir sus componentes: đ?&#x201D;&#x201E; = (â&#x201E;&#x2022;; â&#x2030;¤, đ?&#x2018;&#x2020;, 0) Tal notaciĂłn no tiene ambigĂźedad cuando el contexto aclara exactamente quĂŠ componentes van con quĂŠ parĂĄmetros. Cada una de las siguientes afirmaciones es consecuencia de la definiciĂłn donde se dan las condiciones que se deben cumplir para đ?&#x201D;&#x201E;.

Sea đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; â&#x201E;&#x2022; la funciĂłn para la cual đ?&#x2018; (đ?&#x2018;Łđ?&#x2018;&#x2013; ) = đ?&#x2018;&#x2013; â&#x2C6;&#x2019; 1, es decir, đ?&#x2018; (đ?&#x2018;Ł1 ) = 0, đ?&#x2018; (đ?&#x2018;Ł2 ) = 1, â&#x20AC;Ś 1. đ?&#x2018; Ě&#x2026; (đ?&#x2018;&#x201C;đ?&#x2018;&#x201C;đ?&#x2018;Ł3 ) = đ?&#x2018;&#x2020;(đ?&#x2018;&#x2020;(2)) = 4 y đ?&#x2018; Ě&#x2026; (đ?&#x2018;&#x201C;đ?&#x2018;Ł1 ) = đ?&#x2018;&#x2020;(0) = 1 2. đ?&#x2018; Ě&#x2026; (đ?&#x2018;?) = 0 y đ?&#x2018; Ě&#x2026; (đ?&#x2018;&#x201C;đ?&#x2018;&#x201C;đ?&#x2018;?) = 2; sin usar đ?&#x2018; .

3. â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;&#x192;đ?&#x2018;?đ?&#x2018;&#x201C;đ?&#x2018;Ł1 [đ?&#x2018; ]. Al traducirse al lenguaje comĂşn, resulta en un enunciado verdadero â&#x20AC;&#x153;0 â&#x2030;¤ 1â&#x20AC;?. MĂĄs formalmente esto es porque : â&#x152;Šđ?&#x2018; Ě&#x2026; (đ?&#x2018;?), đ?&#x2018; Ě&#x2026; (đ?&#x2018;&#x201C;đ?&#x2018;Ł1 )â&#x152;Ş = â&#x152;Š0,1â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; 4. â&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x192;đ?&#x2018;?đ?&#x2018;Ł1 . La traducciĂłn al lenguaje comĂşn es â&#x20AC;&#x153;0 es menor o igual que cualquier Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 22

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados nĂşmero naturalâ&#x20AC;?. Se debe verificar formalmente que para todo đ?&#x2018;&#x203A; â&#x2C6;&#x2C6; â&#x201E;&#x2022;, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;&#x192;đ?&#x2018;?đ?&#x2018;Ł1 [đ?&#x2018; (đ?&#x2018;Ł1 |đ?&#x2018;&#x203A;)] que se reduce a â&#x152;Š0, đ?&#x2018;&#x203A;â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; , es decir, 0 â&#x2030;¤ đ?&#x2018;&#x203A;.

5. â&#x160;­đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 [đ?&#x2018; ] porque existe un nĂşmero natural đ?&#x2018;&#x161;, tal que â&#x160;­đ?&#x201D;&#x201E; đ?&#x2018;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 [đ?&#x2018; (đ?&#x2018;Ł1 |đ?&#x2018;&#x161;)]; es decir, â&#x152;Šđ?&#x2018; (đ?&#x2018;Ł2 ), đ?&#x2018;&#x161;â&#x152;Ş â&#x2C6;&#x2030; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; , puesto que đ?&#x2018; (đ?&#x2018;Ł2 ) = 1. Se puede tomar đ?&#x2018;&#x161; = 0, para comprobarlo. Hay que recordar la definiciĂłn de đ?&#x2018; (đ?&#x2018;Ł1 |đ?&#x2018;&#x203A;) y de đ?&#x2018;&#x192;đ?&#x201D;&#x201E; .

Ejemplo 2.2.2.2.

Como anteriormente se habĂ­a hecho, considĂŠrese la siguiente estructura đ?&#x201D;&#x2026; con |đ?&#x201D;&#x2026;| = {đ?&#x2018;&#x17D;, đ?&#x2018;?, đ?&#x2018;?, đ?&#x2018;&#x2018;} đ?&#x2018;Ś đ??¸ đ?&#x201D;&#x2026; = {â&#x152;Šđ?&#x2018;&#x17D;, đ?&#x2018;?â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;&#x17D;â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;?â&#x152;Ş, â&#x152;Šđ?&#x2018;?, đ?&#x2018;?â&#x152;Ş} para el lenguaje con los parĂĄmetros â&#x2C6;&#x20AC; y đ??¸. Se tiene el siguiente diagrama:

a

b

c

d

Entonces, â&#x160;¨đ?&#x201D;&#x2026; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 ÂŹđ??¸đ?&#x2018;Ł2 đ?&#x2018;Ł1 [đ?&#x2018; ] sii đ?&#x2018; (đ?&#x2018;Ł1 ) = đ?&#x2018;&#x2018;. No hay arista que apunte al vĂŠrtice đ?&#x2018;&#x2018;; ademĂĄs, ĂŠste es el Ăşnico con esta propiedad. Es posible plantear la negaciĂłn de esta fĂłrmula como â&#x160;¨đ?&#x201D;&#x2026; â&#x2C6;&#x192;đ?&#x2018;Ł2 đ??¸đ?&#x2018;Ł2 đ?&#x2018;Ł1 [đ?&#x2018; ] sii đ?&#x2018; (đ?&#x2018;Ł1 ) â&#x2C6;&#x2C6; {đ?&#x2018;&#x17D;, đ?&#x2018;?, đ?&#x2018;?}. AnalĂ­cese con cuidado tanto el orden de la fĂłrmula como el contexto que le da significado.

De esta forma se plantea, de manera formalizada y apoyada de la concepciĂłn informal, lo que significa que una estructura satisfaga una fĂłrmula del lenguaje. Teniendo en cuenta que dada una fĂłrmula es muy importante la asignaciĂłn que se hace del conjunto de todas las variables al universo, se puede ver que si se cambiara la asignaciĂłn đ?&#x2018; en el primer ejemplo de estos dos, podrĂ­a cambiarse el significado de los enunciados y el valor de verdad de las fĂłrmulas.

DefiniciĂłn de verdad para enunciados y definiciĂłn de modelo Cuando se quiere saber si la estructura đ?&#x201D;&#x201E; satisface o no una fĂłrmula đ?&#x153;&#x2018; con đ?&#x2018; , es necesaria toda la (cantidad infinita de) informaciĂłn que se tiene con đ?&#x2018; . Lo que importa son los valores de la Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 23

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados funciĂłn đ?&#x2018; en (la cantidad finita de) variables que ocurren libres en đ?&#x153;&#x2018;. En particular, si đ?&#x153;&#x2018; es un enunciado, entonces đ?&#x2018; no importa en absoluto. Sobre esto el siguiente teorema.

Teorema Si đ?&#x2018; 1 y đ?&#x2018; 2 son funciones de đ?&#x2018;&#x2030; en |đ?&#x201D;&#x201E;| que coinciden en todas las variables que ocurren libres (si las hay) en la fĂłrmula đ?&#x153;&#x2018;, entonces: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; 1 ] đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; 2 ] DemostraciĂłn Como la satisfacciĂłn se definiĂł por recursiĂłn, la demostraciĂłn se harĂĄ con inducciĂłn.

Se considera la estructura đ?&#x201D;&#x201E; fija. Se probarĂĄ por inducciĂłn que cada fĂłrmula đ?&#x153;&#x2018; tiene la propiedad de que siempre que dos funciones đ?&#x2018; 1 , đ?&#x2018; 2 coinciden en las variables libres de đ?&#x153;&#x2018;, đ?&#x201D;&#x201E; satisface đ?&#x153;&#x2018; con đ?&#x2018; 1 sii đ?&#x201D;&#x201E; satisface đ?&#x153;&#x2018; con đ?&#x2018; 2. Para esto se plantean los posibles casos de la fĂłrmula.

Caso 1. đ?&#x153;&#x2018; = đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; es atĂłmica. Entonces, en đ?&#x153;&#x2018; cualquier variable ocurre libre. Por tanto, đ?&#x2018; 1 y đ?&#x2018; 2 coinciden en todas las variables en cada đ?&#x2018;Ąđ?&#x2018;&#x2013; . De esto sigue que đ?&#x2018; Ě&#x2026;1 (đ?&#x2018;Ąđ?&#x2018;&#x2013; ) = đ?&#x2018; Ě&#x2026;2 (đ?&#x2018;Ąđ?&#x2018;&#x2013; ) para cada đ?&#x2018;&#x2013;, esto es en cierta forma directo por cĂłmo se definen las extensiones, pero se puede dar la demostraciĂłn formal por inducciĂłn sobre đ?&#x2018;Ąđ?&#x2018;&#x2013; . Entonces se tiene que đ?&#x201D;&#x201E; satisface đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; con đ?&#x2018; 1 sii đ?&#x201D;&#x201E; satisface đ?&#x2018;&#x192;đ?&#x2018;Ą1 â&#x2039;Ż đ?&#x2018;Ąđ?&#x2018;&#x203A; con đ?&#x2018; 2.

Casos 2 y 3. đ?&#x153;&#x2018; es ÂŹđ?&#x203A;ź o đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝. Esto se sigue inmediatamente de la hipĂłtesis de inducciĂłn.

Caso 4. đ?&#x153;&#x2018; = â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x201C;. Las variables libres en đ?&#x153;&#x2018; son aquellas libres en đ?&#x153;&#x201C; con excepciĂłn de đ?&#x2018;Ľ. Por lo tanto, para cualquier đ?&#x2018;&#x2018; en |đ?&#x201D;&#x201E;|, đ?&#x2018; 1 (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;) y đ?&#x2018; 2 (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;) coinciden en todas las variables libres de đ?&#x153;&#x201C;. Por hipĂłtesis de inducciĂłn, . đ?&#x201D;&#x201E; satisface con đ?&#x2018; 1 (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;) sii đ?&#x201D;&#x201E; satisface con đ?&#x2018; 2 (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;). A partir de esto y de la definiciĂłn de satisfacciĂłn, se puede ver que đ?&#x201D;&#x201E; satisface â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x201C; con đ?&#x2018; 1 sii đ?&#x201D;&#x201E; satisface â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x201C; con đ?&#x2018; 2.

La prueba anterior consiste en revisar la definiciĂłn de satisfacciĂłn y observar quĂŠ informaciĂłn dada por đ?&#x2018; se utilizĂł realmente. Hay un hecho anĂĄlogo referente a las estructuras que se da sin demostraciĂłn: ProposiciĂłn Si đ?&#x201D;&#x201E;. y đ?&#x201D;&#x2026; coinciden en todos los parĂĄmetros que ocurren en đ?&#x153;&#x2018;, entonces â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ] sii â&#x160;¨đ?&#x201D;&#x2026; đ?&#x153;&#x2018;[đ?&#x2018; ].

Justificado con teorema antes expuesto, se presenta la siguiente notaciĂłn: NotaciĂłn Si đ?&#x153;&#x2018; es una fĂłrmula tal que todas las variables que ocurren libres en đ?&#x153;&#x2018; estĂĄn incluidas entre đ?&#x2018;Ł1 , â&#x20AC;Ś , đ?&#x2018;Łđ?&#x2018;&#x2DC; . Entonces, para elementos đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x2DC; de |đ?&#x201D;&#x201E;|, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[[đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x2DC; ]] Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 24

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados significa que đ?&#x201D;&#x201E; satisface đ?&#x153;&#x2018; con cualquier funciĂłn đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;| para la cual đ?&#x2018; (đ?&#x2018;Łđ?&#x2018;&#x2013; ) = đ?&#x2018;&#x17D;đ?&#x2018;&#x2013; , 1 â&#x2030;¤ đ?&#x2018;&#x2013; â&#x2030;¤ đ?&#x2018;&#x2DC;.

Usando el ejemplo 2.2.2.1, en el que đ?&#x201D;&#x201E; = (â&#x201E;&#x2022;; â&#x2030;¤, đ?&#x2018;&#x2020;, 0), se tiene que â&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ?&#x2018;&#x192;đ?&#x2018;Ł1 đ?&#x2018;Ł2 [[0]], pero â&#x160;­đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ?&#x2018;&#x192;đ?&#x2018;Ł1 đ?&#x2018;Ł2 [[3]].

Corolario (del teorema) Para un enunciado đ?&#x153;&#x17D; se tienen dos opciones: a) đ?&#x201D;&#x201E; satisface đ?&#x153;&#x17D; con toda funciĂłn đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;|. b) đ?&#x201D;&#x201E; no satisface đ?&#x153;&#x17D; con cualquier funciĂłn đ?&#x2018; de đ?&#x2018;&#x2030; en |đ?&#x201D;&#x201E;|.

Con base en este corolario se presenta la siguiente definiciĂłn.

DefiniciĂłn Si se cumple la alternativa a) del corolario, se dice que đ?&#x153;&#x17D; es verdadero en đ?&#x201D;&#x201E;, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x17D; o que đ?&#x201D;&#x201E; es un modelo de đ?&#x153;&#x17D;. De cumplirse la alternativa b), se tiene que đ?&#x153;&#x17D; es falso en đ?&#x201D;&#x201E;; sĂłlo ocurre una de estas dos opciones dado que |đ?&#x201D;&#x201E;| es no vacĂ­o. đ?&#x201D;&#x201E; es un modelo de un conjunto đ?&#x161;ş de enunciados sii đ?&#x201D;&#x201E; es un modelo de todos los elementos de ÎŁ.

Ejemplo 2.2.3.1 Si â&#x201E;&#x153; es el campo de los reales, (â&#x201E;?; 0,1, +,â&#x2039;&#x2026;) y đ?&#x201D;&#x201D; es el campo de los racionales, (â&#x201E;&#x161;; 0,1, +,â&#x2039;&#x2026;), existen enunciados vĂĄlidos en uno y falsos en el otro. Por ejemplo el enunciado â&#x2C6;&#x192;đ?&#x2018;Ľ (đ?&#x2018;Ľ â&#x2039;&#x2026; đ?&#x2018;Ľ) = 1 + 1 es falso en el campo de los racionales, pues â&#x2C6;&#x161;2 es un nĂşmero irracional y es cierto en el campo de los reales.

Ejemplo 2.2.3.2

Un lenguaje dado tiene sĂłlo dos parĂĄmetros â&#x2C6;&#x20AC; y đ?&#x2018;&#x192;, donde đ?&#x2018;&#x192; es un sĂ­mbolo de predicado de dos argumentos. Entonces una estructura đ?&#x201D;&#x201E; queda determinada por el universo |đ?&#x201D;&#x201E;| y la relaciĂłn binaria đ?&#x2018;&#x192;đ?&#x201D;&#x201E; . De manera sĂłlo descriptiva, abusando del lenguaje, puede denotarse đ?&#x201D;&#x201E; = (|đ?&#x201D;&#x201E;|; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; ).

ConsidĂŠrese el problema de caracterizar la clase de todos los modelos de los siguientes enunciados: 1. â&#x2C6;&#x20AC;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;Ś. Una estructura (đ??´; đ?&#x2018;&#x2026;) es un modelo de este enunciado sii đ??´ tiene exactamente un elemento. đ?&#x2018;&#x2026; puede ser vacĂ­o o puede ser el conjunto unitario đ??´ Ă&#x2014; đ??´.

2. â&#x2C6;&#x20AC;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś. Una estructura (đ??´; đ?&#x2018;&#x2026;) es un modelo de este enunciado sii đ?&#x2018;&#x2026; = đ??´ = đ??´ Ă&#x2014; đ??´, donde đ??´ puede ser cualquier conjunto no vacĂ­o.

3. â&#x2C6;&#x20AC;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś. Una estructura (đ??´; đ?&#x2018;&#x2026;) es un modelo de este enunciado sii đ?&#x2018;&#x2026; = â&#x2C6;&#x2026;.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 25

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 4. â&#x2C6;&#x20AC;đ?&#x2018;Ľâ&#x2C6;&#x192;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś. Para que una estructura (đ??´; đ?&#x2018;&#x2026;) sea modelo de este enunciado se debe tener que el dominio de đ?&#x2018;&#x2026; sea đ??´.

En este punto se debe tener dominado el concepto de satisfacciĂłn para comprender cĂłmo la estructura es la que da el valor de verdad a un enunciado. Si se tiene algĂşn problema en comprender esta situaciĂłn, se necesita revisar una vez mĂĄs las definiciones de satisfacciĂłn pensando en un contexto especĂ­fico. El primer problema es la notaciĂłn usada.

La notaciĂłn que se presentĂł es de cierta forma apropiada para adaptarse a las nociones que ya se tienen, por ejemplo se tiene que: a) â&#x160;¨đ?&#x201D;&#x201E; (đ?&#x203A;ź â&#x2C6;§ đ?&#x203A;˝)[đ?&#x2018; ] sii â&#x160;¨đ?&#x201D;&#x201E; đ?&#x203A;ź[đ?&#x2018; ] y â&#x160;¨đ?&#x201D;&#x201E; đ?&#x203A;˝[đ?&#x2018; ], de manera similar para â&#x2C6;¨ y â&#x2020;&#x201D;. b) â&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź[đ?&#x2018; ] sii hay algĂşn đ?&#x2018;&#x2018; â&#x2C6;&#x2C6; |đ?&#x201D;&#x201E;| con la propiedad de que â&#x160;¨đ?&#x201D;&#x201E; đ?&#x203A;ź[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)].

La demostraciĂłn del punto b) puede ser como sigue: â&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x203A;ź[đ?&#x2018; ] đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x160;¨đ?&#x201D;&#x201E; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ľ ÂŹđ?&#x203A;ź[đ?&#x2018; ], đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x160;­đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ľ ÂŹđ?&#x203A;ź[đ?&#x2018; ], đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; no pasa que para todo đ?&#x2018;&#x2018; en |đ?&#x201D;&#x201E;|, â&#x160;¨đ?&#x201D;&#x201E; ÂŹđ?&#x203A;ź[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)], por definiciĂłn, đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; no pasa que para todo đ?&#x2018;&#x2018; en |đ?&#x201D;&#x201E;|, â&#x160;­đ?&#x201D;&#x201E; đ?&#x203A;ź[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)], por definiciĂłn, đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; para algĂşn đ?&#x2018;&#x2018; en |đ?&#x201D;&#x201E;|, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x203A;ź[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x2018;)].

La notaciĂłn resulta natural y apropiada para trabajar con los enunciados y las estructuras.

ImplicaciĂłn lĂłgica DefiniciĂłn Sea Î&#x201C; un conjunto de fĂłrmulas y đ?&#x153;&#x2018; una fĂłrmula. Entonces đ?&#x161;Ş implica lĂłgicamente a đ?&#x153;&#x2018;, y se escribe Î&#x201C; â&#x160;¨ đ?&#x153;&#x2018;, sii para cada estructura đ?&#x201D;&#x201E; del lenguaje y cada funciĂłn đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;| tal que đ?&#x201D;&#x201E; satisface cada elemento de Î&#x201C; con đ?&#x2018; , đ?&#x201D;&#x201E; tambiĂŠn satisface a đ?&#x153;&#x2018; con đ?&#x2018; .

Se utiliza el mismo sĂ­mbolo, â&#x20AC;&#x153;â&#x160;¨â&#x20AC;?, que se utilizĂł en la primera unidad para la implicaciĂłn tautolĂłgica, pero en adelante denota sĂłlo la implicaciĂłn lĂłgica. De igual manera se denota â&#x20AC;&#x153;đ?&#x203A;ž â&#x160;¨ đ?&#x153;&#x2018;â&#x20AC;? en lugar de â&#x20AC;&#x153;{đ?&#x203A;ž} â&#x160;¨ đ?&#x153;&#x2018;â&#x20AC;?.

Para enunciados, la implicaciĂłn lĂłgica se puede presentar usando el teorema referido anteriormente con el siguiente corolario.

Corolario

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 26

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Para un conjunto ÎŁ; đ?&#x153;? de enunciados, ÎŁ â&#x160;¨ đ?&#x153;? sii cada modelo de ÎŁ es tambiĂŠn modelo de đ?&#x153;?. Un enunciado đ?&#x153;? es vĂĄlido sii es verdadero en todas las estructuras.

Ejemplo 2.2.4.1 ConsidĂŠrense las siguientes implicaciones entre enunciados: 1. â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x201E;đ?&#x2018;Ł1 â&#x160;¨ đ?&#x2018;&#x201E;đ?&#x2018;Ł2 . Ă&#x2030;sta es sĂłlo una particularizaciĂłn, si para todos es verdadero, lo es para uno de ellos.

2. đ?&#x2018;&#x201E;đ?&#x2018;Ł1 â&#x160;­ â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x201E;đ?&#x2018;Ł1 . Para demostrar esto basta encontrar una estructura đ?&#x201D;&#x201E; y una sola funciĂłn đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;| tal que, por una parte, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;&#x201E;đ?&#x2018;Ł1 [đ?&#x2018; ] y por la otra, đ?&#x201D;&#x201E; no es modelo de â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x201E;đ?&#x2018;Ł1 . Para esto se necesita que |đ?&#x201D;&#x201E;| tenga al menos dos elementos.

3. â&#x2C6;&#x20AC;đ?&#x2018;Ł1 đ?&#x2018;&#x201E;đ?&#x2018;Ł1 â&#x160;¨ â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;&#x201E;đ?&#x2018;Ł2 . Ver esto es sencillo considerando que el universo de una estructura es no vacĂ­o.

4. â&#x2C6;&#x192;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x160;¨ â&#x2C6;&#x20AC;đ?&#x2018;Ś â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś. Esto se verĂĄ mĂĄs adelante, en el Tema 2.3.

5. â&#x2C6;&#x20AC;đ?&#x2018;Ś â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x160;­ â&#x2C6;&#x192;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś.

La definiciĂłn de implicaciĂłn lĂłgica es muy parecida a la de implicaciĂłn tautolĂłgica que apareciĂł en la Unidad 1. Sin embargo, hay una diferencia importante en cuanto a su complejidad.

Equivalencia lĂłgica Continuando con lo presentado en el tema anterior y siguiendo con una especie de analogĂ­a a lo presentado en la Unidad 1, se dice que đ?&#x153;&#x2018; y đ?&#x153;&#x201C; son lĂłgicamente equivalentes (đ??&#x2039; â&#x160;¨âŤ¤ đ???) sii đ?&#x153;&#x2018; â&#x160;¨ đ?&#x153;&#x201C; y đ?&#x153;&#x201C; â&#x160;¨ đ?&#x153;&#x2018;.

Del ejemplo 2.2.4.1. en las partes 4 y 5 se puede ver que. aunque â&#x2C6;&#x192;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x160;¨ â&#x2C6;&#x20AC;đ?&#x2018;Ś â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś, estas fĂłrmulas nos son lĂłgicamente equivalentes, pues â&#x2C6;&#x20AC;đ?&#x2018;Ś â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x160;­ â&#x2C6;&#x192;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś.

FĂłrmulas universalmente vĂĄlidas El anĂĄlogo en primer orden del concepto de tautologĂ­a es el concepto de fĂłrmula vĂĄlida: una fĂłrmula đ?&#x153;&#x2018; es vĂĄlida sii â&#x2C6;&#x2026; â&#x160;¨ đ?&#x153;&#x2018;, escrito â&#x160;¨ đ?&#x153;&#x2018;. Entonces đ?&#x153;&#x2018; es vĂĄlida sii para cada đ?&#x201D;&#x201E; y cada đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; |đ?&#x201D;&#x201E;|, đ?&#x201D;&#x201E; satisface đ?&#x153;&#x2018; con đ?&#x2018; .

Ejemplo 2.2.6.1 1. â&#x160;¨ ÂŹÂŹđ?&#x153;&#x17D; â&#x2020;&#x2019; đ?&#x153;&#x17D;. Si đ?&#x201D;&#x201E; es un modelo de ÂŹÂŹđ?&#x153;&#x17D;, entonces â&#x160;­đ?&#x201D;&#x201E; ÂŹđ?&#x153;&#x17D; de donde â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x17D;. Prestando un poco de atenciĂłn a lo que se estĂĄ haciendo en esta secuencia de afirmaciones podrĂ­a notarse que se ha usado la ley de la doble negaciĂłn, la cual se va a probar. Se estĂĄ probando la ley de la doble negaciĂłn en el lenguaje formal considerado para esto, Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 27

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados denominado lenguaje objeto (revisa en internet algunas definiciones de lo que en filosofĂ­a es el metalenguaje y el lenguaje objeto). Al hacer la demostraciĂłn se usa cualquier razonamiento correcto, afuera en el metalenguaje, el lenguaje comĂşn, como se harĂ­a al razonar respecto de espacios vectoriales o grĂĄficas. En particular, el razonamiento puede implicar principios que cuando se modelaran formalmente, implicarĂ­an ÂŹÂŹđ?&#x153;&#x17D; y đ?&#x153;&#x17D;. No hay circularidad o redundancia; pero los enunciados del metalenguaje que se usan, como era de esperarse, relacionados con las fĂłrmulas del lenguaje objeto de las que se hablan.

2. â&#x160;¨ â&#x2C6;&#x192;đ?&#x2018;Ľ (đ?&#x2018;&#x201E;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x2018;&#x201E;đ?&#x2018;Ľ). Ă&#x2030;ste es un enunciado extraĂąo, pero vĂĄlido.

Para notar un poco mĂĄs las diferencias entre la lĂłgica de enunciados y la de primer orden, supĂłngase que en lĂłgica de enunciados se quiere saber si una fĂłrmula đ?&#x203A;ź es una tautologĂ­a o no. La definiciĂłn requiere considerar un nĂşmero finito de asignaciones de verdad, cada una de las cuales es una funciĂłn finita. Para cada una de tales asignaciones de verdad đ?&#x2018;Ł, se debe calcular đ?&#x2018;ŁĚ&#x2026; (đ?&#x203A;ź), que puede realizarse efectivamente en una cantidad de tiempo finita (en consecuencia, el conjunto de tautologĂ­as es decidible, como se observĂł anteriormente).

Cuando se requiere saber si una fĂłrmula đ?&#x153;&#x2018; del lenguaje de primer orden, es o no vĂĄlida, la definiciĂłn exige que se considere cada estructura đ?&#x201D;&#x201E;. Esto requiere todos los conjuntos no vacĂ­os, en seguida para cada estructura se requiere considerar cada funciĂłn đ?&#x2018; del conjunto đ?&#x2018;&#x2030; de las variables en |đ?&#x201D;&#x201E;|. Para cada đ?&#x201D;&#x201E; y đ?&#x2018; dadas, se debe determinar si đ?&#x201D;&#x201E; satisface a đ?&#x153;&#x2018; con đ?&#x2018; o no, cuando esto sucede es complicado que |đ?&#x201D;&#x201E;| sea infinito.

De acuerdo con lo anterior, no resulta sorprendente que el conjunto de las fĂłrmulas vĂĄlidas no sea decidible. Sin embargo mĂĄs adelante se verĂĄ un concepto que resulta equivalente al de validez. Este es el de deducibilidad, que tiene una definiciĂłn mĂĄs cercana a la finitaria, por esta vĂ­a serĂĄ posible probar que el conjunto de fĂłrmulas vĂĄlidas es efectivamente enumerable. De esta forma se tiene una caracterizaciĂłn concreta de tales fĂłrmulas.

Definibilidad de una estructura Empieza por considerar que se quiere estudiar el campo de los reales (â&#x201E;?; 0,1, +,â&#x2039;&#x2026;) compuesto por el conjunto de los nĂşmeros reales, junto con los elementos distinguidos 0 y 1, y las operaciones de suma y producto. Como antes, se considera el campo de los reales como la estructura â&#x201E;&#x153; = (â&#x201E;?; 0,1, +,â&#x2039;&#x2026;) en la que el lenguaje con igualdad tiene los sĂ­mbolos de constante 0 y 1 y los sĂ­mbolos de funciĂłn de dos argumentos + y â&#x2039;&#x2026;. Aunque no se incluye en el lenguaje un sĂ­mbolo de orden <, se tiene manera para decir que â&#x20AC;&#x153;đ?&#x2018;Ľ â&#x2030;Ľ 0â&#x20AC;?; pues en esta estructura, los elementos no negativos son exactamente los elementos con raĂ­ces cuadradas. Esto es, la fĂłrmula â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ľ = đ?&#x2018;Ł2 â&#x2039;&#x2026; đ?&#x2018;Ł2 se Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 28

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados satisface en la estructura â&#x201E;&#x153; siempre que se asigne a đ?&#x2018;Ľ un nĂşmero no negativo, y sĂłlo en ese caso, esto es: â&#x160;¨â&#x201E;&#x153; â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 = đ?&#x2018;Ł2 â&#x2039;&#x2026; đ?&#x2018;Ł2 [[đ?&#x2018;&#x17D;]] â&#x;ş đ?&#x2018;&#x17D; â&#x2030;Ľ 0.

Debido a esto, se dice que el intervalo [0, â&#x2C6;&#x17E;) es definible en â&#x201E;&#x153;, y que la fĂłrmula â&#x2C6;&#x192;đ?&#x2018;Ł2 đ?&#x2018;Ł1 = đ?&#x2018;Ł2 â&#x2039;&#x2026; đ?&#x2018;Ł2 lo define.

AdemĂĄs es posible dar la relaciĂłn de orden en los reales, es decir, la relaciĂłn binaria {â&#x152;Šđ?&#x2018;&#x17D;, đ?&#x2018;?â&#x152;Ş â&#x2C6;&#x2C6; â&#x201E;? Ă&#x2014; â&#x201E;?|đ?&#x2018;&#x17D; â&#x2030;¤ đ?&#x2018;?} en la estructura â&#x201E;&#x153; mediante la fĂłrmula que expresa â&#x20AC;&#x153;đ?&#x2018;Ł1 â&#x2030;¤ đ?&#x2018;Ł2 â&#x20AC;?: â&#x2C6;&#x192;đ?&#x2018;Ł3 đ?&#x2018;Ł2 = đ?&#x2018;Ł1 + đ?&#x2018;Ł3 â&#x2039;&#x2026; đ?&#x2018;Ł3 .

Como un ejemplo mĂĄs corto, considera la grĂĄfica dirigida đ?&#x201D;&#x201E; = ({đ?&#x2018;&#x17D;, đ?&#x2018;?, đ?&#x2018;?}; {â&#x152;Šđ?&#x2018;&#x17D;, đ?&#x2018;?â&#x152;Ş, â&#x152;Šđ?&#x2018;&#x17D;, đ?&#x2018;?â&#x152;Ş}) donde el lenguaje tiene los parĂĄmetros â&#x2C6;&#x20AC; y đ??¸:

đ?&#x2018;?

đ?&#x2018;&#x17D;

đ?&#x2018;?

Entonces en đ?&#x201D;&#x201E;, el conjunto {đ?&#x2018;?, đ?&#x2018;?} (el rango o imagen de la relaciĂłn đ??¸ đ?&#x201D;&#x201E; ) se define mediante la fĂłrmula â&#x2C6;&#x192;đ?&#x2018;Ł2 đ??¸đ?&#x2018;Ł2 đ?&#x2018;Ł1 . En cambio, el conjunto {đ?&#x2018;?} no es definible en đ?&#x201D;&#x201E;. Esto se debe a que no hay propiedad definible en la estructura que separarĂ­a a đ?&#x2018;? y đ?&#x2018;?. La prueba de este hecho utilizarĂĄ el teorema del homomorfismo, que se demostrarĂĄ mĂĄs adelante en el tema 2.2.8.

Ahora se quiere establecer de manera precisa el concepto de definibilidad de un subconjunto del universo o de una relaciĂłn en el universo. ConsidĂŠrese una estructura đ?&#x201D;&#x201E; y una fĂłrmula đ?&#x153;&#x2018; cuyas variables libres se encuentren entre đ?&#x2018;Ł1 , â&#x20AC;Ś , đ?&#x2018;Łđ?&#x2018;&#x2DC; . Entonces se construye sobre |đ?&#x201D;&#x201E;| la relaciĂłn de aridad đ?&#x2018;&#x2DC; {(đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x2DC; )| â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[[đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x2DC; ]]} Se denotarĂĄ a este conjunto la relaciĂłn de aridad đ?&#x2018;&#x2DC; que đ?&#x153;&#x2018; define en đ?&#x201D;&#x201E;. En general, se dice que una relaciĂłn de aridad đ?&#x2018;&#x2DC; sobre |đ?&#x201D;&#x201E;| es definible en đ?&#x201D;&#x201E; sii existe una fĂłrmula (cuyas variables libres se encuentran entre đ?&#x2018;Ł1 , â&#x20AC;Ś , đ?&#x2018;Łđ?&#x2018;&#x2DC; ) que la define ahĂ­.

Ejemplo 2.2.7.1.

ConsidĂŠrese una parte del lenguaje que se tiene para la teorĂ­a de nĂşmeros, especĂ­ficamente que el lenguaje tiene los parĂĄmetros â&#x2C6;&#x20AC;,0, đ?&#x2018;&#x2020;, +,â&#x2039;&#x2026;. Sea đ?&#x201D;&#x2018; la estructura compuesta: Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 29

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados |đ?&#x201D;&#x2018;| = â&#x201E;&#x2022;, el conjunto de los nĂşmeros naturales.

0đ?&#x201D;&#x2018; = 0, el nĂşmero 0. đ?&#x2018;&#x2020; đ?&#x201D;&#x2018; , +đ?&#x201D;&#x2018; , â&#x2039;&#x2026;đ?&#x201D;&#x2018; son đ?&#x2018;&#x2020;, +,â&#x2039;&#x2026; , las funciones sucesor, suma y producto.

Esto en una sola expresiĂłn podrĂ­a ser: đ?&#x201D;&#x2018; = (â&#x201E;&#x2022;; 0, đ?&#x2018;&#x2020;, +,â&#x2039;&#x2026;) Algunas relaciones sobre â&#x201E;&#x2022; son definibles en đ?&#x201D;&#x2018; y otras no. Lo mĂĄs complicado podrĂ­a ser demostrar que relaciones no son definibles, pues al no serlo, es complicado decir exactamente cĂłmo son para ver que, en efecto, no son definibles. Suele usarse tambiĂŠn el hecho de que hay una cantidad no numerable de relaciones sobre â&#x201E;&#x2022;, y, unidamente, una cantidad numerable de posibles fĂłrmulas para definir.

Se presentan algunas relaciones definibles, (ÂżpodrĂ­a el (la) alumno(a), con base en ĂŠstas, definir alguna otra?)

1. La relaciĂłn de orden {â&#x152;Šđ?&#x2018;&#x161;, đ?&#x2018;&#x203A;â&#x152;Ş|đ?&#x2018;&#x161; < đ?&#x2018;&#x203A;} se define en đ?&#x201D;&#x2018; mediante la fĂłrmula â&#x2C6;&#x192;đ?&#x2018;Ł3 đ?&#x2018;Ł1 + đ?&#x2018;&#x2020;đ?&#x2018;Ł3 = đ?&#x2018;Ł2 2. Para cualquier nĂşmero natural đ?&#x2018;&#x203A;, {đ?&#x2018;&#x203A;} es definible. Por ejemplo, {2} se define mediante la ecuaciĂłn: đ?&#x2018;Ł1 = đ?&#x2018;&#x2020;đ?&#x2018;&#x2020;0 Por lo anterior, se tiene que đ?&#x2018;&#x203A; es un đ?&#x2018;&#x2019;đ?&#x2018;&#x2122;đ?&#x2018;&#x2019;đ?&#x2018;&#x161;đ?&#x2018;&#x2019;đ?&#x2018;&#x203A;đ?&#x2018;Ąđ?&#x2018;&#x153; đ?&#x2018;&#x2018;đ?&#x2018;&#x2019;đ?&#x2018;&#x201C;đ?&#x2018;&#x2013;đ?&#x2018;&#x203A;đ?&#x2018;&#x2013;đ?&#x2018;?đ?&#x2018;&#x2122;đ?&#x2018;&#x2019; en đ?&#x201D;&#x2018;.

3. El conjunto de los primos es definible en đ?&#x201D;&#x2018;. Esto es sencillo mediante la fĂłrmula 1 < đ?&#x2018;Ł1 â&#x2C6;§ â&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x20AC;đ?&#x2018;Ł3 (đ?&#x2018;Ł1 = đ?&#x2018;Ł2 â&#x2039;&#x2026; đ?&#x2018;Ł3 â&#x2020;&#x2019; đ?&#x2018;Ł2 = 1 â&#x2C6;¨ đ?&#x2018;Ł3 = 1) y recordando la definiciĂłn usual de los nĂşmeros primos. Esta fĂłrmula usa los parĂĄmetros 1 y <, que no estĂĄn en đ?&#x201D;&#x2018;. Sin embargo {1} y < son definibles en đ?&#x201D;&#x2018;, asĂ­ que es posible usar sus definiciones, por lo tanto el conjunto de los primos es definible por â&#x2C6;&#x192;đ?&#x2018;Ł3 đ?&#x2018;&#x2020;0 + đ?&#x2018;&#x2020;đ?&#x2018;Ł3 = đ?&#x2018;Ł1 â&#x2C6;§ â&#x2C6;&#x20AC;đ?&#x2018;Ł2 â&#x2C6;&#x20AC;đ?&#x2018;Ł3 (đ?&#x2018;Ł1 = đ?&#x2018;Ł2 â&#x2039;&#x2026; đ?&#x2018;Ł3 â&#x2020;&#x2019; đ?&#x2018;Ł2 = đ?&#x2018;&#x2020;0 â&#x2C6;¨ đ?&#x2018;Ł3 = đ?&#x2018;&#x2020;0)

Se ha dicho hasta el momento quĂŠ significa que elementos dentro de una estructura sean definibles. RecuĂŠrdese un poco lo que se presenta en un curso de matemĂĄticas, que usualmente inicia con algo parecido a alguna de las siguientes afirmaciones: 1. â&#x20AC;&#x153;Una grĂĄfica estĂĄ compuesta, por definiciĂłn, de un conjunto no vacĂ­o đ?&#x2018;&#x2030; junto con un conjunto đ??¸, tal que...â&#x20AC;?

2. â&#x20AC;&#x153;Un grupo estĂĄ compuesto, por definiciĂłn, de un conjunto no vacĂ­o đ??ş junto con una operaciĂłn binaria â&#x2C6;&#x2DC; que satisface los axiomas..."

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 30

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 3. â&#x20AC;&#x153;Un espacio vectorial se compone, por definiciĂłn, de un conjunto no vacĂ­o đ?&#x2018;&#x2030; junto con una operaciĂłn binaria + y, para cada nĂşmero real đ?&#x2018;&#x;, una operaciĂłn llamada multiplicaciĂłn escalar tal que...â&#x20AC;?

Se quiere hacer una abstracciĂłn de esta situaciĂłn. En cada caso, los objetos de estudio (grĂĄficas, grupos, espacios vectoriales, etc.) son estructuras para un lenguaje adecuado, donde se les pide que se satisfagan un determinado conjunto ÎŁ de enunciados, en estos casos denominados axiomas. En lo siguiente del curso en cuestiĂłn se estudian los modelos del conjunto ÎŁ de axiomas, o al menos algunos de los modelos (esto puede ser muy conocido para el (la) estudiante en el caso de los grupos estudiados en ĂĄlgebra o en el de los nĂşmeros reales como espacio vectorial o â&#x201E;?2 . PiĂŠnsese en ellos como estructuras para sus lenguajes).

Para un conjunto ÎŁ de enunciados, sea đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018; ÎŁ la clase de todos los modelos de ÎŁ, es decir, la clase de todas las estructuras del lenguaje en las cuales todo elemento de ÎŁ es verdadero. Para un solo enunciado đ?&#x153;?, se escribe đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018; đ?&#x153;?. De manera paralela a esto dentro de la teorĂ­a de conjuntos se puede ver que si đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018; ÎŁ es no vacĂ­o, es una clase propia, es decir, no es un conjunto sino algo â&#x20AC;&#x153;mĂĄs grandeâ&#x20AC;?. RevĂ­sese la secciĂłn Para saber mĂĄs, donde se presentan textos sobre la teorĂ­a de conjuntos. Cabe decir que su lenguaje es uno de lo que se estudia en esta secciĂłn, pero no el Ăşnico y por eso se da en general.

Una clase đ?&#x2019;Ś de estructuras del lenguaje es una clase elemental (đ??¸đ??ś) sii đ?&#x2019;Ś = đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018; đ?&#x153;? para algĂşn enunciado đ?&#x153;?. đ?&#x2019;Ś es una clase elemental en sentido amplio (đ??¸đ??śÎ&#x201D; ) sii đ?&#x2019;Ś = đ?&#x2018;&#x20AC;đ?&#x2018;&#x153;đ?&#x2018;&#x2018; ÎŁ para algĂşn conjunto ÎŁ de enunciados (el adjetivo â&#x20AC;&#x153;elementalâ&#x20AC;? se estĂĄ usando aquĂ­ como sinĂłnimo de â&#x20AC;&#x153;primer ordenâ&#x20AC;?).

Ejemplo 2.2.7.2 1. Si el lenguaje cuenta con igualdad y dos parĂĄmetros â&#x2C6;&#x20AC; y đ??¸, donde đ??¸ es un sĂ­mbolo de predicado de dos argumentos. Entonces una grĂĄfica es una estructura para este lenguaje đ?&#x201D;&#x201E; = (đ?&#x2018;&#x2030;; đ??¸ đ?&#x201D;&#x201E; ) consistente en un conjunto đ?&#x2018;&#x2030; no vacĂ­o de objetos llamados vĂŠrtices (o nodos), y una relaciĂłn arista đ??¸ đ?&#x201D;&#x201E; que es simĂŠtrica (si đ?&#x2018;˘đ??¸ đ?&#x201D;&#x201E; đ?&#x2018;Ł, entonces đ?&#x2018;Łđ??¸ đ?&#x201D;&#x201E; đ?&#x2018;˘) y antirreflexiva (nunca đ?&#x2018;Łđ??¸ đ?&#x201D;&#x201E; đ?&#x2018;Ł). Si el (la) alumno(a) estĂĄ familiarizado con la teorĂ­a de grĂĄficas, reconocerĂĄ estas condiciones desde el principio. El axioma que manifiesta que la relaciĂłn arista es simĂŠtrica y antirreflexiva se puede traducir mediante el enunciado: â&#x2C6;&#x20AC;đ?&#x2018;Ľ(ÂŹđ?&#x2018;Ľđ??¸đ?&#x2018;Ľ â&#x2C6;§ â&#x2C6;&#x20AC;đ?&#x2018;Ś (đ?&#x2018;Ľđ??¸đ?&#x2018;Ś â&#x2020;&#x2019; đ?&#x2018;Śđ??¸đ?&#x2018;Ľ)) AsĂ­, la clase de todas las grĂĄficas es una clase elemental. Pueden cambiarse algunas restricciones, como cuando se estudian las grĂĄficas dirigidas en las que se hace a un lado la simetrĂ­a o se restringe sĂłlo a graficas finitas.

Vale la pena decir que la clase de todas las grĂĄficas finitas no es una clase elemental, ni siquiera en el sentido amplio.

2. SupĂłngase que el lenguaje tiene igualdad y los parĂĄmetros â&#x2C6;&#x20AC;,0,1, +,â&#x2039;&#x2026;. Los campos Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 31

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados pueden ser considerados como estructuras para este lenguaje. La clase de todos los campos es una clase elemental. La clase de los campos de caracterĂ­stica cero, que tienen como subcampo los racionales (para este ejemplo en particular se requiere conocimiento de ĂĄlgebra moderna, en especial teorĂ­a de campos) es đ??¸đ??śÎ&#x201D; ; no es đ??¸đ??ś.

Esto se sigue del teorema de compacidad para la lĂłgica de primer orden que se verĂĄ mĂĄs adelante. Es un buen ejemplo para introducirlo y ver su utilidad.

Con estos ejemplos se tiene la definiciĂłn de definibilidad de una estructura.

Homomorfismos y teorema del homomorfismo El presente contenido serĂĄ de vital importancia para el curso pues se usarĂĄ para poder comprobar el teorema de completud.

Dentro de los cursos que el (la) estudiante ha tomado es comĂşn que le hayan presentado el concepto de lo que significa que dos estructuras, con las que se estĂŠ trabajando, sean isomorfas: debe haber una correspondencia uno a uno entre sus universos |đ?&#x201D;&#x201E;| y |đ?&#x201D;&#x2026;| que â&#x20AC;&#x153;preserveâ&#x20AC;? las operaciones y las relaciones.

A continuaciĂłn se explica que dos estructuras isomorfas, aunque no sean idĂŠnticas, deben tener las mismas propiedades matemĂĄticas. Se quiere definir el concepto de isomorfismo en un contexto general y mostrar que dos estructuras isomorfas tienen que satisfacer exactamente los mismos enunciados.

DefiniciĂłn Sean đ?&#x201D;&#x201E;, đ?&#x201D;&#x2026; estructuras para el lenguaje. Un homomorfismo â&#x201E;&#x17D; de đ?&#x201D;&#x201E; en đ?&#x201D;&#x2026; es una funciĂłn â&#x201E;&#x17D;: |đ?&#x201D;&#x201E;| â&#x2020;&#x2019; |đ?&#x201D;&#x2026;| con las propiedades siguientes: a) Para cada parĂĄmetro de predicado đ?&#x2018;&#x192; de đ?&#x2018;&#x203A; argumentos y cada đ?&#x2018;&#x203A;-ada â&#x152;Šđ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; â&#x152;Ş de elementos de |đ?&#x201D;&#x201E;|: â&#x152;Šđ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x152;Šâ&#x201E;&#x17D;(đ?&#x2018;&#x17D;1 ), â&#x20AC;Ś , â&#x201E;&#x17D;(đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; )â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x2026; b) Para cada sĂ­mbolo de funciĂłn đ?&#x2018;&#x201C; de đ?&#x2018;&#x203A; argumentos y para cada đ?&#x2018;&#x203A;-ada como antes: â&#x201E;&#x17D; (đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; (đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; )) = đ?&#x2018;&#x201C; đ?&#x201D;&#x2026; (â&#x201E;&#x17D;(đ?&#x2018;&#x17D;1 ), â&#x20AC;Ś , â&#x201E;&#x17D;(đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; )).

En el caso de un sĂ­mbolo de constante đ?&#x2018;?, esto se convierte en â&#x201E;&#x17D;(đ?&#x2018;? đ?&#x201D;&#x201E; ) = đ?&#x2018;? đ?&#x201D;&#x2026;.

Las condiciones a) y b) se expresan normalmente como: â&#x20AC;&#x153;â&#x201E;&#x17D; preserva las relaciones y las funcionesâ&#x20AC;?. Se pueden encontrar versiones mĂĄs dĂŠbiles de estas condiciones, pero para este curso se usarĂĄn estos tipos de homomorfismos.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 32

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados De manera anĂĄloga a como se ha hecho siempre en los cursos de matemĂĄticas si ademĂĄs, â&#x201E;&#x17D; es uno a uno, entonces se le llama un isomorfismo (o inmersiĂłn isomorfa) de đ?&#x201D;&#x201E; en đ?&#x201D;&#x2026;. Si hay un isomorfismo de đ?&#x201D;&#x201E; sobre đ?&#x201D;&#x2026;, es decir, un isomorfismo â&#x201E;&#x17D; para el cual đ?&#x2018;&#x;đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; â&#x201E;&#x17D; = |đ?&#x201D;&#x2026;|, se dice que đ?&#x201D;&#x201E; y đ?&#x201D;&#x2026; son isomorfas, denotado como đ?&#x201D;&#x201E; â&#x2030;&#x2026; đ?&#x201D;&#x2026;. De nuevo, si se estĂĄ familiarizado con la teorĂ­a de grupos o de campos se tendrĂĄ mĂĄs presente el concepto.

Ejemplo 2.2.8.1.

Si se tiene un lenguaje con los parĂĄmetros â&#x2C6;&#x20AC;, +,â&#x2039;&#x2026; . Sea đ?&#x201D;&#x201E; la estructura (â&#x201E;&#x2022;; +,â&#x2039;&#x2026;). Es posible definir la funciĂłn â&#x201E;&#x17D;: â&#x201E;&#x2022; â&#x2020;&#x2019; {đ?&#x2018;&#x2019;, đ?&#x2018;&#x153;} mediante: â&#x201E;&#x17D;(đ?&#x2018;&#x203A;) = {

đ?&#x2018;&#x2019; đ?&#x2018;&#x153;

đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;&#x203A; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018;&#x; đ?&#x2018; đ?&#x2018;&#x2013; đ?&#x2018;&#x203A; đ?&#x2018;&#x2019;đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x161;đ?&#x2018;?đ?&#x2018;&#x17D;đ?&#x2018;&#x;

Entonces, â&#x201E;&#x17D; es un homomorfismo de đ?&#x201D;&#x201E; sobre đ?&#x201D;&#x2026; donde |đ?&#x201D;&#x2026;| = {đ?&#x2018;&#x2019;, đ?&#x2018;&#x153;} y +đ?&#x201D;&#x2026; , â&#x2039;&#x2026;đ?&#x201D;&#x2026; se obtiene mediante las tablas siguientes: +đ?&#x201D;&#x2026; đ?&#x2018;&#x2019; đ?&#x2018;&#x153;

đ?&#x2018;&#x2019; đ?&#x2018;&#x2019; đ?&#x2018;&#x153;

â&#x2039;&#x2026;đ?&#x201D;&#x2026; đ?&#x2018;&#x2019; đ?&#x2018;&#x153;

đ?&#x2018;&#x153; đ?&#x2018;&#x153; đ?&#x2018;&#x2019;

đ?&#x2018;&#x2019; đ?&#x2018;&#x2019; đ?&#x2018;&#x2019;

đ?&#x2018;&#x153; đ?&#x2018;&#x2019; đ?&#x2018;&#x153;

Se puede verificar que se satisface la condiciĂłn b) de la definiciĂłn 2.2.8.1. Por ejemplo, si đ?&#x2018;&#x203A; y đ?&#x2018;&#x161; son ambos nĂşmeros impares, entonces â&#x201E;&#x17D;(đ?&#x2018;&#x203A; + đ?&#x2018;&#x161;) = đ?&#x2018;&#x2019; y â&#x201E;&#x17D;(đ?&#x2018;&#x203A;) +đ?&#x201D;&#x2026; â&#x201E;&#x17D;(đ?&#x2018;?) = đ?&#x2018;&#x153; +đ?&#x201D;&#x2026; đ?&#x2018;&#x153; = đ?&#x2018;&#x2019;.

El siguiente ejemplo pretende introducir el concepto de una subestructura.

Ejemplo 2.2.8.2. (Subestructura) Sea â&#x201E;&#x2122; el conjunto de los enteros positivos, sea <đ?&#x2018;&#x192; la relaciĂłn de orden usual en â&#x201E;&#x2122; y sea <â&#x201E;&#x2022; la relaciĂłn de orden usual en â&#x201E;&#x2022;. Para empezar recuĂŠrdese que para este curso, pues esto varĂ­a segĂşn los autores, se tiene que â&#x201E;&#x2022; = {0,1,2, â&#x20AC;Ś } y â&#x201E;&#x2122; = {1,2,3,4, â&#x20AC;Ś }. Entonces existe un isomorfismo â&#x201E;&#x17D; de la estructura (â&#x201E;&#x2122;; <đ?&#x2018;? ) sobre (â&#x201E;&#x2022;; <đ?&#x2018; ). ConsidĂŠrese que, por ejemplo, â&#x201E;&#x17D;(đ?&#x2018;&#x203A;) = đ?&#x2018;&#x203A; â&#x2C6;&#x2019; 1 y la funciĂłn identidad đ??źđ?&#x2018;&#x2018;: â&#x201E;&#x2122; â&#x2020;&#x2019; â&#x201E;&#x2022; es un isomorfismo de (â&#x201E;&#x2122;; <đ?&#x2018;? ) en (â&#x201E;&#x2022;; <đ?&#x2018; ). Debido a esto se dice que (â&#x201E;&#x2122;; <đ?&#x2018;? ) es una subestructura de (â&#x201E;&#x2022;; <đ?&#x2018; ).

De forma mĂĄs general se darĂĄ la definiciĂłn de subestructura y extensiĂłn como sigue.

DefiniciĂłn TĂłmense dos estructuras đ?&#x201D;&#x201E; y đ?&#x201D;&#x2026; para el lenguaje, tales que |đ?&#x201D;&#x201E;| â&#x160;&#x2020; |đ?&#x201D;&#x2026;|. A partir de la definiciĂłn de homomorfismo, debe ser claro que la funciĂłn identidad de |đ?&#x201D;&#x201E;| en |đ?&#x201D;&#x2026;| es un isomorfismo de đ?&#x201D;&#x201E; en đ?&#x201D;&#x2026; sii:

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 33

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados a. đ?&#x2018;&#x192;đ?&#x201D;&#x201E; es la restricciĂłn de đ?&#x2018;&#x192;đ?&#x201D;&#x2026; a |đ?&#x201D;&#x201E;|, para cada parĂĄmetro de predicado đ?&#x2018;&#x192;. b. đ?&#x2018;&#x201C; đ?&#x201D;&#x201E; es la restricciĂłn de đ?&#x2018;&#x201C; đ?&#x201D;&#x2026; a |đ?&#x201D;&#x2026;|, para cada sĂ­mbolo de funciĂłn y đ?&#x2018;? đ?&#x201D;&#x201E; = đ?&#x2018;? đ?&#x201D;&#x2026; , para cada sĂ­mbolo de constante đ?&#x2018;?.

Si se cumplen estas condiciones, se dice que đ?&#x201D;&#x201E; es una subestructura de đ?&#x201D;&#x2026; y que đ?&#x201D;&#x2026; es una extensiĂłn de đ?&#x201D;&#x201E;.

Por ejemplo, en un lenguaje con un sĂ­mbolo de funciĂłn de dos argumentos +, la estructura (â&#x201E;&#x161;; +đ?&#x2018;&#x201E; ) es una subestructura de (â&#x201E;&#x201A;; +đ??ś ), donde se consideran las respectivas sumas en cada campo y la suma de los racionales como restricciĂłn de la suma de complejos.

En este ejemplo, el conjunto â&#x201E;&#x161; es cerrado bajo +đ??ś : la suma de dos nĂşmeros racionales es un racional. De una forma mĂĄs general, siempre que đ?&#x201D;&#x201E; sea una subestructura de đ?&#x201D;&#x2026;, |đ?&#x201D;&#x201E;| debe ser cerrado bajo đ?&#x2018;&#x201C; đ?&#x201D;&#x2026; para cada sĂ­mbolo de funciĂłn đ?&#x2018;&#x201C;. Esta propiedad de cerradura se cumple incluso en los sĂ­mbolos de funciĂłn de 0 argumentos. AsĂ­, đ?&#x2018;? đ?&#x201D;&#x2026; debe pertenecer a |đ?&#x201D;&#x201E;| para cada sĂ­mbolo de constante đ?&#x2018;?.

Si se tiene una estructura đ?&#x201D;&#x2026; y đ??´ es un subconjunto no vacĂ­o de |đ?&#x201D;&#x2026;| cerrado bajo todas las funciones de đ?&#x201D;&#x2026;, como se mencionĂł antes. Entonces es posible hacer una subestructura de đ?&#x201D;&#x2026; con universo đ??´. De hecho, hay una sola manera de hacer esto. El universo es đ??´, a cada parĂĄmetro de predicado đ?&#x2018;&#x192; se le asigna la restricciĂłn de đ?&#x2018;&#x192;^đ?&#x201D;&#x2026; a đ??´, y se hace lo mismo para los sĂ­mbolos de funciĂłn. Si el lenguaje no tiene sĂ­mbolos de funciĂłn, ni siquiera sĂ­mbolos de constante, se puede hacer una subestructura a partir de cualquier subconjunto đ??´ no vacĂ­o de |đ?&#x201D;&#x2026;|. Ă&#x2030;stos son bĂĄsicamente conceptos algebraicos y el teorema siguiente los relaciona con los conceptos lĂłgicos de verdad y de satisfacciĂłn.

Teorema (el homomorfismo) Sea â&#x201E;&#x17D; un homomorfismo de đ?&#x201D;&#x201E; en đ?&#x201D;&#x2026; y sea đ?&#x2018; una funciĂłn del conjunto de las variables en |đ?&#x201D;&#x201E;|: a) Para cualquier tĂŠrmino đ?&#x2018;Ą se tiene â&#x201E;&#x17D;(đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą)) = Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; (đ?&#x2018;Ą), donde đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą) se calcula en đ?&#x201D;&#x201E; y Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; (đ?&#x2018;Ą) se calcula en đ?&#x201D;&#x2026;. b) Para cualquier fĂłrmula đ?&#x203A;ź libre de cuantificadores que no contenga sĂ­mbolo de igualdad, â&#x160;¨đ?&#x201D;&#x201E; đ?&#x203A;ź[đ?&#x2018; ] đ?&#x2018; đ?&#x2018;&#x2013;đ?&#x2018;&#x2013; â&#x160;¨đ?&#x201D;&#x2026; đ?&#x203A;ź[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ] c) Si â&#x201E;&#x17D; es uno a uno (es decir, es un isomorfismo de đ?&#x201D;&#x201E; en đ?&#x201D;&#x2026;), en la parte b) se puede eliminar la restricciĂłn â&#x20AC;&#x153;no contenga sĂ­mbolo de igualdadâ&#x20AC;?. d) Si â&#x201E;&#x17D; es un homomorfismo de đ?&#x201D;&#x201E; sobre đ?&#x201D;&#x2026;, en b) se puede eliminar la restricciĂłn â&#x20AC;&#x153;libre de cuantificadoresâ&#x20AC;?.

DemostraciĂłn La parte a) usa inducciĂłn sobre đ?&#x2018;Ą y es muy directo, asĂ­ que, como prĂĄctica del teorema de inducciĂłn, considĂŠrese completar los detalles. NĂłtese que â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; es una funciĂłn del conjunto de Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 34

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados las variables en |đ?&#x201D;&#x2026;| y su extensiĂłn al conjunto de todos los tĂŠrminos es Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; . Esta funciĂłn se evalĂşa. AquĂ­, en đ?&#x2018;Ą. c) Para una fĂłrmula atĂłmica tal como đ?&#x2018;&#x192;đ?&#x2018;Ą, se tiene: d) â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;&#x192;đ?&#x2018;Ą[đ?&#x2018; ] â&#x;ş đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą) â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x201E; â&#x;ş â&#x201E;&#x17D;(đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą)) â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x2026; , pues se trata de un homomorfismo â&#x;ş Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; (đ?&#x2018;Ą) â&#x2C6;&#x2C6; đ?&#x2018;&#x192;đ?&#x201D;&#x2026; , por a) â&#x;şâ&#x160;¨đ?&#x201D;&#x2026; đ?&#x2018;&#x192;đ?&#x2018;Ą[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ].

Se requiere, entonces, un argumento inductivo para manejar el caso de los sĂ­mbolos de conectivo. TambiĂŠn se puede hacer de manera directa. De nuevo, complĂŠtense esos detalles como ejercicio. c) En cualquier caso: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x2018;˘ = đ?&#x2018;Ą[đ?&#x2018; ] â&#x;ş đ?&#x2018; Ě&#x2026; (đ?&#x2018;˘) = đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą) â&#x;š â&#x201E;&#x17D;(đ?&#x2018; Ě&#x2026; (đ?&#x2018;˘)) = â&#x201E;&#x17D;(đ?&#x2018; Ě&#x2026; (đ?&#x2018;Ą)) â&#x;ş Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; (đ?&#x2018;˘) = Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026;Ě&#x2026; â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; (đ?&#x2018;Ą), por a) â&#x;şâ&#x160;¨đ?&#x201D;&#x2026; đ?&#x2018;˘ = đ?&#x2018;Ą[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ].

Si â&#x201E;&#x17D; es uno a uno, la flecha del segundo paso tambiĂŠn se puede invertir. Esto es claro por la definiciĂłn uno a uno. d) Se extiende el argumento inductivo de rutina de la parte b) para incluir el paso del cuantificador. Esto es, se debe mostrar que si đ?&#x153;&#x2018; tiene la propiedad de que para toda đ?&#x2018; : â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; ] â&#x;şâ&#x160;¨đ?&#x201D;&#x2026; đ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ], entonces â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018; tiene la misma propiedad. En todo caso (como una consecuencia de la hipĂłtesis de inducciĂłn para đ?&#x153;&#x2018;) se tiene la implicaciĂłn: â&#x160;¨đ?&#x201D;&#x2026; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ] â&#x;šâ&#x160;¨đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[đ?&#x2018; ].

De manera intuitiva, esto es muy plausible. Si đ?&#x153;&#x2018; es verdadero para todos los elementos en el conjunto mĂĄs grande |đ?&#x201D;&#x2026;|, es verdadero con mayor razĂłn para todos en el conjunto mĂĄs pequeĂąo đ?&#x2018;&#x;đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; â&#x201E;&#x17D;. Los detalles son, para un elemento đ?&#x2018;&#x17D; de |đ?&#x201D;&#x201E;|, â&#x160;¨đ?&#x201D;&#x2026; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ] â&#x;šâ&#x160;¨đ?&#x201D;&#x2026; đ?&#x153;&#x2018;[(â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; )(đ?&#x2018;Ľ|â&#x201E;&#x17D;(đ?&#x2018;&#x17D;))] â&#x;şâ&#x160;¨đ?&#x201D;&#x2026; đ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; (đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x17D;))], pues las funciones son las mismas â&#x;şâ&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x17D;)], por la hipĂłtesis de inducciĂłn.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 35

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Ahora para el regreso, supĂłngase que â&#x160;­đ?&#x201D;&#x2026; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; ], de modo que â&#x160;¨đ?&#x201D;&#x2026; ÂŹđ?&#x153;&#x2018;[(â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; )(đ?&#x2018;Ľ|đ?&#x2018;?)] para algĂşn elemento đ?&#x2018;? de |đ?&#x201D;&#x2026;|. En este punto es necesaria la implicaciĂłn siguiente: (*) Si para algĂşn đ?&#x2018;? de |đ?&#x201D;&#x2026;|, â&#x160;¨đ?&#x201D;&#x2026; ÂŹđ?&#x153;&#x2018;[(â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; )(đ?&#x2018;Ľ|đ?&#x2018;?)], entonces para algĂşn đ?&#x2018;&#x17D; de |đ?&#x201D;&#x201E;|, â&#x160;¨đ?&#x201D;&#x2026; ÂŹđ?&#x153;&#x2018;[(â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; )(đ?&#x2018;Ľ|â&#x201E;&#x17D;(đ?&#x2018;&#x17D;))].

Pues teniendo (*) se puede seguir: â&#x160;¨đ?&#x201D;&#x2026; ÂŹđ?&#x153;&#x2018;[(â&#x201E;&#x17D; â&#x2C6;&#x2DC; đ?&#x2018; )(đ?&#x2018;Ľ|â&#x201E;&#x17D;(đ?&#x2018;&#x17D;))] â&#x;şâ&#x160;¨đ?&#x201D;&#x2026; ÂŹđ?&#x153;&#x2018;[â&#x201E;&#x17D; â&#x2C6;&#x2DC; (đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x17D;))] â&#x;şâ&#x160;¨đ?&#x201D;&#x201E; ÂŹđ?&#x153;&#x2018;[đ?&#x2018; (đ?&#x2018;Ľ|đ?&#x2018;&#x17D;)], por hipĂłtesis de inducciĂłn â&#x;šâ&#x160;­đ?&#x201D;&#x201E; â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x153;&#x2018;[đ?&#x2018; ].

Si â&#x201E;&#x17D; es funciĂłn de |đ?&#x201D;&#x201E;| sobre |đ?&#x201D;&#x2026;|, entonces (*) es inmediato; tomando đ?&#x2018;&#x17D; tal que đ?&#x2018;? = â&#x201E;&#x17D;(đ?&#x2018;&#x17D;). Sin embargo, puede haber otras ocasiones afortunadas en que se pueda afirmar (*) incluso si â&#x201E;&#x17D; no tiene rango |đ?&#x201D;&#x2026;|.

DefiniciĂłn Se dice que dos estructuras đ?&#x201D;&#x201E; y đ?&#x201D;&#x2026; son elementalmente equivalentes (se escribe đ?&#x201D;&#x201E; â&#x2030;Ą đ?&#x201D;&#x2026;) sii para cualquier enunciado đ?&#x153;&#x17D;: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x17D; â&#x2021;&#x201D;â&#x160;¨đ?&#x201D;&#x2026; đ?&#x153;&#x17D;.

Respecto con esta definiciĂłn y el teorema de isomorfismo, se tiene el siguiente corolario.

Corolario Las estructuras isomorfas son elementalmente equivalentes, es decir: đ?&#x201D;&#x201E;â&#x2030;&#x2026;đ?&#x201D;&#x2026;â&#x;šđ?&#x201D;&#x201E;â&#x2030;Ąđ?&#x201D;&#x2026; De hecho, se tiene mĂĄs verdad que ĂŠsta: las estructuras isomorfas se parecen de cualquier manera â&#x20AC;&#x153;estructuralâ&#x20AC;?: no sĂłlo satisfacen los mismos enunciados de primer orden sino que tambiĂŠn satisfacen los mismos enunciados de segundo orden (y de Ăłrdenes superiores), es decir, son equivalentes en segundo orden y mĂĄs.

El regreso del corolario no es cierto, pues existen estructuras elementalmente equivalentes que no son isomorfas. Por ejemplo, la estructura (â&#x201E;?; <đ?&#x2018;&#x2026; ), formada por el conjunto de los nĂşmeros reales con su relaciĂłn de orden usual, es elementalmente equivalente a la estructura (â&#x201E;&#x161;; <đ?&#x2018;&#x201E; ), compuesta por el conjunto de los nĂşmeros racionales con su orden natural. â&#x201E;&#x161; es un conjunto numerable mientras que â&#x201E;? no lo es; asĂ­ que estas estructuras no pueden ser isomorfas.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 36

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Ejemplo 2.2.8.3.

De un ejemplo anterior se sabe que (â&#x201E;&#x2122;; <đ?&#x2018;&#x192; ) â&#x2030;&#x2026; (â&#x201E;&#x2022;; <đ?&#x2018; ). AsĂ­ que, en particular, (â&#x201E;&#x2122;; <đ?&#x2018;&#x192; ) â&#x2030;Ą (â&#x201E;&#x2022;; <đ?&#x2018; ) y estas estructuras no se pueden distinguir mediante enunciados de primer orden.

Incluso se tiene que la funciĂłn identidad es una inmersiĂłn isomorfa de (â&#x201E;&#x2122;; <đ?&#x2018;&#x192; ) en (â&#x201E;&#x2022;; <đ?&#x2018; ). De esto se tiene que para una funciĂłn đ?&#x2018; : đ?&#x2018;&#x2030; â&#x2020;&#x2019; â&#x201E;&#x2122; y para una đ?&#x153;&#x2018; libre de cuantificadores: â&#x160;¨(â&#x201E;&#x2122;;<đ?&#x2018;&#x192; ) đ?&#x153;&#x2018;[đ?&#x2018; ] â&#x;şâ&#x160;¨(â&#x201E;&#x2022;;<đ?&#x2018; ) đ?&#x153;&#x2018;[đ?&#x2018; ] Es fĂĄcil ver que esta equivalencia puede fallar si đ?&#x153;&#x2018; contiene cuantificadores. Por ejemplo: â&#x160;¨(â&#x201E;&#x2122;;<đ?&#x2018;&#x192; ) â&#x2C6;&#x20AC;đ?&#x2018;Ł2 (đ?&#x2018;Ł1 â&#x2030; đ?&#x2018;Ł2 â&#x2020;&#x2019; đ?&#x2018;Ł1 < đ?&#x2018;Ł2 )[[1]], pero â&#x160;­(â&#x201E;&#x2022;;<đ?&#x2018; ) â&#x2C6;&#x20AC;đ?&#x2018;Ł2 (đ?&#x2018;Ł1 â&#x2030; đ?&#x2018;Ł2 â&#x2020;&#x2019; đ?&#x2018;Ł1 < đ?&#x2018;Ł2 )[[1]]

DefiniciĂłn Un automorfismo de la estructura đ?&#x201D;&#x201E; es un isomorfismo de đ?&#x201D;&#x201E; sobre đ?&#x201D;&#x201E;. La funciĂłn de identidad en |đ?&#x201D;&#x201E;| es, trivialmente, un automorfismo de đ?&#x201D;&#x201E;. đ?&#x201D;&#x201E; puede o no tener automorfismos no triviales. Se dice que đ?&#x201D;&#x201E; es rĂ­gida si la funciĂłn de identidad es su Ăşnico automorfismo.

Como una consecuencia del teorema del homomorfismo, se puede mostrar que un automorfismo tiene que preservar las relaciones definibles, como lo plantea el siguiente corolario.

Corolario Sea â&#x201E;&#x17D; un automorfismo de la estructura đ?&#x201D;&#x201E;, y sea đ?&#x2018;&#x2026; una relaciĂłn đ?&#x2018;&#x203A;-aria sobre |đ?&#x201D;&#x201E;| definible en đ?&#x201D;&#x201E;.

Entonces, para cualesquiera đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; en |đ?&#x201D;&#x201E;|, â&#x152;Šđ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x2026; â&#x;ş â&#x152;Šâ&#x201E;&#x17D;(đ?&#x2018;&#x17D;1 ), â&#x20AC;Ś , â&#x201E;&#x17D;(đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; )â&#x152;Ş â&#x2C6;&#x2C6; đ?&#x2018;&#x2026;.

DemostraciĂłn Sea đ?&#x153;&#x2018; una fĂłrmula que define đ?&#x2018;&#x2026; en đ?&#x201D;&#x201E;. Es necesario saber que: â&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[[đ?&#x2018;&#x17D;1 , â&#x20AC;Ś , đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; ]] â&#x;şâ&#x160;¨đ?&#x201D;&#x201E; đ?&#x153;&#x2018;[[â&#x201E;&#x17D;(đ?&#x2018;&#x17D;1 ), â&#x20AC;Ś , â&#x201E;&#x17D;(đ?&#x2018;&#x17D;đ?&#x2018;&#x203A; )]] Esto es inmediato a partir del teorema del homomorfismo. ComplĂŠtense los detalles si esto aĂşn no le parece directo al (a la) alumno(a).

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 37

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Este corolario es Ăştil para mostrar que una relaciĂłn dada no es definible. Por ejemplo, considĂŠrese la estructura (â&#x201E;?; <) compuesta por el conjunto de los nĂşmeros reales con su orden usual. Un automorfismo de esta estructura es simplemente una funciĂłn â&#x201E;&#x17D; de â&#x201E;? sobre â&#x201E;? que es estrictamente creciente, es decir: đ?&#x2018;&#x17D; < đ?&#x2018;? â&#x;ş â&#x201E;&#x17D;(đ?&#x2018;&#x17D;) < â&#x201E;&#x17D;(đ?&#x2018;?)

Un automorfismo de ese estilo es la funciĂłn â&#x201E;&#x17D; para la cual â&#x201E;&#x17D;(đ?&#x2018;&#x17D;) = đ?&#x2018;&#x17D;3 . Como esta funciĂłn manda puntos de fuera de â&#x201E;&#x2022; a puntos dentro de â&#x201E;&#x2022;, el conjunto â&#x201E;&#x2022; no es definible en esta estructura.

Hasta aquĂ­ se presentan los elementos que serĂĄn necesarios para entender completamente los temas siguientes y para poder realizar las demostraciones que se requieren. Se aconseja tener comprendido lo que se ha dado en este subtema y revisar la secciĂłn Para saber mĂĄs, si se tienen lagunas respecto a las estructuras concretas de las otras ĂĄreas, para consultar un poco cĂłmo se comportan.

Un cĂĄlculo deductivo SupĂłngase que ÎŁ â&#x160;¨ đ?&#x153;? ÂżQuĂŠ mĂŠtodos de demostraciĂłn se requerirĂ­an para demostrar ese hecho? ÂżHay necesariamente una demostraciĂłn?

Tales preguntas conducen inmediatamente a examinar quĂŠ constituye una demostraciĂłn. Una demostraciĂłn es un argumento que se da a otra persona y que la convence completamente de que la aseveraciĂłn es correcta (en este caso, de que ÎŁ â&#x160;¨ đ?&#x153;?).

Una demostraciĂłn debe tener longitud finita, ya que no se le puede dar la totalidad de un objeto infinito a otra persona. Si el conjunto E de hipĂłtesis es infinito, no pueden usarse todas. El teorema de compacidad para la lĂłgica de primer orden asegura la existencia de un ÎŁ0 finito, ÎŁ0 â&#x160;&#x2020; ÎŁ, tal que ÎŁ0 â&#x160;¨ đ?&#x153;?.

Deducciones formales Sea un conjunto Î&#x203A; infinito de fĂłrmulas que se llaman axiomas lĂłgicos. Se tiene una regla de inferencia que permite obtener una nueva fĂłrmula a partir de algunas otras fĂłrmulas. Luego, para un conjunto Î&#x201C; de fĂłrmulas, los teoremas de Î&#x201C; son las formulas que puedan obtenerse de Î&#x201C; â&#x2C6;Ş Î&#x203A; usando la regla de inferencia (un nĂşmero finito de veces). Si đ?&#x153;&#x2018; es un teorema de Î&#x201C; (que se Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 38

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados escribe:Î&#x201C; â&#x160;¨ đ?&#x153;&#x2018;), una sucesiĂłn de fĂłrmulas que describa cĂłmo se obtuvo y a partir de Î&#x201C; â&#x2C6;Ş Î&#x203A; con la regla de inferencia se denomina una deducciĂłn de y a partir de Î&#x201C;.

La elecciĂłn de Î&#x203A; y de la regla o reglas de inferencia distan de ser Ăşnicas. En este subtema se presentarĂĄ un cĂĄlculo deductivo para la lĂłgica de primer orden, elegido de entre todos los cĂĄlculos posibles.

Ejemplo 2.3.1.1 Se puede tener Î&#x203A; = â&#x2C6;&#x2026; usando muchas reglas de inferencia. Se adopta el extremo opuesto; el conjunto Î&#x203A; serĂĄ infinito pero sĂłlo se tiene una regla de inferencia.

Reglas de inferencia La Ăşnica regla de inferencia que se usarĂĄ se conoce tradicionalmente como modus ponens. Se suele expresar asĂ­: a partir de las fĂłrmulas đ?&#x203A;ź y đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ se puede inferir đ?&#x203A;˝: đ?&#x203A;ź, đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝ . đ?&#x203A;˝ Los teoremas del conjunto Î&#x201C; son las fĂłrmulas que se pueden a partir de Î&#x201C; â&#x2C6;Ş Î&#x203A; usando modus ponens un nĂşmero finito de veces.

DefiniciĂłn Una deducciĂłn de đ?&#x153;&#x2018; apartir de Î&#x201C; es una sucesiĂłn finita de â&#x;¨đ?&#x203A;ź0 , â&#x20AC;Ś , đ?&#x203A;źđ?&#x2018;&#x203A; â&#x;Š de fĂłrmulas tal que đ?&#x203A;źđ?&#x2018;&#x203A; es đ?&#x153;&#x2018; y para cada đ?&#x2018;&#x2DC; â&#x2030;¤ đ?&#x2018;&#x203A;, o: ď&#x201A;ˇ ď&#x201A;ˇ

đ?&#x203A;ź estĂĄ en Î&#x201C; â&#x2C6;Ş Î&#x203A; o đ?&#x203A;źđ?&#x2018;&#x2DC; se obtiene mediante modus ponens a partir de dos fĂłrmulas de la sucesiĂłn. Esto es para algunos đ?&#x2018;&#x2013; y đ?&#x2018;&#x2014; menores que đ?&#x2018;&#x2DC;, đ?&#x203A;źđ?&#x2018;&#x2014; es đ?&#x203A;źđ?&#x2018;&#x2013; â&#x;ś đ?&#x203A;źđ?&#x2018;&#x2DC; .

Si tal redujo existe, đ?&#x153;&#x2018; es deducible a partir de Î&#x201C; o đ?&#x153;&#x2018; es un teorema de Î&#x201C; y se escribe Î&#x201C; â&#x160;¨ đ?&#x153;&#x2018;.

Hay otro punto de vista que resulta Ăştil aquĂ­: una deducciĂłn de đ?&#x153;&#x2018; a partir de Î&#x201C; puede verse como una sucesiĂłn de construcciĂłn que muestra cĂłmo se puede obtener đ?&#x153;&#x2018; a partir del conjunto Î&#x201C; â&#x2C6;Ş Î&#x203A; al aplicar modus ponens cero o mĂĄs veces. Como se puede observar, đ?&#x153;&#x2018; se "construye" a partir de Î&#x201C; â&#x2C6;Ş Î&#x203A; , pues, a diferencia de las operaciones de construcciĂłn de fĂłrmulas que generan fĂłrmulas mĂĄs largas a partir de otras mĂĄs cortas, el modus ponens puede generar fĂłrmulas mĂĄs cortas a partir de otras mĂĄs largas. El conjunto de teoremas de Î&#x201C; es exactamente el conjunto de fĂłrmulas que se puede obtener del conjunto "base" Î&#x201C; â&#x2C6;Ş Î&#x203A; mediante la aplicaciĂłn de modus ponens.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 39

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Esta situaciĂłn difiere en dos sentidos, uno irrelevante y otro importante. La diferencia irrelevante es que se obtiene el conjunto de teoremas al cerrar bajo la operaciĂłn â&#x20AC;&#x153;parcialmente definidaâ&#x20AC;? de modus ponens, cuyo dominio Ăşnicamente se compone de pares de fĂłrmulas de la forma â&#x;¨đ?&#x203A;ź, đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝â&#x;Š (en contraste con las operaciones â&#x20AC;&#x153;totalmente definidasâ&#x20AC;? de construcciĂłn de fĂłrmulas). La diferencia mĂĄs importante es que el conjunto de teoremas no se genera libremente a partir de Î&#x201C; â&#x2C6;Ş Î&#x203A; mediante modus ponens.

Principio de inducciĂłn. Supondremos que đ?&#x2018;&#x2020; es un conjunto e fĂłrmulas que incluye Î&#x201C; â&#x2C6;Ş Î&#x203A; y que estĂĄ cerrado bajo modus ponens. Entonces đ?&#x2018;&#x2020; contiene todos los teoremas de Î&#x201C;.

Ejemplo 2.3.2.1 Si las fĂłrmulas đ?&#x203A;˝, đ?&#x203A;ž y đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ź se encuentran todas en Î&#x201C; â&#x2C6;Ş Î&#x203A;, entonces Î&#x201C; â&#x160;˘ đ?&#x203A;ź, como lo puedes ver en la figura 1, que muestra cĂłmo se obtuvo đ?&#x203A;ź. Aunque resulta tentador (y de alguna manera mĂĄs elegante) definir una deducciĂłn como tal ĂĄrbol, serĂĄ mĂĄs simple considerar las deducciones como las sucesiones lineales que se obtienen al aplastar esos ĂĄrboles en lĂ­neas rectas. đ?&#x203A;ź

đ?&#x203A;˝

đ?&#x203A;˝â&#x2020;&#x2019;đ?&#x203A;ź

đ?&#x203A;ž

đ?&#x203A;žâ&#x2020;&#x2019;đ?&#x203A;˝â&#x2020;&#x2019;đ?&#x203A;ź

Axiomas lĂłgicos Ahora se da el conjunto Î&#x203A; de axiomas lĂłgicos. Ă&#x2030;stos estĂĄn dispuestos en seis grupos. Se dice que una fĂłrmula đ?&#x153;&#x2018; es una generalizaciĂłn de đ?&#x153;&#x201C; si y sĂłlo si para alguna đ?&#x2018;&#x203A; > 0 y variables đ?&#x2018;Ľ1 , . . . , đ?&#x2018;Ľđ?&#x2018;&#x203A; , đ?&#x153;&#x2018; = â&#x2C6;&#x20AC;đ?&#x2018;Ľ1 â&#x2039;Ż â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x2018;&#x203A; đ?&#x153;&#x201C;.

Se incluye el caso đ?&#x2018;&#x203A; = 0. Cualquier fĂłrmula es una generalizaciĂłn de sĂ­ misma. Entonces, los axiomas lĂłgicos son todos generalizaciones, de fĂłrmulas de las formas siguientes, donde đ?&#x2018;Ľ y đ?&#x2018;Ś son variables y đ?&#x203A;ź y đ?&#x203A;˝ son fĂłrmulas: 1. TautolĂłgicas.

2. â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ , donde đ?&#x2018;Ą se puede sustituir por đ?&#x2018;Ľ en đ?&#x203A;ź.

3. â&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) â&#x2020;&#x2019; (â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x203A;˝).

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 40

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 4. đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x203A;ź, donde đ?&#x2018;Ľ no ocurre libre en đ?&#x203A;ź.

Si el siguiente lenguaje incluye igualdad, se agrega: 5. đ?&#x2018;Ľ = đ?&#x2018;Ľ.

6. đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;ź đ?&#x2018;Ą ), donde đ?&#x203A;ź es atĂłmica y đ?&#x203A;ź đ?&#x2018;Ą se obtiene de đ?&#x203A;ź al reemplazar đ?&#x2018;Ľ por đ?&#x2018;Ś en cero o en mĂĄs lugares.

Los grupos 3-6 se explican por sĂ­ mismos, con algunos ejemplos, mĂĄs adelante. Los grupos 1 y 2 requieren explicaciĂłn.

SustituciĂłn En el Grupo 2 de axiomas encontramos: â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ .

AquĂ­, đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ es la expresiĂłn que se obtiene de la fĂłrmula đ?&#x203A;ź al reemplazar la variable đ?&#x2018;Ľ, donde ocurra libre en đ?&#x203A;ź, por el tĂŠrmino đ?&#x2018;Ą. Este concepto tambiĂŠn se puede definir por recursiĂłn: 1. Para đ?&#x203A;ź atĂłmica, đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ es la expresiĂłn que se obtiene de đ?&#x203A;ź al reemplazar la variable đ?&#x2018;Ľ por đ?&#x2018;Ą.

Hay que notar que tambiĂŠn la variable đ?&#x2018;Ľ es una fĂłrmula.

2. (ÂŹđ?&#x203A;ź)đ?&#x2018;Ąđ?&#x2018;Ľ = (ÂŹđ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ ).

3. (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝)đ?&#x2018;Ąđ?&#x2018;Ľ = (đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ â&#x2020;&#x2019; đ?&#x203A;˝đ?&#x2018;Ąđ?&#x2018;Ľ ). â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x203A;ź si đ?&#x2018;Ľ = đ?&#x2018;Ś 4. (â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x203A;ź)đ?&#x2018;Ąđ?&#x2018;Ľ = { â&#x2C6;&#x20AC; đ?&#x2018;Ś (đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ ) si đ?&#x2018;Ľ â&#x2030; đ?&#x2018;Ś.

Ejemplo 2.3.3.1 1. đ?&#x153;&#x2018;đ?&#x2018;Ąđ?&#x2018;Ľ = đ?&#x153;&#x2018;.

2. (đ?&#x2018;&#x201E;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x2018;&#x192;đ?&#x2018;Ľ)đ?&#x2018;Ąđ?&#x2018;Ľ = (đ?&#x2018;&#x201E;đ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x2018;&#x192;đ?&#x2018;Ľ).

3. Si đ?&#x203A;ź es ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;Ś, entonces â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;§đ?&#x2018;Ľ es â&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;§ = đ?&#x2018;Ś. đ?&#x2018;Ľ 4. Para đ?&#x203A;ź como en 3, â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ś es â&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;Ś = đ?&#x2018;Ś.

El Ăşltimo ejemplo ilustra el peligro, se debe tener cuidado. En su conjunto, â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ aparenta ser un axioma suficientemente plausible. Pero el ejemplo 4 tiene un enunciado de la forma â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ , que casi siempre resulta ser falso. El antecedente, â&#x2C6;&#x20AC; đ?&#x2018;Ľ ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;Ś, es verdadero en cualquier estructura cuyo universo contenga dos o mĂĄs elemento. Pero el consecuente ÂŹ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;Ś = đ?&#x2018;Ś es falso en cualquier estructura.

El problema cuando se sustituyĂł đ?&#x2018;Ś por đ?&#x2018;Ľ, fue que fue capturada inmediatamente por el cuantificador â&#x2C6;&#x20AC; đ?&#x2018;Ś. Debe imponerse una restricciĂłn al Grupo 2 de axiomas que prevenga este

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 41

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados tipo de captura del cuantificador. De manera informal se puede decir que un tĂŠrmino đ?&#x2018;Ą no es sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź si hay alguna variable đ?&#x2018;Ś en đ?&#x2018;Ą que estĂŠ capturada por el cuantificador â&#x2C6;&#x20AC; đ?&#x2018;Ś en đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ .

Sea đ?&#x2018;Ľ una variable y đ?&#x2018;Ą un tĂŠrmino. Definimos la frase â&#x20AC;&#x153;đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en đ?&#x203A;źâ&#x20AC;? de la manera siguiente: 1. Para đ?&#x203A;ź atĂłmica, đ?&#x2018;Ą siempre es sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź. No hay cuantificadores en đ?&#x203A;ź, asĂ­ que no puede ocurrir ninguna capturara.

2. đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en (ÂŹđ?&#x203A;ź) sii es sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź. đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) si y sĂłlo si es sustituible por đ?&#x2018;Ľ tanto en đ?&#x203A;ź como en đ?&#x203A;˝.

3. đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x203A;ź sii: a) đ?&#x2018;Ľ no ocurre libre en â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x203A;ź, o si b) đ?&#x2018;Ś no ocurre en đ?&#x2018;Ą y đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź.

Lo importante es asegurarse de que nada en đ?&#x2018;Ą sea capturado por el prefijo â&#x2C6;&#x20AC; đ?&#x2018;Ś y que nada haya fallado antes dentro de đ?&#x203A;ź.

Ejemplo 2.3.3.2 Si đ?&#x2018;Ľ siempre es sustituible por sĂ­ misma en cualquier fĂłrmula. Si đ?&#x2018;Ą no tiene variable que ocurra en đ?&#x203A;ź , entonces đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź.

Aun cuando đ?&#x2018;Ą no sea sustituible por đ?&#x2018;Ľ en đ?&#x203A;ź, se puede obtener đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ al reemplazar đ?&#x2018;Ľ por đ?&#x2018;Ą siempre que la primera ocurra libremente. Por lo tanto, al formar đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ , se realiza la sustituciĂłn indicada.

El Grupo 2 de axiomas se compone de todas las generalizaciones de las fĂłrmulas de la forma: â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;Ąđ?&#x2018;Ľ donde el tĂŠrmino đ?&#x2018;Ą es sustituible por la variable đ?&#x2018;Ľ en la fĂłrmula đ?&#x203A;ź.

Ejemplo 2.3.3.3 â&#x2C6;&#x20AC;đ?&#x2018;Ł3 (â&#x2C6;&#x20AC;đ?&#x2018;Ł1 (đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??´đ?&#x2018;Ł2 ) â&#x2020;&#x2019; (đ??´đ?&#x2018;Ł2 â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??´đ?&#x2018;Ł_2)) Se encuentra en el Grupo 2 de axiomas. AquĂ­, đ?&#x2018;Ľ es đ?&#x2018;Ł1 , đ?&#x203A;ź es đ??´đ?&#x2018;Ł1 â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??´đ?&#x2018;Ł2 y đ?&#x2018;Ą es đ?&#x2018;Ł2 . Por otra parte â&#x2C6;&#x20AC;đ?&#x2018;Ł1 â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??ľđ?&#x2018;Ł1 đ?&#x2018;Ł2 â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??ľđ?&#x2018;Ł2 đ?&#x2018;Ł2 , no se encuentra en el Grupo 2 de axiomas, ya que đ?&#x2018;Ł2 no es sustituible por đ?&#x2018;Ł1 en â&#x2C6;&#x20AC;đ?&#x2018;Ł2 đ??ľđ?&#x2018;Ł1 đ?&#x2018;Ł2 .

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 42

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados TautologĂ­as El Grupo 1 de axiomas comprende las generalizaciones de las fĂłrmulas llamadas tautologĂ­as. Ă&#x2030;stas son las fĂłrmulas que se pueden obtener a partir de tautologĂ­as de la lĂłgica de enunciados (que tienen Ăşnicamente los sĂ­mbolos de conectivo ÂŹ y â&#x2020;&#x2019;) al reemplazar cada sĂ­mbolo de enunciado por una fĂłrmula del lenguaje de primer orden.

Ejemplo 2.3.3.4 â&#x2C6;&#x20AC;[(â&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;&#x192; đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś)] pertenece al Grupo 1 de axiomas. Es una generalizaciĂłn de la fĂłrmula de corchetes, la cual se obtienen de una tautologĂ­a contraposiciĂłn: (A â&#x2020;&#x2019; ÂŹB) â&#x2020;&#x2019; (B â&#x2020;&#x2019; ÂŹA) al reemplazar đ??´ por â&#x2C6;&#x20AC; đ?&#x2018;ŚÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś y đ??ľ por đ?&#x2018;&#x192;đ?&#x2018;Ľ.

Existen maneras mĂĄs directas de examinar el Grupo 1 de axiomas. Se dividen las fĂłrmulas en dos grupos: 1. Las fĂłrmulas primas son las fĂłrmulas atĂłmicas y aquellas de la forma â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x203A;ź.

2. Las fĂłrmulas no primas son todas las demĂĄs: aquellas de la forma ÂŹđ?&#x203A;ź o đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝.

Por lo tanto, cualquier fĂłrmula se construye a partir de fĂłrmulas primas mediante las operaciones â&#x201E;°ÂŹ y â&#x201E;°â&#x2020;&#x2019; . Se regresa a la lĂłgica de enunciados, pero se tiene como sĂ­mbolos de enunciado las fĂłrmulas primas de nuestro lenguaje de primer orden. Entonces, cualquier tautologĂ­a de la lĂłgica de enunciados (que usa Ăşnicamente los sĂ­mbolos de conectivo ÂŹ y â&#x2020;&#x2019;) se encuentra en el Grupo 1 de axiomas. En este caso no hay necesidad de reemplazar los sĂ­mbolos de enunciado por fĂłrmulas de primer orden; ya son fĂłrmulas de primer orden. A la inversa, cualquier fĂłrmula del Grupo 1 de axiomas es una generalizaciĂłn de una tautologĂ­a de la lĂłgica de enunciados.

Ejemplo 2.3.3.5 (â&#x2C6;&#x20AC;)đ?&#x2018;ŚÂŹ đ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś ÂŹ đ?&#x2018;&#x192; đ?&#x2018;Ś) Ă&#x2030;ste tiene dos sĂ­mbolos de enunciado (fĂłrmulas primas), â&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;&#x192;đ?&#x2018;ŚP y y đ?&#x2018;&#x192;đ?&#x2018;Ľ. AsĂ­ que su tabla de verdad tiene cuatro lĂ­neas: (â&#x2C6;&#x20AC;)đ?&#x2018;ŚÂŹ đ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś ÂŹ đ?&#x2018;&#x192; đ?&#x2018;Ś) đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;˝ đ?&#x2018;˝ đ?&#x2018;­ đ?&#x2018;­ En la tabla se puede ver que se trata de una tautologĂ­a.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 43

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados No se ha supuesto que nuestro lenguaje de primer orden tenga sĂłlo una cantidad numerable de fĂłrmulas, asĂ­ que se utiliza potencialmente una extensiĂłn del CapĂ­tulo I para el caso de un conjunto no numerable de sĂ­mbolos de enunciado.

Si se toman todas las tautologĂ­as como axiomas lĂłgicos es un exceso. Se pueden arreglar, con mucho menos, a costa de extender las deducciones. Por una parte, las tautologĂ­as forman un buen conjunto decidible. Debido a que las fĂłrmulas de primer orden son tambiĂŠn fĂłrmulas de la lĂłgica de enunciados, se pueden aplicar en ellas conceptos de ambos CapĂ­tulos I y II. Si Î&#x201C; implica tautolĂłgicamente đ?&#x153;&#x2018;, se sigue que tambiĂŠn implica lĂłgicamente đ?&#x153;&#x2018;. Sin embargo, la inversa es falsa.

Ejemplo 2.3.3.6 â&#x2C6;&#x20AC;đ?&#x2018;Ľđ?&#x2018;&#x192;đ?&#x2018;Ľ implica lĂłgicamente đ?&#x2018;&#x192;đ?&#x2018;?, pero â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľ y đ?&#x2018;&#x192;đ?&#x2018;? no implica tautolĂłgicamente đ?&#x2018;&#x192;đ?&#x2018;?, ya que â&#x2C6;&#x20AC;đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Ľ y đ?&#x2018;&#x192;đ?&#x2018;? son dos sĂ­mbolos de enunciado diferentes.

Teorema Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018; sii Î&#x201C; â&#x2C6;Ş Î&#x203A; implica tautolĂłgicamente đ?&#x153;&#x2018;.

DemostraciĂłn (â&#x;š ): depende del hecho de que {đ?&#x203A;ź, đ?&#x203A;ź â&#x2020;&#x2019; β } implica tautolĂłgicamente đ?&#x203A;˝. SupĂłngase que se tiene una asignaciĂłn de verdad đ?&#x2018;Ł que satisface todos los elementos de Î&#x201C; â&#x2C6;Ş Î&#x203A;. Por inducciĂłn, se puede observar que đ?&#x2018;Ł satisface cualquier teorema de Î&#x201C;. El paso inductivo utiliza exactamente el hecho mencionado anteriormente. (â&#x;¸): SupĂłngase que Î&#x201C; â&#x2C6;Ş Î&#x203A; implica tautolĂłgicamente đ?&#x153;&#x2018;. Entonces, de acuerdo con el teorema de compacidad para la lĂłgica de enunciados, hay un subconjunto finito {đ?&#x203A;ž1 , â&#x20AC;Ś , đ?&#x203A;žđ?&#x2018;&#x161; , đ?&#x153;&#x2020;1 , â&#x20AC;Ś , đ?&#x153;&#x2020;đ?&#x2018;&#x161; } que implica tautolĂłgicamente đ?&#x153;&#x2018;. En consecuencia: đ?&#x203A;ž1 â&#x2020;&#x2019; â&#x2039;Ż â&#x2020;&#x2019; đ?&#x203A;žđ?&#x2018;&#x161; â&#x2020;&#x2019; đ?&#x153;&#x2020;1 â&#x2020;&#x2019; â&#x2039;Ż â&#x2020;&#x2019; đ?&#x153;&#x2020;đ?&#x2018;&#x161; â&#x2020;&#x2019; đ?&#x153;&#x2018;, es una tautologĂ­a, y por lo tanto se encuentra en Î&#x203A;. Al aplicar modus pones đ?&#x2018;&#x161; + đ?&#x2018;&#x203A; veces a esta tautologĂ­a y a {đ?&#x203A;ž1 , â&#x20AC;Ś , đ?&#x203A;žđ?&#x2018;&#x161; , đ?&#x153;&#x2020;1 , â&#x20AC;Ś , đ?&#x153;&#x2020;đ?&#x2018;&#x161; } se obtiene đ?&#x153;&#x2018;.

Deducciones y metateoremas Hasta este punto, ya se completĂł la descripciĂłn del conjunto Î&#x203A; de axiomas lĂłgicos. El conjunto de teoremas de un conjunto es el conjunto generado a partir de Î&#x201C; por modus ponens.

Ejemplo 2.3.4.1 â&#x160;˘ đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 44

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados AquĂ­ Î&#x201C; = â&#x2C6;&#x2026;; se escribe " â&#x160;˘ đ?&#x203A;ź" en lugar de "â&#x2C6;&#x2026; â&#x160;˘ đ?&#x203A;ź". La fĂłrmula đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś se puede obtener aplicando modus ponens (una vez) en dos elementos de Î&#x203A;, tal como se muestra en el siguiente ĂĄrbol:

đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś

â&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ (en el grupo 2 de axiomas) (â&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś (en el grupo 1 de axiomas) )đ?&#x2018;&#x192;đ?&#x2018;Ľ Al comprimir este ĂĄrbol en una sucesiĂłn lineal de tres elementos, se obtiene una deducciĂłn de đ?&#x2018;?đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192;đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś (a partir de â&#x2C6;&#x2026;).

Como segundo ejemplo, se pueden obtener generalizaciones de la fĂłrmula del primer ejemplo: â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś).

Lo anterior se puede observar en el siguiente ĂĄrbol, que muestra la construcciĂłn de â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś) a partir de Î&#x203A;, por modus ponens: â&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś)

â&#x2C6;&#x20AC;đ?&#x2018;Ľ(â&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) (en el grupo 2 de axiomas) â&#x2C6;&#x20AC;đ?&#x2018;Ľ(â&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľ(đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś) â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś (en el grupo 3 de axiomas) â&#x2C6;&#x20AC;đ?&#x2018;Ľ ((â&#x2C6;&#x20AC;đ?&#x2018;ŚÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś â&#x2020;&#x2019; ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ľ) â&#x2020;&#x2019; (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś)) (en el grupo 1 de axiomas) )đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;Ś ÂŹđ?&#x2018;&#x192;đ?&#x2018;Ś Este ĂĄrbol puede ser convertido en una deducciĂłn. )đ?&#x2018;&#x192;đ?&#x2018;Ľ ObsĂŠrvese que se ha usado la palabra teorema en dos niveles diferentes. đ?&#x203A;ź es un teorema de Î&#x201C; si Î&#x201C; â&#x160;˘ đ?&#x203A;ź. TambiĂŠn se hacen muchas afirmaciones en lenguaje comĂşn a cada una de las cuales Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 45

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados se les llama teorema, tal como la que aparece abajo. Parece poco probable que surja alguna confusiĂłn. Las afirmaciones en lenguaje comĂşn podrĂ­an llamarse metateoremas para subrayar el hecho de que son resultados sobre deducciones y teoremas.

Teorema de generalizaciĂłn El teorema de generalizaciĂłn refleja una idea intuitiva: si se puede probar _đ?&#x2018;Ľ_ sin suponer nada en especial sobre x, se tiene derecho a decir que "debido a que x era arbitrario, tienes que â&#x2C6;&#x20AC;đ?&#x2018;Ľ_đ?&#x2018;Ľ_".

Teorema de generalizaciĂłn Si Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018; y đ?&#x2018;Ľ no ocurre libre en ninguna fĂłrmula de Î&#x201C;, entonces Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;.

DemostraciĂłn ConsidĂŠrese el conjunto Î&#x201C; y una variable x no libre en Î&#x201C;. Por inducciĂłn, se mostrarĂĄ que para cualquier teorema đ?&#x153;&#x2018; de Î&#x201C;, se tiene Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;. Para esto (por el principio de inducciĂłn) es suficiente mostrar que el conjunto: {đ?&#x153;&#x2018;| Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;} incluye Î&#x201C; â&#x2C6;Ş Î&#x203A; y estĂĄ cerrado bajo modus ponens. NĂłtese que đ?&#x2018;Ľ puede ocurrir libre en đ?&#x153;&#x2018;.

Caso 1: đ?&#x153;&#x2018; es un axioma lĂłgico. Entonces â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018; tambiĂŠn es un axioma lĂłgico. Y asĂ­ Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;.

Caso 2: đ?&#x153;&#x2018; â&#x2C6;&#x2C6; Î&#x201C;. Entonces đ?&#x2018;Ľ no ocurre libre en đ?&#x153;&#x2018;. De aquĂ­ que: đ?&#x153;&#x2018; â&#x2020;&#x2019;â&#x2C6;&#x20AC;đ?&#x153;&#x2018; estĂŠ en el Grupo 4 de axiomas. En consecuencia, Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;; como se evidencia mediante el ĂĄrbol:

Caso 3: đ?&#x153;&#x2018; se obtiene por modus ponens de đ?&#x153;&#x201C; y đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018;. Entonces, por hipĂłtesis inductiva, se tiene Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C; y Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC;(đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018; ). Ă&#x2030;sta es la situaciĂłn en la que justamente resulta Ăştil el Grupo 3 de axiomas. Que Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018; es el ĂĄrbol:

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 46

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados

AquĂ­ por inducciĂłn, Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018; para cada teorema đ?&#x153;&#x2018; de Î&#x201C;.

Ejemplo Por otra parte, en general đ?&#x2018;Ľ ocurrirĂĄ libre en la fĂłrmula đ?&#x153;&#x2018;. Por ejemplo â&#x160;˘ (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľ).

El segundo ejemplo â&#x160;˘ â&#x2C6;&#x20AC;đ?&#x2018;Ľ (đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľ). se obtuvo del primer ejemplo, como en el caso 3 de la demostraciĂłn anterior. Por ejemplo â&#x2C6;&#x20AC;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x203A;ź â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;ź.

2.3.5.1 Lema [Regla de T] Si Î&#x201C; â&#x160;˘ đ?&#x203A;ź1 , â&#x20AC;Ś Î&#x201C; â&#x160;˘ đ?&#x203A;źđ?&#x2018;&#x203A; y {đ?&#x203A;ź1 , â&#x20AC;Ś , đ?&#x203A;źđ?&#x2018;&#x203A; } implica tautolĂłgicamente đ?&#x203A;˝, entonces Î&#x201C; â&#x160;˘ đ?&#x203A;˝ DemostraciĂłn. đ?&#x203A;ź1 â&#x2020;&#x2019; â&#x2039;Ż â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;&#x203A; â&#x2020;&#x2019; đ?&#x203A;˝ es una tautologĂ­a y por lo tanto, un axioma lĂłgico. Aplique modus ponens đ?&#x2018;&#x203A; veces.

Teorema de la deducciĂłn Teorema (de la deducciĂłn) Si Î&#x201C;; đ?&#x203A;ž â&#x160;˘ đ?&#x153;&#x2018;, entonces Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; Î&#x201C;).

El inverso tambiĂŠn se cumple. De hecho, el inverso es, esencialmente, otra regla de modus ponens.

DemostraciĂłn Primera demostraciĂłn: Î&#x201C;; đ?&#x203A;ž â&#x160;˘ đ?&#x153;&#x2018;. Si y sĂłlo si (Î&#x201C;; Îł) â&#x2C6;Ş Î&#x203A; implica tautolĂłgicamente đ?&#x153;&#x2018;.

Si sĂłlo si Î&#x201C; â&#x2C6;Ş Î&#x203A; implica tautolĂłgicamente (\đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;).

Si y sĂłlo si Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018; ).

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 47

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Segunda demostraciĂłn: Esta demostraciĂłn no usa el teorema de compacidad de la lĂłgica de enunciados, como la primera. Muestra de una manera directa cĂłmo transformar una deducciĂłn de đ?&#x203A;ź a partir de Î&#x201C;; đ?&#x203A;ž obtener una deducciĂłn (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;) a partir de Î&#x201C;. Por inducciĂłn se mostrarĂĄ que para todo teorema đ?&#x153;&#x2018; de Î&#x201C;, đ?&#x203A;ž la fĂłrmula (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;) es un teorema de Î&#x201C;.

Caso 1: đ?&#x153;&#x2018; = đ?&#x203A;ž. Entonces â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;).

Caso 2:đ?&#x153;&#x2018; es un axioma lĂłgico o un elemento de Î&#x201C;. Entonces Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018;, y como đ?&#x153;&#x2018; implica tautolĂłgicamente (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;), por regla de T se tiene Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;).

Caso 3: đ?&#x153;&#x2018; se obtiene de đ?&#x153;&#x201C; y de đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018; por modus ponens. Por hipĂłtesis inductiva, Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x201C; ) y Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; (đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018;)). El conjunto {đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x201C;, đ?&#x203A;ž â&#x2020;&#x2019; (đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018;)} implica tautolĂłgicamente đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;. Por lo tanto, por regla de T, Î&#x201C; â&#x160;˘ (đ?&#x203A;ž â&#x2020;&#x2019; đ?&#x153;&#x2018;).

AsĂ­, la conclusiĂłn se sigue por inducciĂłn para cualquier đ?&#x153;&#x2018; deducible de Î&#x201C;; đ?&#x203A;ž.

Corolario (ContraposiciĂłn) Î&#x201C;; đ?&#x153;&#x2018; â&#x160;˘ ÂŹđ?&#x153;&#x201C; si y solo si Î&#x201C;; đ?&#x153;&#x201C; â&#x160;˘ ÂŹđ?&#x153;&#x2018;.

DemostraciĂłn Î&#x201C;; đ?&#x153;&#x2018; â&#x160;˘ ÂŹđ?&#x153;&#x201C; â&#x;š Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018; â&#x2020;&#x2019; ÂŹđ?&#x153;&#x201C; por el teorema de la deducciĂłn. â&#x;š Î&#x201C; â&#x160;˘ đ?&#x153;&#x201C; â&#x2020;&#x2019; ÂŹđ?&#x153;&#x2018; por regla de T. â&#x;š Î&#x201C;; â&#x160;˘ đ?&#x153;&#x201C; â&#x2020;&#x2019; ÂŹđ?&#x153;&#x2018; por modus ponens.

En el segundo paso se utiliza el hecho de que đ?&#x153;&#x2018; â&#x2020;&#x2019; ÂŹđ?&#x153;&#x2018; implica tautolĂłgicamente đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x2018;. Por simetrĂ­a, el inverso tambiĂŠn se cumple.

Corolario (reducciĂłn al absurdo) Si Î&#x201C;; đ?&#x153;&#x2018; es inconsistente, entonces Î&#x201C; â&#x160;˘ ÂŹđ?&#x153;&#x2018;.

DemostraciĂłn Por el teorema de la deducciĂłn se tiene que Î&#x201C; â&#x160;˘ (đ?&#x153;&#x2018; â&#x2020;&#x2019; đ?&#x203A;˝) y Î&#x201C; â&#x160;˘ (đ?&#x153;&#x2018; â&#x2020;&#x2019; ÂŹđ?&#x203A;˝). Y {đ?&#x153;&#x2018; â&#x2020;&#x2019; đ?&#x203A;˝, đ?&#x153;&#x2018; â&#x2020;&#x2019; ÂŹđ?&#x203A;˝} implica tautolĂłgicamente ÂŹđ?&#x153;&#x2018;.

Ejemplo 2.3.6.1 â&#x160;˘â&#x2C6;&#x192;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Śâ&#x2C6;&#x192;đ?&#x2018;Ľđ?&#x153;&#x2018; Trabajar hacia atrĂĄs de cierta ventaja estratĂŠgica.

Es suficiente mostrar que â&#x2C6;&#x192; đ?&#x2018;Ľ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x153;&#x2018; por el teorema de la deducciĂłn.

Es suficiente mostrar que â&#x2C6;&#x192; đ?&#x2018;Ľ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x153;&#x2018; , por el teorema de generalizaciĂłn.

Es suficiente mostrar ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ ÂŹâ&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹđ?&#x153;&#x2018;, ya que es lo mismo que lo anterior.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 48

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Es suficiente mostrar que â&#x2C6;&#x20AC;đ?&#x2018;ĽÂŹđ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;ĽÂŹ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;, por contraposiciĂłn (y por la regla T).

Es suficiente mostrar que â&#x2C6;&#x20AC; đ?&#x2018;Ľ ÂŹ đ?&#x153;&#x2018; â&#x160;˘ ÂŹ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;, por generalizaciĂłn.

Es suficiente mostrar que {â&#x2C6;&#x20AC;đ?&#x2018;Ľ ÂŹ đ?&#x153;&#x2018;, â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;} es inconsistente, por reducciĂłn al absurdo.

Y esto es fĂĄcil: 1.-â&#x2C6;&#x20AC;đ?&#x2018;Ľ ÂŹ đ?&#x153;&#x2018; â&#x160;˘ ÂŹ đ?&#x153;&#x2018;, por el grupo dos de axiomas y modus ponens.

2.-â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ đ?&#x153;&#x2018; por la misma razĂłn.

Las lĂ­neas uno y dos muestran que {â&#x2C6;&#x20AC; đ?&#x2018;Ľ ÂŹ đ?&#x153;&#x2018;, â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;} es inconsistente.

Estrategia Como lo indica el ejemplo anterior, los teoremas de generalizaciĂłn y deducciĂłn son muy Ăştiles para mostrar que ciertas fĂłrmulas son deducibles. Sin embargo, aĂşn estĂĄ el asunto de la estrategia: para un Î&#x201C; y un đ?&#x153;&#x2018; dados, ÂżdĂłnde se deberĂ­a comenzar para poder demostrar que Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018;? En principio se podrĂ­a empezar enumerando todas las sucesiones finitas de fĂłrmulas hasta encontrar una deducciĂłn de đ?&#x153;&#x2018; a partir de Î&#x201C;. Aunque ĂŠste serĂ­a un procedimiento efectivo (para lenguajes razonables) para localizar una deducciĂłn si acaso existe alguna, es ineficiente si se tiene mĂĄs que un interĂŠs teĂłrico.

Una tĂŠcnica consiste en abandonar la formalidad y dar en lenguaje comĂşn una prueba de que la verdad de Î&#x201C; implica la verdad de đ?&#x153;&#x2018;. DespuĂŠs se puede formalizar la prueba en lenguaje comĂşn y realizar con ella una deducciĂłn formal.

TambiĂŠn hay mĂŠtodos Ăştiles que se basan Ăşnicamente en la forma sintĂĄctica de đ?&#x153;&#x2018;. SupĂłngase entonces que đ?&#x153;&#x2018; es deducible a partir de Î&#x201C;, pero que se busca la prueba de este hecho. Hay varios casos: 1) SupĂłngase que đ?&#x153;&#x2018; es (đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x192;). Entonces es suficiente mostrar que Î&#x201C;; đ?&#x153;&#x201C; â&#x160;˘ đ?&#x153;&#x192;.

2) SupĂłngase que đ?&#x153;&#x201C; es â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C;. Si đ?&#x2018;Ľ no ocurre libre en Î&#x201C;, es suficiente mostrar que Î&#x201C; â&#x160;˘ đ?&#x153;&#x201C;.

3) Finalmente, supĂłngase que đ?&#x153;&#x2018; es la negaciĂłn de la otra fĂłrmula. a) Si đ?&#x153;&#x2018; es (đ?&#x153;&#x201C; â&#x2020;&#x2019; đ?&#x153;&#x192;), entonces basta mostrar que Î&#x201C; â&#x160;˘ đ?&#x153;&#x201C; y Î&#x201C; â&#x160;˘ ÂŹ đ?&#x153;&#x192;(por la regla T). Esto siempre es posible. b) Si đ?&#x153;&#x2018; es ÂŹÂŹđ?&#x153;&#x201C;, es suficiente mostrar que Î&#x201C; â&#x160;˘ đ?&#x153;&#x201C;. c) El caso restante es donde đ?&#x153;&#x2018; es ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2122;. Bastar mostrar que Î&#x201C; â&#x160;˘ ÂŹđ?&#x153;&#x201C;đ?&#x2018;Ąđ?&#x2018;Ľ , donde đ?&#x2018;Ą es algĂşn tĂŠrmino sustituible por đ?&#x2018;Ľ en đ?&#x153;&#x201C;. Desafortunadamente, esto no siempre es posible. Hay casos en los que: Î&#x201C; â&#x160;˘ ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C;, y aun asĂ­, para cada tĂŠrmino đ?&#x2018;Ą: Î&#x201C; â&#x160;Ź ÂŹđ?&#x153;&#x201C;đ?&#x2018;Ąđ?&#x2018;Ľ .

Ejemplo 2.3.6.2

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 49

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Si Î&#x201C; = đ?&#x153;&#x192;, đ?&#x153;&#x201C; = ÂŹ(đ?&#x2018;&#x192;đ?&#x2018;Ľ â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;&#x192; đ?&#x2018;Ś). La contraposiciĂłn es muy Ăştil aquĂ­; Î&#x201C;; đ?&#x203A;ź â&#x160;˘ ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C; si y sĂłlo si Î&#x201C;; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C; â&#x160;˘ ÂŹ đ?&#x203A;ź.

Una variante de esto es: Î&#x201C;; â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x203A;ź â&#x160;˘ ÂŹâ&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x201C; si Î&#x201C;; â&#x2C6;&#x20AC; đ?&#x153;&#x201C; â&#x160;˘ ÂŹ đ?&#x203A;ź. Si todo lo demĂĄs falla, se puede intentar con reducciĂłn al absurdo.

1.-Si đ?&#x2018;Ľ no ocurre libre en đ?&#x203A;ź, entonces: â&#x160;˘ (đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ β) â&#x;ˇ â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) Para probar esto, es suficiente mostrar (por la regla T) que: â&#x160;˘ (đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;˝) â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) y â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) â&#x2020;&#x2019; (đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;˝).

Para el primero, es suficiente mostrar que: {(đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;˝), đ?&#x203A;ź} â&#x160;˘ đ?&#x203A;˝.

De esto se observa que â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;˝ es un axioma.

Para obtener el inverso: â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝) â&#x2020;&#x2019; (đ?&#x203A;ź â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x203A;˝) Es suficiente mostrar que: {â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x203A;ź â&#x2020;&#x2019; đ?&#x203A;˝), đ?&#x203A;ź} â&#x160;˘ đ?&#x203A;˝.

En el ejemplo se puede reemplazar đ?&#x203A;ź por ÂŹđ?&#x203A;ź, đ?&#x203A;˝ por ÂŹđ?&#x203A;˝ y usar la tautologĂ­a de contraposiciĂłn, para obtener para obtener el hecho relacionado: Si đ?&#x2018;Ľ no ocurre libre en đ?&#x203A;ź, entonces: â&#x160;˘ (â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ź) â&#x;ˇ â&#x2C6;&#x20AC;đ?&#x2018;Ľ (đ?&#x203A;˝ â&#x2020;&#x2019; đ?&#x203A;ź).

2.- â&#x160;˘ đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§ . â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ DemostraciĂłn 1) â&#x160;˘ đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§ â&#x2020;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ por Ax 6.

2) â&#x160;˘ â&#x2C6;&#x20AC;đ?&#x2018;§ đ?&#x2018;&#x192; đ?&#x2018;Ľđ?&#x2018;§ â&#x2020;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§ por Ax2.

3) â&#x160;˘ đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;§đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§ â&#x2020;&#x2019; đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ por 1, 2; T. Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 50

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados 4) {đ?&#x2018;Ľ = đ?&#x2018;Ś, â&#x2C6;&#x20AC;đ?&#x2018;§đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś} â&#x160;˘ đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ 3; modus ponens.

5) {đ?&#x2018;Ľ = đ?&#x2018;Ś, â&#x2C6;&#x20AC; đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§} â&#x160;˘ â&#x2C6;&#x20AC;đ?&#x2018;§đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ por 4; teorema de generalizaciĂłn.

6) â&#x160;˘ đ?&#x2018;Ľ = đ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§ â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;§ pr 5; teorema de deducciĂłn.

Teorema de la generalizaciĂłn sobre constantes Teorema (generalizaciĂłn sobre constantes) SupoĂłngase que Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018; y que đ?&#x2018;? es un sĂ­mbolo de constante que no ocurre en Î&#x201C;. Entonces hay una variable đ?&#x2018;Ś (que no ocurre en đ?&#x153;&#x2018;) tal que Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; y đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? . AdemĂĄs, hay una deducciĂłn de â&#x2C6;&#x20AC; y đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? ; a partir de Î&#x201C; en la que đ?&#x2018;? no ocurre.

DemostraciĂłn Sea â&#x;¨đ?&#x203A;ź0 , â&#x20AC;Ś , đ?&#x203A;źđ?&#x2018;&#x203A; â&#x;Š una deducciĂłn de đ?&#x153;&#x2018; a partir de Î&#x201C; (por lo tanto đ?&#x203A;źđ?&#x2018;&#x203A; = đ?&#x153;&#x2018;). Sea đ?&#x2018;Ś la primera variable que no ocurre en ninguna de las đ?&#x203A;źđ?&#x2018;&#x2013; . Se Afirma que: â&#x;¨ (đ?&#x203A;ź0 )đ?&#x2018;?đ?&#x2018;Ś , â&#x20AC;Ś,

(đ?&#x203A;źđ?&#x2018;&#x203A; )đ?&#x2018;?đ?&#x2018;Ś â&#x;Š

(1)

es una deducciĂłn de đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? a partir de Î&#x201C;. AsĂ­ que se debe verificar que cada (đ?&#x203A;źđ?&#x2018;&#x2DC; )đ?&#x2018;?đ?&#x2018;Ś estĂŠ en Î&#x201C; â&#x2C6;Ş Î&#x203A; o que se obtenga a partir de fĂłrmulas anteriores por modus ponens.

Caso 1: đ?&#x203A;źđ?&#x2018;&#x2DC; â&#x2C6;&#x2C6; Î&#x201C;. Entonces đ?&#x2018;? no ocurre en đ?&#x203A;źđ?&#x2018;&#x2DC; . AsĂ­ (đ?&#x203A;źđ?&#x2018;&#x2DC; )đ?&#x2018;?đ?&#x2018;&#x2DC; = đ?&#x203A;źđ?&#x2018;&#x2DC; , que estĂĄ en Î&#x201C;.

Caso 2: đ?&#x203A;źđ?&#x2018;&#x2DC; es un axioma lĂłgico. Entonces (đ?&#x203A;źđ?&#x2018;&#x2DC; )đ?&#x2018;?đ?&#x2018;Ś ; tambiĂŠn es un axioma lĂłgico.

Caso 3: đ?&#x203A;źđ?&#x2018;&#x2DC; se obtiene por modus ponens de đ?&#x203A;źđ?&#x2018;&#x2013; y đ?&#x203A;źđ?&#x2018;&#x2014; . đ?&#x2018;?

(que es (đ?&#x203A;źđ?&#x2018;&#x2013; â&#x2020;&#x2019; đ?&#x203A;źđ?&#x2018;&#x2DC; )) para đ?&#x2018;&#x2013;, đ?&#x2018;&#x2014; menores que đ?&#x2018;&#x2DC;. Entonces (đ?&#x203A;źđ?&#x2018;&#x2014; ) = ((đ?&#x203A;źđ?&#x2018;&#x2013; )đ?&#x2018;?đ?&#x2018;Ś â&#x2020;&#x2019; (đ?&#x203A;źđ?&#x2018;&#x2DC; )đ?&#x2018;?đ?&#x2018;Ś ). AsĂ­ que (đ?&#x203A;źđ?&#x2018;&#x2DC; )đ?&#x2018;?đ?&#x2018;Ś se đ?&#x2018;Ś

obtiene de

(đ?&#x203A;źđ?&#x2018;&#x2013; )đ?&#x2018;?đ?&#x2018;Ś

đ?&#x2018;?

y (đ?&#x203A;źđ?&#x2018;&#x2014; )đ?&#x2018;Ś por modus ponens.

Esto completa la prueba de que (1) anterior es una deducciĂłn de đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? . Sea ÎŚ el subconjunto finito de Î&#x201C; que se usa en (1). AsĂ­, (1) es una deducciĂłn de đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? a partir de ÎŚ, y đ?&#x2018;Ś no ocurre en ÎŚ.

Entonces, por el teorema de generalizaciĂłn, ÎŚ â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? . AdemĂĄs, hay una deducciĂłn de â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? , a partir de (ÎŚ) en la que đ?&#x2018;? no aparece (pues la prueba del teorema de generalizaciĂłn no agregĂł ningĂşn nuevo sĂ­mbolo a la deducciĂłn). Ă&#x2030;sta es tambiĂŠn una deducciĂłn deâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;? a partir de Î&#x201C;.

Corolario SupĂłngase que Î&#x201C; â&#x160;˘ đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ , donde el sĂ­mbolo de constante đ?&#x2018;? no ocurre en Î&#x201C; ni en đ?&#x153;&#x2018;. Entonces Î&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;, y hay una deducciĂłn de â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018; a partir de Î&#x201C;, en la que đ?&#x2018;? no ocurre.

DemostraciĂłn Por el teorema anterior, se tiene una deducciĂłn (sin đ?&#x2018;?) a partir de Î&#x201C; deâ&#x2C6;&#x20AC; đ?&#x2018;Ś ((đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ )đ?&#x2018;?đ?&#x2018;Ś ), donde đ?&#x2018;Ś no ocurre en đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ . Sin embargo, ya que đ?&#x2018;? no ocurre en đ?&#x153;&#x2018;:

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 51

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados (đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ )đ?&#x2018;?đ?&#x2018;Ś = đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;Ľ .

Falta demostrar que â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;Ľ â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x153;&#x2018;. Se puede hacer fĂĄcilmente si se sabes que: (â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;Ľ ) â&#x2020;&#x2019; đ?&#x153;&#x2018; đ?&#x2018;Ś

es un axioma. Esto es, đ?&#x2018;Ľ debe ser sustituible por đ?&#x2018;Ś en đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;Ľ , y (đ?&#x153;&#x2018;đ?&#x2018;Śđ?&#x2018;Ľ )đ?&#x2018;Ľ tiene que ser đ?&#x153;&#x2018;.

Corolario (regla IE) PiĂŠnsese que el sĂ­mbolo de constante đ?&#x2018;? no ocurre en đ?&#x153;&#x2018; ni en đ?&#x153;&#x2018; ni en Î&#x201C;, y que: Î&#x201C;; đ?&#x153;&#x2018;đ?&#x2018;Ąđ?&#x2018;Ľ â&#x160;˘ đ?&#x153;&#x201C; .

Entonces Î&#x201C;; â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x153;&#x2018; â&#x160;˘ đ?&#x153;&#x201C;, y hay una deducciĂłn de đ?&#x153;&#x201C; partir de Î&#x201C;; â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x153;&#x2018; en la que đ?&#x2018;? no ocurre.

DemostraciĂłn Por contraposiciĂłn se tiene que: Î&#x201C;; ÂŹđ?&#x153;&#x201C; â&#x160;˘ ÂŹđ?&#x153;&#x201C;đ?&#x2018;?đ?&#x2018;Ľ .

Por medio del corolario anterior se obtiene: Î&#x201C;; ÂŹđ?&#x153;&#x201C; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľ ÂŹ đ?&#x153;&#x2018;.

Al aplicar la contraposiciĂłn nuevamente, se tiene el resultado deseado.

Ejemplo 2.3.7.1 â&#x160;˘ â&#x2C6;&#x192;đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Śđ?&#x153;&#x2018; â&#x2020;&#x2019;â&#x2C6;&#x20AC;đ?&#x2018;Ś â&#x2C6;&#x192;đ?&#x2018;Ľđ?&#x153;&#x2018; Por el teorema de la deducciĂłn, es suficiente mostrar que: â&#x2C6;&#x192; đ?&#x2018;Ľâ&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś â&#x2C6;&#x192; đ?&#x2018;Ľ đ?&#x153;&#x2018;.

Por la regla IE, es suficiente mostrar que: â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś â&#x2C6;&#x192; đ?&#x2018;Ľđ?&#x153;&#x2018;, donde đ?&#x2018;? es una nueva constante para el lenguaje. Por el teorema de generalizaciĂłn, basta mostrar que: Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 52

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ â&#x160;˘ â&#x2C6;&#x192;đ?&#x2018;Ľđ?&#x153;&#x2018;.

Ya que â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ â&#x160;˘ â&#x2C6;&#x192;đ?&#x2018;Ľđ?&#x153;&#x2018;, es suficiente mostrar que: đ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ â&#x160;˘ â&#x2C6;&#x192;đ?&#x2018;Ľ đ?&#x153;&#x2018;.

Por la contrario posiciĂłn, esto es equivalente a: â&#x2C6;&#x20AC; đ?&#x2018;Ľ ÂŹđ?&#x153;&#x2018; â&#x160;˘ ÂŹđ?&#x153;&#x2018;đ?&#x2018;?đ?&#x2018;Ľ .

Esto es consecuencia del Grupo 2 de axiomas y modus ponens.

Teorema de la existencia de variantes alfabĂŠticas Con frecuencia, cuando se analiza una fĂłrmula como: â&#x2C6;&#x20AC; đ?&#x2018;Ľ (đ?&#x2018;Ľ â&#x2030; 0 â&#x2020;&#x2019; â&#x2C6;&#x192; đ?&#x2018;Ś đ?&#x2018;Ľ = đ?&#x2018;&#x2020; đ?&#x2018;Ś ) no se estĂĄ interesado particularmente en elegir las variables đ?&#x2018;Ľ đ?&#x2018;Ś. Se quiere que â&#x;¨đ?&#x2018;Ľ, đ?&#x2018;Śâ&#x;Š sea un par de variables distintas; pero no suele haber diferencia si el par es â&#x;¨đ?&#x2018;Ł4 , đ?&#x2018;Ł9 â&#x;Š o â&#x;¨đ?&#x2018;Ł8 , đ?&#x2018;Ł1 â&#x;Š.

Cuando llega el momento de sustituir un tĂŠrmino đ?&#x2018;Ą en una fĂłrmula, entonces al elegir variables cuantificadas se puede determinar que đ?&#x2018;Ą sea sustituible o no. En esta subsecciĂłn se discutirĂĄ quĂŠ hacer cuando la sustituibilidad falla. Como se verĂĄs, la dificultad siempre se puede superar jugando adecuadamente con las variables cuantificadas.

Ejemplo 2.3.8.1 PiĂŠnsese que se quiere mostrar que: â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ľâ&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;Ś.

La dificultad es que đ?&#x2018;Ś no es sustituible por đ?&#x2018;Ľ en â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś, asĂ­ que el enunciado no estĂĄ en el Grupo 2 de axiomas. Este inconveniente es resultado de una elecciĂłn desafortunada de variables.

Por otro lado, se puede mostrar que: â&#x160;˘ â&#x2C6;&#x20AC;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC; đ?&#x2018;Ľ đ?&#x2018;&#x192;đ?&#x2018;Śđ?&#x2018;Ś no supone tales dificultades. AsĂ­ que se puede resolver el problema original si se sabe que: â&#x160;˘ â&#x2C6;&#x20AC;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;Ś đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;Ś â&#x2020;&#x2019; â&#x2C6;&#x20AC;đ?&#x2018;Ľ â&#x2C6;&#x20AC;đ?&#x2018;§ đ?&#x2018;&#x192;đ?&#x2018;Ľđ?&#x2018;§

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 53

LĂłgica matemĂĄtica Unidad 2. LĂłgica de primer orden o de predicados Teorema 241 (existencia de variantes alfabĂŠticas) Sean đ?&#x153;&#x2018; una fĂłrmula, đ?&#x2018;Ą un tĂŠrmino y đ?&#x2018;Ľ una variable. Entonces se puede encontrar una fĂłrmula đ?&#x153;&#x2018;â&#x20AC;˛ (que difiere de đ?&#x153;&#x2018; sĂłlo en la elecciĂłn de las variables cuantificadas) tal que: a) đ?&#x153;&#x2018; â&#x160;˘ đ?&#x153;&#x2018;â&#x20AC;˛ y đ?&#x153;&#x2018;â&#x20AC;˛ â&#x160;˘ đ?&#x153;&#x2018;. b) đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en đ?&#x153;&#x2018;â&#x20AC;˛.

DemostraciĂłn Considerar que đ?&#x2018;Ą y đ?&#x2018;Ľ son fijos y đ?&#x153;&#x2018;â&#x20AC;˛ por recursiĂłn sobre đ?&#x153;&#x2018;. Los primeros casos son sencillos: para đ?&#x153;&#x2018; atĂłmica, tomar đ?&#x153;&#x2018;â&#x20AC;˛ = đ?&#x153;&#x2018;, y despuĂŠs (ÂŹđ?&#x153;&#x2018;)â&#x20AC;˛ = (ÂŹđ?&#x153;&#x2018;â&#x20AC;˛ ), (đ?&#x153;&#x2018; â&#x2020;&#x2019; đ?&#x153;&#x201C;)â&#x20AC;˛ = (đ?&#x153;&#x2018;â&#x20AC;˛ â&#x2020;&#x2019; đ?&#x153;&#x201C;â&#x20AC;˛). Considerar, ahora, la elecciĂłn de (â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;)â&#x20AC;˛. Si đ?&#x2018;Ś no ocurre en đ?&#x2018;Ą o si đ?&#x2018;Ś = đ?&#x2018;Ľ, entonces se puede tomar (â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;)â&#x20AC;˛ = â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;â&#x20AC;˛.

Sin embargo, para el caso general debe cambiar la variable.

Elegir una variable đ?&#x2018;§ que no ocurra en đ?&#x153;&#x2018;â&#x20AC;˛ ni en đ?&#x2018;Ą ni en đ?&#x2018;Ľ. DespuĂŠs se definen (â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;)â&#x20AC;˛ = â&#x2C6;&#x20AC; đ?&#x2018;§(đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§đ?&#x2018;Ľ . Para verificar que (b) se cumple, se hace notar que đ?&#x2018;§ no ocurre en đ?&#x2018;Ą y que đ?&#x2018;Ą es sustituible por đ?&#x2018;Ľ en đ?&#x153;&#x2018;â&#x20AC;˛ (por la hipĂłtesis inductiva). Por lo tanto (ya que đ?&#x2018;Ľ â&#x2030; đ?&#x2018;§), đ?&#x2018;Ą tambiĂŠn es đ?&#x2018;Ś sustituible por đ?&#x2018;Ľ en (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ . Para verificar que (a) se cumple, se calcula: đ?&#x153;&#x2018; â&#x160;˘ đ?&#x153;&#x2018;â&#x20AC;˛ por hipotesis de inductiva; â&#x2C6;´ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;â&#x20AC;˛ đ?&#x2018;Ś â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;â&#x20AC;˛ â&#x160;˘ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ ya que đ?&#x2018;§ no ocurre en đ?&#x153;&#x2018;â&#x20AC;˛ ; â&#x2C6;´ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018;â&#x20AC;˛ â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;§ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§đ?&#x2018;Ľ por genralizaciĂłn đ?&#x2018;Ś â&#x2C6;´ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;§ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ .

En otra direcciĂłn: đ?&#x2018;Ś

đ?&#x2018;Ś đ?&#x2018;§

â&#x2C6;&#x20AC; đ?&#x2018;§ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ â&#x160;˘ ((đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ )đ?&#x2018;Ś que es đ?&#x153;&#x2018;â&#x20AC;˛ ; đ?&#x153;&#x2018;â&#x20AC;˛ â&#x160;˘ đ?&#x153;&#x2018; por hipĂłtesis inductiva đ?&#x2018;Ś â&#x2C6;´ â&#x2C6;&#x20AC;đ?&#x2018;§ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ â&#x160;˘ đ?&#x153;&#x2018; đ?&#x2018;Ś â&#x2C6;´ â&#x2C6;&#x20AC;đ?&#x2018;§ (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ â&#x160;˘ â&#x2C6;&#x20AC; đ?&#x2018;Ś đ?&#x153;&#x2018; por generalizaciĂłn đ?&#x2018;Ś

El Ăşltimo paso usa el hecho de que đ?&#x2018;Ś no ocurre libre en (đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ a menos que đ?&#x2018;Ś = đ?&#x2018;§; por lo tanto đ?&#x2018;Ś no ocurre libre en â&#x2C6;&#x20AC;đ?&#x2018;§(đ?&#x153;&#x2018;â&#x20AC;˛ )đ?&#x2018;§ en ningĂşn caso.

Las fĂłrmulas đ?&#x153;&#x2018;â&#x20AC;˛ construidas como en la demostraciĂłn de este teorema se llaman variantes alfabĂŠticas de đ?&#x153;&#x2018;.

Ciencias Exactas, IngenierĂ­as y TecnologĂ­as| Licenciatura en MatemĂĄticas 54

Lógica matemática Unidad 2. Lógica de primer orden o de predicados Cierre de la unidad En enunciados del lenguaje de la lógica de primer orden está escrita la mayoria de las proposiciones de la matemática que se conocen, es muy importante que se le dé la atención requerida a estos temas; pues, si bien parece por completo formal y abstracto a primera vista, las propociones van tomando una razón para con la estructura que tienen. Lo expuesto en esta unidad tiene apliación directa en los enunciados que se presenten en el quehacer matemático, pues se podrá tener mejor comprensión de ellos y serán fundamentales para las demostraciones de un par de teoremas muy importantes que se presentarán en la siguiente unidad.

Para saber más En el Tema 2 se usaron varios conceptos consernientes a otras areas de la matemática que también se van a estudiar durante la carrera. Se pueden consultar sus definiciones en textos como: Rincón, H. (2001). Álgebra lineal, México: Las prensas de ciencias, UNAM. Lang, S. (1976) Álgebra lineal. México: Fondo Educativo Interamericano.

Friedberg, S. H., A. J. Insel, L. E. Spence (1982). Álgebra lineal, México: Publicaciones Cultural.

Berge, C. (1985). Graphs. Amsterdam: North Holland.

En relación con los metalenguajes y lenguajes objeto, se puede consultar el siguiente enlace: http://biblioteca.itam.mx/estudios/estudio/letras18/textos3/sec_1.html

Referencias bibliográficas Amor, J. A., R. Rojas (1991). “Sistemas Formales” en Vínculos matemáticos. México, no. 149, Facultad de Ciencias UNAM. Amor, J. A. (1993). “Lógica proposicional dentro de la lógica de primer orden” en Vínculos matemáticos. México, no. 113, Facultad de Ciencias UNAM. Enderton, H., (2001). “A mathematical introduction to logic” en Academic Press.

Ciencias Exactas, Ingenierías y Tecnologías| Licenciatura en Matemáticas 55