Está en la página 1de 17

9.

TALLER N 5
MANEJO DE EXPRESIONES CUANTIFICADAS
Por: Clara Meja L.
9.1. OBJETIVOS
9.1.1. Reflexionar sobre situaciones concretas, planteadas por medio de los
bloques lgicos, para inducir los esquemas bsicos del clculo
cuantificacional.
9.1.2. Hacer ampliacin del esquema, llevando la estructura de la
argumentacin a otros contextos de la vida diaria y matemticos.
9.1.3. Introducir el uso de diagramas de Venn para hacer inferencias en
razonamientos que involucran cuantificacin.
9.2. METODOLOGA
Para introducir los esquemas bsicos del clculo de predicados o lgica
cuantificacional, retomamos los bloques lgicos. Con este material es posible
establecer, de una forma que podra catalogarse como evidente, el tipo de
conclusiones que pueden inferirse a partir de enunciados que involucran
cuantificadores y la forma como la negacin afecta este tipo de enunciados.
La estrategia se plantea por medio de actividades que involucran, en primer
lugar, los bloques lgicos y, luego, se transfiere el esquema a una situacin
planteada en el lenguaje corriente o al interior de las matemticas.
Tambin se proponen situaciones argumentativas que involucran
cuantificadores, con el fin de que el alumno pueda establecer la validez o no
de las conclusiones establecidas. Las situaciones planteadas tienen un
contenido que es muy familiar a los alumnos con quienes se desarroll el
trabajo. El docente podr adaptar los enunciados de modo que sean
significativos para el grupo de alumnos con los que est trabajando.
Finalmente, se hace una presentacin, ms organizada, de los contenidos
tericos que ya el estudiante ha venido construyendo mediante las
actividades propuestas.
9.3. ACTIVIDADES
9.3.1. Primera actividad con bloques lgicos
Seleccione nicamente los bloques rojos como material de trabajo para las
siguientes actividades.
a. Forme dentro de este conjunto, un subconjunto no vaco cualquiera.
Qu puede afirmarse de las caractersticas de este subconjunto?
Podr determinarse una propiedad comn a cualquier subconjunto
que pueda construirse?
b. Observe en particular el subconjunto de los bloques cuadrados. Se
introducen todos los bloques rojos en una bolsa. Alguien extrae al
azar un bloque y lo mantiene oculto al auditorio.
Puede afirmarse con certeza que el bloque extrado es cuadrado?
Puede afirmarse que todos los bloques rojos son cuadrados?
9.3.2. Anlisis de expresiones en el lenguaje ordinario y las matemticas
Se sabe que:
"Los vertebrados son animales"
"Rayito es un animal"
con esta informacin:
1. Puede afirmarse que Rayito es un vertebrado?
2. Qu puede afirmarse con certeza de Rayito?
Considere el conjunto de los nmeros impares.
{1, 3, 5, 7, 9, 11, 13, 15, 17, ...}
Observe que nmeros impares como: 3, 7, 13, 19 son primos(slo pueden
dividirse por 1 por el mismo nmero); esto permite afirmar que:
"Existen nmeros impares que son primos"
Con esta informacin:
1. Puede concluir que el 9 es un nmero primo?
2. Puede concluir que todos los nmeros impares son primos?
Dada la siguiente afirmacin:
"El cuadrado de todo nmero es mayor que el nmero"
Determine si esta afirmacin es verdadera o falsa.
9.3.3. Segunda actividad con los bloques lgicos.
Contine con el conjunto de bloques rojos.
- "Todos los bloques son rojos" es lo mismo que afirmar:
a. Algunos bloques son rojos.
b. Algunos bloques son cuadrados.
c. No todos los bloques son tringulos.
d. No hay bloques que no sean rojos.
Cul o cules de las opciones considera correcta?
- "Existe un bloque cuadrado" es lo mismo que afirmar:
a. Hay bloques que no son cuadrados.
b. Todos los bloques son cuadrados.
c. No todos los bloques son no cuadrados.
d. Algunos bloques son cuadrados.
Cul o cules de las opciones considera correcta?
- Vuelva al conjunto de los nmeros impares
"Existe un nmero primo par" es lo mismo que afirmar:
a. Hay primos que no son pares.
b. Todos los primos son pares.
c. Algunos primos son pares.
d. No todos los primos son impares.
Cul o cules de las opciones considera correcta(s)?
9.3.4. Tercera actividad con bloques lgicos. Expresiones que involucran
negacin.
Conjunto referencial: Conjunto de bloques rojos.
Formar el conjunto de todos los bloques rojos que cumplen la
propiedad: "No todos los bloques son cuadrados".
Formar el conjunto de bloques que satisfacen la propiedad: "Todos
los bloques son no cuadrados".
Formar el conjunto de bloques que satisfacen la propiedad: "Ningn
bloque es cuadrado".
a. Qu relacin existe entre los conjuntos formados?
b. Puede usted sacar alguna conclusin sobre los tres enunciados que
determinan estos conjuntos?
9.3.5. Expresiones que involucran negaciones en el lenguaje ordinario.
La afirmacin: "No todos los estudiantes presentaron la prueba",
significa lo mismo que:
a. Todos los estudiantes no presentaron la prueba
b. Nadie present la prueba
c. Algn estudiante no present la prueba
d. Algunos estudiantes no presentaron la prueba.
Cul o cules de las opciones considera correcta(s)?
La afirmacin: "Todos los mamferos son no voladores", significa lo
mismo que:
a. No todos los mamferos son voladores.
b. Ningn mamfero es volador.
c. No existe un mamfero que vuele.
d. Si un animal vuela, entonces no es mamfero.
Cul o cules de las opciones considera correcta(s)?
9.4. RAZONAMIENTO LGICO UTILIZANDO
CUANTIFICADORES
9.4.1. Dadas las siguientes afirmaciones consideradas como verdaderas:
"Todos los alumnos del liceo asistieron al paseo"
"Algunos profesores asistieron al paseo"
"Todos los asistentes al paseo se baaron en la quebrada"
"David Lpez se ba en la quebrada".
Cules de las siguientes proposiciones son vlidas a partir de la informacin
anterior?
a. Todos los profesores del colegio se baaron en la quebrada.
b. Todos los estudiantes del Liceo se baaron en la quebrada.
c. Algn profesor del Liceo se ba en la quebrada.
d. David Lpez es un estudiante del Liceo.
e. Cualquiera de los que se ba en la quebrada es estudiante o profesor
del Liceo.
f. Algunos estudiantes del Liceo se baaron en la quebrada.
9.4.2. Dadas las siguientes afirmaciones que se consideraron verdaderas:
"Todos los estudiantes de 11 del IDEM de Barbosa presentaron
pruebas ICFES"
"Jos Garca es estudiante de 11 en Barbosa y no present pruebas
ICFES"
"Alejandro Ortiz es estudiante de 11 en Barbosa y present pruebas
ICFES"
"Carlos Gonzlez es estudiante de 11 en Barbosa, no estudia en el
IDEM y present pruebas ICFES".
A partir de las afirmaciones anteriores, seale la validez o invalidez de las
siguientes proposiciones:
a. No todos los estudiantes de 11 de Barbosa, presentaron pruebas
ICFES.
b. No todos los estudiantes de 11 de Barbosa son estudiantes del IDEM
de Barbosa.
c. Alejandro Ortiz es estudiante de 11 en el IDEM de Barbosa.
d. Algn estudiante de 11 del IDEM de Barbosa no present las pruebas
del ICFES.
e. Algn estudiante de 11 de Barbosa no present las pruebas ICFES.
9.4.3. Elena afirmaba que la morsa es un pez, porque todos los peces viven
en el agua y la morsa vive en el agua. Luca le refut su argumento
dicindole que en el agua vivan, adems, de los peces otros animales y, por
lo tanto, esto no era suficiente.
La profesora les explic que, en efecto, Luca tena razn y que en el caso de
la morsa se trataba de un mamfero acutico y no de un pez. A continuacin,
le propone a Elena el siguiente razonamiento: "El atn vive en el agua; luego
el atn es un pez". Qu puede decir acerca de la validez de este
razonamiento?
9.4.4. Dos condiscpulos se encuentran con su profesor y uno de ellos,
bastante preocupado por los resultados de los trabajos presentados, le
pregunta:
Profesor, cmo estuvieron los trabajos?
A lo cual el profesor responde:
Hay trabajos bastante buenos.
Los muchachos se quedan pensando en la afirmacin hecha por su maestro y
el alumno "preocupado" dice:
De modo que hay trabajos bastante buenos, o sea que hay otros
trabajos que no estn buenos. Ser que no me fue bien?
Su compaero lo mira extraado y le dice:
Por qu sacas esa conclusin? El slo dijo que haba trabajos muy
buenos. No sabemos si habr tambin trabajos malos o si, por el
contrario, todos los trabajos estn bien. Mejor espera y no te
preocupes intilmente.
Ud. que opina? Cul de los compaeros tiene la razn?
Elementos Tericos. Reflexiones acerca de las actividades desarrolladas.
Universo de referencia. Subconjunto.
Se ha tomado como material de trabajo el conjunto de bloques rojos.
Si se designa: R
x
: x es un bloque rojo.
El conjunto formado se puede representar as:
A = { x / x es un bloque rojo} o
A = { x / R
x
}
Este conjunto A ser, en este caso, el universo de referencia.
Si se toma un bloque rojo x, de l se puede decir que es un elemento de A, lo
cual se puede escribir,
x A
El signo se llama signo de pertenencia y la expresin x A se lee
" x pertenece a A"
Cuando del conjunto A , se distinguen aquellos que son cuadrados, se est
formando un subconjunto del conjunto A.
Designe: Q
x
: x es un bloque cuadrado y forme el conjunto:
B = { x A / x es un bloque cuadrado} o
B = { x A / Q
x
}
Esta situacin puede ilustrarse por medio de un diagrama de Venn , as:
O tambin,

