Escolar Documentos
Profissional Documentos
Cultura Documentos
Es circular: si se nos preguntara qu es una coleccin, responderamos que es un conjunto o una clase
de objetos, los trminos para los que queramos encontrar una definicin en primera instancia.
Los trminos usados en la caracterizacin son tan oscuros como el trmino que se pretende definir. Esto
sugiere que la nocin de conjunto ocupa un lugar ms o menos bsico en nuestro lenguaje y nuestro
pensamiento.
Deja afuera conjuntos que tienen un slo elemento (porque probablemente no veamos cmo un
conjunto de un solo elemento puede formar una coleccin) y, con ms razn, el conjunto vaco.
2) Qu entiende por extensin de una cualidad o propiedad?
Al hablar de colecciones de elementos, atribuimos a stos una cualidad comn. A veces nos referimos
a un conjunto mediante sta, en lugar de explicitar uno por uno todos los elementos del conjunto.
Cuando los conjuntos a los que queremos hacer referencia son infinitos, es decir, cuando tienen
infinitos elementos, e incluso cuando tienen un nmero muy grande aunque finito de elementos, la
nica manera posible de referirnos a ellos parece ser mencionando esa cualidad que los elementos
tienen en comn.
En ocasiones queremos referirnos a conjuntos cuyos elementos desconocemos al menos parcialmente
y, slo podemos hacerlo mediante descripciones. A veces nos referimos a conjuntos que, sin nuestro
conocimientos, son vacos.
En el lenguaje cotidiano los conjuntos aparecen principalmente ligados a las propiedades y se concibe
como las colecciones de elementos que satisfacen ciertas propiedades. De ah que una de nuestras
intuiciones sobre los conjuntos sea para toda cualidad en la que podamos pensar debe existir un
conjunto asociado con ella: el conjunto de todos los objetos que tienen esa cualidad. Podemos llamar a
este conjunto la extensin de cualidad en cuestin. Entonces lo que este presupuesto significa es que
toda cualidad que podamos formular inteligiblemente o toda cualidad a la que podamos atribuir un
concepto aparentemente legtimo tiene una extensin.
Sin embargo, la relacin entre las propiedades y los conjuntos no es o no debera ser tan estrecha
como parece. La intuicin de que a toda propiedad le corresponde una clase no puede desarrollarse
irrestrictamente dentro de una teora de conjuntos, pues se generan contradicciones. En consecuencia,
en la teora clsica de conjuntos no slo habr extensiones vacas, sino que tambin deber haber
conceptos sin extensin. Es decir, habr formulas abiertas a las que no ser posible asociar una clase. Y
entonces no es cierto que toda propiedad determina una clase.
Pero tampoco tiene por qu valer lo converso: los conjuntos son entidades formadas arbitrariamente;
de modo que tampoco es necesariamente cierto que para toda clase hay alguna propiedad asociada a esa
clase.
Dados ciertos objetos hay ms de una cualidad que estos comparten y slo estos comparten, y la
mencin de cualquiera de ellas es suficiente para que identifiquemos el conjunto de esos objetos.
La relacin que existe entre los miembros de un conjunto y el conjunto se conoce como la relacin de
membreca, y se dice que los miembros de un conjunto pertenecen a ste.
3) Qu dificultad y ventaja presenta trabajar con el principio de extensionalidad?
Ventaja:
Fija condiciones suficientes para afirmar que dos conjuntos son idnticos.
Marca una diferencia esencial entre la naturaleza de los conjuntos y la de las propiedades: las
propiedades no tiene el carcter extensional de los conjuntos, y esto hace que sea ms difcil establecer
cuando dos propiedades son idnticas.
Desventaja:
No es fcil establecer criterios universales que determinen cuando dos propiedades son las mismas.
La naturaleza extensional de los conjuntos vuelve a los conjuntos entidades ms manejables que las
propiedades, y es por ello que muchas veces se prefiere traducir un problema acerca de entidades no
extensionales.
4) Demuestre
a) El conjunto vaco es est incluido en cualquier conjunto.
Hiptesis: A es un conjunto
Tesis: c A
Demostracin:
Consideramos la siguiente proposicin:
V x: x => x A
La cual es verdadera por ser el antecedente falso. En consecuencia, de acuerdo con la definicin de
inclusin, se tiene:
x => x A
Por lo tanto: c A. ///
c) A =
Hiptesis: A y conjuntos.
Tesis: A =
Demostracin:
Para todo x se verifica que:
x (A )
Luego, por definicin de interseccin de conjuntos:
x A x
Como, por definicin de conjunto vaco, ste carece de elementos por lo cual: x .
Entonces, para todo x se verifica que:
x (A )
Por lo tanto: A = . ///
d) A c B => A B = A
Hiptesis: A c B
Tesis: A B = A
Demostracin:
Primera parte, vamos a demostrar que (A B) c A:
Consideramos x tal que x (A B)
Por definicin de interseccin de conjuntos, resulta:
x A x B
por simplificacin (ley lgica): x A.
Luego, x (A B) => x A.
Por definicin de inclusin: (A B) c A (1)
Segunda parte, vamos a demostrar que A c (A B):
Sea x tal que x A. Por hiptesis, sabemos que A c B, entonces:
x A x B
Por definicin de interseccin de conjuntos resulta:
x (A B)
Luego: x (A B) => x (A B)
Por definicin de inclusin: A c (A B) (2)
De (1) y (2) resulta:
(A B) c A A c (A B)
Por definicin de igualdad:
A B = A
Finalmente, A c B => A B = A. ///
e) A B c A c A U B
Hiptesis: A y B conjuntos
Tesis: (A B) c A
Demostracin:
Primera parte, vamos a demostrar que (A B) c A:
Sea x tal que x (A B). por definicin de interseccin de conjuntos, se verifica:
x A x B
Por simplificacin (ley lgica): x A
Luego: x (A B) => x A
Por definicin de inclusin: (A B) c A (1)
Segunda parte, vamos a demostrar que A c (A U B):
Sea x tal que x A. Por adicin lgica (ley lgica), se verifica que: x A x B.
Por definicin de unin de conjuntos:
x (A U B)
Luego: x A => x (A U B)
Por definicin de inclusin: A c (A U B) (2)
De (1) y (2) resulta:
(A B) c A A c (A U B)
Finalmente: A B c A c A U B. ///
5) Analice la validez de los siguientes razonamientos y explique cmo se relaciona este tipo de razonamientos
con los conjuntos.
Sujeto
Trmino medio
Predicado
a) Algunos satlites artificiales no son inventos norteamericanos. Todos los satlites artificiales son
descubrimientos cientficos. Por lo tanto, algunos descubrimientos cientficos no son inventos
norteamericanos.
Algunos satlites artificiales no son inventos norteamericanos
Todos los satlites artificiales son descubrimientos cientficos
Algunos descubrimientos cientficos no son inventos norteamericanos
Forma: OAO-3
Algunos A no son B A -B
Algunos C no son B C -B
C C
Por lo tanto, es un razonamiento vlido porque la conclusin est incluida en las premisas.
b) Todos los alumnos son aplicados, por lo tanto algunos varones son aplicados puesto que algunos alumnos
son varones.
A B A B
Todos los alumnos son aplicados
Forma: AII-3 C
Todo A es B Ac B
Algn A es C A C
Algn C es B CB
Por lo tanto, es un razonamiento vlido porque la conclusin est incluida en las premisas; ya que si hay un
elemento que pertenece a (A B C) este pertenecer (B C).
c) Todas las acciones criminales son actos malvados. Todos los enjuiciamientos son acciones criminales. Por
lo tanto, todos los enjuiciamientos por asesinatos son actos malvados.
A B A B
Todo A es B Ac B
Todo C es A CcA
Todo C es B CcB
Por lo tanto, es un razonamiento vlido porque la conclusin est incluida en las premisas.
C
d) Todos los hombres que comprenden a las mujeres son potencialmente maridos perfectos. Todos los
maridos potencialmente perfectos son hombres de infinita paciencia. Por lo tanto, algunos hombres de
infinita paciencia son hombres que comprenden a las mujeres.
Todos los hombres que comprenden a las mujeres son potencialmente maridos perfectos
Todos los maridos potencialmente perfectos son hombres de infinita paciencia
Algunos hombres de infinita paciencia son hombres que comprenden a las mujeres.
Forma: AAI-4
Por lo tanto, no es un razonamiento vlido, porque la conclusin es una proposicin particular y sus
premisas son ambas universales.
A B A B
Todo A es B Ac B
Todo B es C BcC
Algn C es A C A
Por lo tanto, no es un razonamiento vlido porque la conclusin no est incluida en las premisas; ya que en
la conclusin se indica que hay elementos en la interseccin de A y C.