Scribd
Cargar
26 vistas4 páginas

1.02 Variables Libres Acotadas

Este documento introduce las nociones de variables libres y acotadas en lógica matemática. Explica que una variable acotada puede tomar cualquier valor dentro de su dominio pero ninguno en particular, mientras que una variable libre toma un solo valor fijo. Proporciona ejemplos de variables libres y acotadas en expresiones matemáticas como integrales, sumatorias y polinomios. Luego define formalmente las nociones de subfórmula, variable libre y acotada de forma recursiva. Finalmente introduce la noción de enunciado como una fórmula

Cargado por

Anibal Aguirre
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
26 vistas4 páginas

1.02 Variables Libres Acotadas

Este documento introduce las nociones de variables libres y acotadas en lógica matemática. Explica que una variable acotada puede tomar cualquier valor dentro de su dominio pero ninguno en particular, mientras que una variable libre toma un solo valor fijo. Proporciona ejemplos de variables libres y acotadas en expresiones matemáticas como integrales, sumatorias y polinomios. Luego define formalmente las nociones de subfórmula, variable libre y acotada de forma recursiva. Finalmente introduce la noción de enunciado como una fórmula

Cargado por

Anibal Aguirre
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 4

Lógica Matemática II Lenguajes Formales e Interpretación.

Variables Libres y Acotadas

La forma cotidiana -por supuesto, en matemáticas- de usar las variables, envuelve


dos maneras distintas. Veamos tres ejemplos:

I. Las integrales, en el plano real  2  :


x 1
1.  dt
1 t
y 1 x 1
a.  dt b.  ds
1 t 1 s

Dicen lo mismo: 1. y b.
Dicen cosas distintas: 1. y a.

II. Las sumatorias, en los enteros ℤ :


n
2. ∑ a i
i1
n m
c. ∑ a j d. ∑ a i
j1 i1

Dicen lo mismo: 2. y c.
Dicen cosas distintas: 2. y d.

III. Los polinomios con coeficientes en los reales  :


3. ax 2  bx  c
e. ay 2  by  c f. a ′ x 2  b ′ x  c ′
Dicen lo mismo: 3. y e.
Dicen cosas distintas: 3. y f.

Es claro que hay dos maneras distintas de usar una variable. Unas se llaman
Acotadas y las otras Libres. Tratemos de entresacar algunas de sus propiedades:

Variable Acotada: Variable de “adeveras” o "muda"; una verdadera variable, puede


tomar todos los valores -del dominio de variabilidad- pero ninguno en particular.
Variable Libre: Variable de “hule”, “aparente”, puede ser cualquier cosa -elemento
del dominio de variabilidad-, pero uno solo, inamovible durante el discurso.

Variable Acotada: Si se cambia la variable, por otra, no cambia el significado de la


expresión.
Variable Libre: Si se cambia la variable, por otra, cambia el significado de la

Rafael Rojas Barbachano 14


Lógica Matemática II Lenguajes Formales e Interpretación.

expresión.

Son variables acotadas: En 1., t. En 2., i. En 3. x.

Son variables libres: En 1., x. En 2., n. En 3., a, b y c.

Una definición formal de variable libre – o acotada – tiene que ser recursiva,
debido a la forma en que se definió –fórmula. Hay varias maneras de hacerlo y aquí
daremos dos. Para dar la primera necesitamos la noción de subfórmula de una
fórmula.

Sea  un tipo de semejanza y ℒ  un lenguaje de tipo .

Definición Recursiva de Subfórmulas de una fórmula.


I Si  es una fórmula atómica, entonces la única Subfórmula de  es ella misma,
.
II 1. Sean ,  ∈ FRM  .
) Las Subfórmulas de  son las subfórmulas de  y ella misma, .
) Las Subfórmulas de  son las subfórmulas de , las subfórmulas
de  y ella misma, . Aquí hay que reemplazar el metasímbolo  por todos y
cada uno de los conectivos: & , ∨ ,  y  .
2. Sean  ∈ FRM  y n ∈ ℕ.
a) Las Subfórmulas de ∀v n  son las subfórmulas de  y ella misma.
b) Las Subfórmulas de ∃v n  son las subfórmulas de  y ella misma.