El rea sombreada indica que en esa regin no hay elementos; o sea que
todos los elementos de B estn en A. Cuando esto ocurre, se escribe:
B A y se lee:
B est contenido en A.
B est incluido en A.
B es un subconjunto de A.
Cuantificadores.
Se sabe que todos los bloques son rojos. Para expresar esta propiedad comn
a todos los objetos, se utiliza un smbolo especial ( x) y se lee, para todo x.
La expresin "todos los bloques son rojos", puede representarse as:
( x)(R
x
). De un bloque extrado del conjunto, lo nico que puede afirmarse
con certeza es que es rojo.
Para todo bloque, si el bloque es cuadrado, entonces, es rojo .
( x)(Q
x
R
x
)
O sea, B A
Si se dice que dentro del conjunto A , hay algunos bloques que son
cuadrados; se puede afirmar que , existen bloques que son cuadrados . Para
expresar esta propiedad, que verifican algunos bloques, se emplea el smbolo
" x", el cual se lee: "Existe al menos un x".
La expresin: "Existe al menos un bloque rojo que es cuadrado", puede,
entonces, representarse as:
( x)(R
x
Q
x
).
La representacin por medio de un diagrama es la siguiente:

La x en la zona comn a los dos conjuntos, indica que hay por lo menos un
elemento que verifica ambas propiedades.
Negacin de cuantificadores.
Se sabe que "no todos los bloques son cuadrados", porque al observar la
coleccin se ve que algunos bloques no son cuadrados. Esto es:
"no todos los bloques son cuadrados" equivale a "Existen bloques que no son
cuadrados".
Simbolizando:

