P. 1
lewin-teoria conjuntos

lewin-teoria conjuntos

|Views: 2.504|Likes:
Publicado porapi-3744003

More info:

Published by: api-3744003 on Dec 02, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/18/2014

pdf

text

original

Un lenguaje formalizado est´a constituido por un conjunto de s´ımbolos
b´asicos y por reglas que nos permiten formar expresiones m´as compli-
cadas a partir de esos s´ımbolos originales.
Los s´ımbolos de L ser´an:

1. Variables: x,y,z,X,Y,Z,x1,x2,... , en general, las ´ultimas le-
tras del alfabeto latino, min´usculas o may´usculas, con o sin
sub´ındices. Su significado es el habitual en matem´aticas y su
rango son los conjuntos.
2. Constantes: a,b,c,A,B,C,... , en general, las primeras letras
del alfabeto latino. Sirven para referirnos a conjuntos espec´ıficos.

7

3. S´ımbolo de pertenencia:
4. S´ımbolo de igualdad: =
5. Conectivos l´ogicos: ¬,,,,, es decir, los s´ımbolos ha-
bituales para la negaci´on, disyunci´on, conjunci´on, implicaci´on y
equivalencia.
6. Cuantificadores:,, con su significado habitual.
7. Par´entesis: ( , ). Usados como signos de puntuaci´on.

Cualquier cadena finita formada por estos s´ımbolos es una expresi´on
del lenguaje, pero no toda expresi´on es aceptable o significativa. S´olo
aceptaremos aquellas a las que llamaremos f´ormulas de L.
Una f´ormula de L es una expresi´on de L construida como sigue:

1. X Y, X = Y son f´ormulas de L para cualquiera dos variables
o constantes X e Y no necesariamente distintas.
La primera se lee X pertenece a Y o bien Y contiene a
X y la segunda X es igual a Y . Su significado intuitivo es el
obvio. Estas se llamar´an f´ormulas at´omicas.
2. Si ϕ y ψ son f´ormulas de L , entonces tambi´en lo son (ϕ
ψ
), (ϕψ), (ϕ ψ), (ϕ ψ).
Estas f´ormulas corresponden respectivamente a la disyunci´on,
conjunci´on, implicaci´on y equivalencia de ϕ y ψ.
3. Si ϕ es una f´ormula de L, entonces ¬ϕ tambi´en es una f´ormula

de L.

La f´ormula ¬ϕ corresponde a la negaci´on de ϕ . Tambi´en
usaremos los s´ımbolos auxiliares X / Y y X = Y para escribir
¬(X Y) y ¬(X = Y), respectivamente.
4. Si ϕ es una f´ormula de L y x es una variable,xϕ, son
f´ormulas de L.

Estas se leen cualquier conjunto x verifica ϕ y existe (por
lo menos) un conjunto x que verifica ϕ , respectivamente. Su
significado es tambi´en evidente.

Solamente aquellas expresiones obtenidas por la aplicaci´on de (un
n´umero finito de) estas reglas es una f´ormula de L.

Si ϕ es una f´ormula de L y x una variable que aparece en ϕ ,
decimos que x aparece ligada en ϕ si su aparici´on se produce bajo
la influencia de un cuantificadorx ox. En caso contrario decimos
que x aparece libre en ϕ . Por ejemplo, enx x y, la variable x
aparece ligada pero y aparece libre y enx(x y ∨∀z x z), las
variables x y z aparecen ligadas e y aparece libre.
Una f´ormula que no contiene variables libres se llama una oraci´on.
Una oraci´on de L es siempre verdadera o falsa (¡pero puede ser que no

8

seamos capaces de determinar cu´al de las dos se cumple!). Una oraci´on
hace una afirmaci´on acerca de los conjuntos a los que se refiere, una
f´ormula que contiene variables libres no hace ninguna afirmaci´on, pero
si asignamos interpretaciones a sus variables libres, entonces s´ı estare-
mos afirmando algo. A menudo escribiremos ϕ(x1,x2,... ,xn) para
dejar en claro que las variables libres de ϕ est´an entre x1,x2,... ,xn.
Como hemos dicho, s´olo aceptaremos f´ormulas de L para hablar de
objetos y hacer afirmaciones enZF. Sin embargo, la expresi´on en L de
conceptos bastante sencillos puede resultar increiblemente complicada.
As´ı, aceptaremos abreviaciones que faciliten la lectura. Por ejemplo el
concepto de subconjunto se denota x y se puede expresar en terminos
de los s´ımbolos b´asicos de L mediante:

x y ssiz(z x z y).

Entonces, como ya sabemos quex y puede escribirse en el lenguajeL,
permitiremos el s´ımbolo en nuestras f´ormulas. Lo mismo suceder´a
con otros s´ımbolos. M´as a´un, en general usaremos expresiones del
castellano y no su formalizaci´on en L para trabajar con el concepto
intuitivo y no con la a menudo ilegible f´ormula de L. Lo importante
es que dicha traducci´on sea posible para que, llegado el caso, podamos
hacer una demostraci´on rigurosa de nuestras afirmaciones.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->