Con esta noción, podemos pasar a dar la definición formal de variable libre y
acotada. Puesto que una variable puede ocurrir varias veces en una fórmula, la
definición se hará para cada una de las ocurrencias.

Definición. Sean x ∈ VAR y  ∈ FRM  . Una ocurrencia de x en , es Acotada en 


syss hay una subfórmula de  de la forma ∀x o de la forma ∃x y dicha
ocurrencia es la variable del cuantificador o x ocurre en .

Dicho de manera coloquial, una ocurrencia de la variable x en , es acotada en 


syss dicha ocurrencia de x, es la variable de un cuantificador que aparece en , o
está en el alcance de algún cuantificador “∀x” o “∃x” perteneciente a una subfórmula
de . Pasemos a dar la otra parte.

Definición. Sean  ∈ FRM  y x ∈ VAR  . Una ocurrencia de x en  es Libre, en 


syss dicha ocurrencia no es acotada en . Y decimos que x Ocurre Libre en  syss x
tiene una ocurrencia libre en .

Rafael Rojas Barbachano 15


Lógica Matemática II Lenguajes Formales e Interpretación.

Ejemplos: Sea   P  f  c, donde P ∈ P 2 , f ∈ F 1 y c ∈ C. Y


Consideremos las siguientes –fórmulas:
1. Px, y
2. ∃zPx, y
3. ∀xPx, y
4. ∃xPx, y  fx ≈ c

5. ∀x Px, y  ∀yP fx, y

En 1. y en 2. las únicas ocurencias de x y de y son líbres y la única ocurrencia de


z, es acotada en 2. En 3., todas las ocurencias de x son acotadas y la única de y es
libre. En 4., las primeras dos ocurencias de x son acotadas y la última es libre; la
única de y es libre. En 5., todas las ocurencias de x (a saber 3) son acotadas, la
primera de y es libre y las otras dos, son acotadas.

Pasemos ahora a dar una segunda manera de definir formalmente estas nociones;
también tiene que ser recursiva y la daremos para el conjunto de ocurrencias libres de
una fórmula. Esta tiene un defecto y haremos los comentarios pertinentes
posteriormente a la definición.

Definición Recursiva del Conjunto de Variables Libres de una Fórmula.


I Si  es –atómica, entonces la variable x Ocurre Libre en  syss x ocurre en .
II 1). Sean ,  ∈ FRM  .
) La variable x Ocurre Libre en  syss x ocurre libre en .
) La variable x Ocurre Libre en  syss x ocurre libre en  u ocurre
libre en .
Aquí hay que reemplazar el metasímbolo  por todos y cada uno de los
conectivos: & , ∨ ,  y  .
2). Sean  ∈ FRM  y x, y ∈ VAR.
a) La variable x Ocurre Libre en ∀y syss x ocurre libre en  y x ≠ y.
b) La variable x Ocurre Libre en ∃y syss x ocurre libre en  y x ≠ y.

Obsérvese que lo que definimos es que "una variable ocurra libre en una fórmula",
pero no hemos dicho en que lugar ocurra. Por lo que una variable puede ocurrir libre y
sin embargo tener ocurrencias que no son libres en la misma fórmula; p. e. vea 5. Así,
no es posible, de aquí, dar una definición de variable acotada.

Sin embargo, si podemos dar una definición de uno de los conceptos más
importantes que necesitaremos.

Rafael Rojas Barbachano 16


Lógica Matemática II Lenguajes Formales e Interpretación.

Definición. Sea  ∈ FRM  . Diremos que  es un Enunciado de Tipo , en breve,


–Enunciado syss todas las ocurrencias de sus variables no son libres.

Notación: L n   ∈   / en  aparecen a lo más n variables libres

Así, L 0   ∈ FRM  /  es un –enunciado .

Rafael Rojas Barbachano 17

También podría gustarte