Ahora, cuando se afirma que: "no existen aves que vivan en el agua" es
porque "todas las aves viven fuera del agua".
Para llevar estas expresiones a una forma simblica, se debe ubicar
eluniverso del discurso o conjunto de referencia como el conjunto de aves; de
esta forma, la variable x designar un ave cualquiera, si se designa,
Ax: x vive en el agua. Se puede simbolizar la expresin as:

cuando se forma el conjunto que satisface la propiedad "ningn bloque es
cuadrado", se debe garantizar que "todos los bloques sean no cuadrados" o
equivalentemente que "no existan bloques cuadrados". Entonces:

Es posible observar que el esquema utilizado es el mismo del ejemplo
anterior.
Inferencia utilizando diagramas de Venn.
Represente diagramticamente los siguientes enunciados:
"Todos los cuadrpedos son vertebrados"
"Rayito es un vertebrado".
Sean:



La letra a designa a Rayito, del cual no sabemos si est o no en el conjunto
de los cuadrpedos y por tanto se ubica en la lnea de separacin.
De rayito lo nico que puede afirmarse con certeza es que es vertebrado.
"Existen nmeros impares que son primos". ( x)(I
x
P
x
).
Llame I al conjunto de los impares y P al conjunto de los primos, se puede
afirmar que el conjunto formado por los impares que son primos,
denotado I P, no es vaco, es decir: I P ( : conjunto vaco).

La proposicin "Ningn bloque es cuadrado" se puede representar por medio
de un diagrama, donde en la zona comn al conjunto de bloques A y al
conjunto de cuadrados B no haya elementos , o sea que: A B = .

La zona rayada significa que all no hay elementos.
Una afirmacin del tipo: "Algn estudiante no present la prueba", puede ser
representada as:
Sean, E: El conjunto de los estudiantes.
P: El conjunto de los que presentaron la prueba .

La x en esa regin, significa que por lo menos un estudiante no present la
prueba. O sea, E P ; donde P representa el conjunto de los que no
presentaron la prueba.
Proposiciones categricas.
Las proposiciones que se han venido analizando son las que la lgica
tradicional denomina proposiciones categricas. Hay cuatro tipos de
proposiciones categricas:
1. Tipo A o universal afirmativa. " Todos los cuadrpedos son
vertebrados".
Si A representa el conjunto de los cuadrpedos y B el conjunto de los
vertebrados, se puede decir que A B. Simbolizando,
(( x)(C
x
V
x
)) (A B).
Llame B al conjunto formado por los elementos que no pertenecen a B,
entonces: (A B) (A B = ).
2. Tipo E o universales negativas. "Ningn estudiante present la prueba".
Representando por A el conjunto de los estudiantes y por B el de los que
presentaron la prueba, se puede decir que A B = .
Simbolizando, (( x)(E
x
no P
x
)) (A B = ).
Tipo I o particulares afirmativas. "Algunos nmeros impares son primos".
Si A representa el conjunto de los impares y B el de los primos, ocurre que:
A B . Esto es: ( x)(I
x
P
x
) (A B ).
Tipo O, particulares negativas. "Algn estudiante no present la prueba".
Representando como A el conjunto de los estudiantes y como B el de los que
presentaron la prueba, se tiene que:
( x)(E
x
no P
x
) (A B ).
La lgica tradicional construa el siguiente cuadrado llamado cuadrado de
oposicin para representar estos tipos de proposiciones.

La representacin mediante diagramas se pude resumir as:

El mtodo de los diagramas de Venn aplicado a razonamientos que
involucran cuantificadores y ms de dos clases.
Cuando en un razonamiento estn involucradas dos o tres clases, stas se
representan mediante crculos intersecados as:

Cuando en el razonamiento intervienen 4 clases, se representan mediante
elipses:

En principio, podran usarse diagramas para verificar la validez de
razonamientos de 5 o ms trminos de clase, pero dada su complejidad , su
utilizacin resulta poco prctica.
La representacin de un razonamiento en el diagrama sigue las siguientes
reglas:
1. Se representan en el diagrama las premisas, tomando en primer lugar las
universales.
2. Se verifica si la conclusin ha quedado representada, teniendo en cuenta
que:
2.1. Una zona sombreada representa la clase vaca.
2.2. Una zona con x, representa una clase no vaca, que tiene por lo menos un
individuo.
2.3. Una zona en blanco representa falta de informacin.
Si la conclusin queda representada, el razonamiento es vlido , de lo
contrario es invlido
Observe algunos ejemplos:
Determine si los siguientes razonamientos son vlidos o no, mediante el
mtodo de los diagramas de Venn .
1. Todos los gatos saltan. G S =
Ninguna tortuga salta. T S =
Ninguna tortuga es un gato. T G = (Conclusin).
Sean: G = {x / x es un gato}, S = {x / x salta} y T = { x / x es una tortuga}.

La conclusin ha quedado representada en el diagrama ya que T G est
sombreada , lo que indica que T G = . Y el razonamiento es vlido.
2. Algunos mdicos son investigadores. M I
Algunos investigadores no practican la medicina. I P
Algunos mdicos no practican la medicina. M P .
Sean : M = {x / x es mdico}, I = {x / x es investigador},
P = {x / x practica la medicina}.

Nota:
Cuando la zona, donde ha de colocarse una x es compuesta , es decir, est
dividida por una lnea , la x debe colocarse sobre la lnea , y se interpreta
como afirmando que por lo menos una de las zonas es no vaca
No hay seguridad de que la zona que representa M P no sea vaca .La
conclusin no ha quedado representada . Por lo tanto , el razonamiento es
invlido.
3. Los galgos son perros. G P =
Los perros son vertebrados P V =
Ningn vertebrado vuela. V E =
Ningn galgo vuela. G E =
Sean:
G = {x / x es un galgo}
P = {x / x es perro}
V = {x / x es vertebrado}
E = {x / x vuela}

La interseccin de G con E ha quedado representada. Luego, el razonamiento
es vlido.
4. Todos los minerales que sirven para la industria son tiles para el hombre.
Todos los minerales sirven para la industria o son tiles para el hombre.
Todos los minerales son tiles para el hombre
Sean: A = {x / x es un mineral} (A B) C = .
B = {x / x sirve para la industria} A (B C) =
C = {x / x es til para el hombre} ___________________
A C =

La conclusin ha quedado representada. Luego, el razonamiento es vlido.
9.5. EJERCICIOS PROPUESTOS
Aplique el mtodo de los diagramas de Venn a los siguientes razonamientos
para determinar si son o no vlidos.
9.5.1.
Todos los espaoles son msicos
Todos los espaoles son europeos
Algunos europeos son msicos
9.5.2.
Todos los campesinos cultivan la tierra
Algunos campesinos no obtienen buenas cosechas
Algunos de los que cultivan la tierra no obtienen buenas cosechas
9.5.3.
Algunos animales son agresivos
Algunos monos son agresivos
Algunos animales son monos
9.5.4.
Ningn elefante es gil
Algunos perros son giles
Algunos perros no son elefantes
9.5.5.
Los porteos son optimistas
Algunos porteos no son amables
Algunos optimistas no son amables.
Determine la validez del argumento para cada una de las conclusiones
propuestas.
9.5.6.
Todos los poetas son gente interesante.
Aurora es una persona interesante.
Aurora es poetisa.
Aurora no es poetisa.
9.5.7.
Todos los poetas son pobres.
Para ser profesor se debe recibir grado universitario.
Ninguna persona con grado universitario es pobre.
Los profesores no son pobres.
Los poetas no son profesores.
Si Marcos tiene grado universitario, entonces no es poeta.
9.5.8.
Todos los matemticos son personas interesantes.
Algunos profesores venden seguros.
Solamente las personas que no son interesantes se dedican a vender seguros
Los vendedores de seguros no son matemticos.
Algunas personas interesantes no son profesores.
Algunos profesores no son personas interesantes.
Algunos matemticos son profesores.
Algunos profesores no son matemticos.
Si Enrique es matemtico, entonces no vende seguros.

También podría gustarte