Vous êtes sur la page 1sur 4

Ejercicios de Silogismos *

FernandoRVelazquezQ@gmail.com

Ejercicio 1. Sean P y Q dos propiedades, es decir, dos colecciones de objetos. Estas pueden ser representadas en un diagrama de la siguiente manera:

Las operaciones de complemento, union, interseccion y diferencia, definidas a continuacion,


nos permiten
definir nuevas propiedades (i.e., colecciones) a partir de las que ya estan definidas.
El complemento de P, denotado como P, se define como la propiedad de no tener la propiedad P,
es decir, como la coleccion
de aquellos objetos que no estan en P.
La union
de P con Q, denotada como P Q, se define como la propiedad de tener la propiedad P o
la propiedad Q, es decir, como la coleccion
de aquellos objetos que estan en P, o en Q, o en ambos.
La interseccion
de P y Q, denotada como P Q, se define como la propiedad de tener la propiedad
P y la propiedad Q, es decir, como la coleccion
de aquellos objetos que estan tanto en P como en Q.
La diferencia entre P y Q, denotada como P \ Q, se define como la propiedad de tener la propiedad
P pero no tener la propiedad Q, es decir, como la coleccion
de aquellos objetos que estan en P pero
no estan en Q.
Indique, en un diagrama como el anterior, el a rea que corresponde a cada una de las propiedades
(i.e., colecciones) siguientes.
(a) P
(b) P Q
(c) P Q

(g) P P

(l) P \ Q

(h) P \ P

(m) (P Q) P

(i) P Q

(n) P

(j) Q Q

(n)
PQ

(k) P Q

(o) Q Q

(d) P P
(e) Q
(f) P \ Q

* Ej02-Silo-b.tex,

compiled 27 de noviembre de 2013, 10:26.

Ejercicio 2. Indique si los siguientes silogismos son validos o no.1 En caso de que el silogismo no
sea valido, indique que enunciado s se puede derivar a partir de las premisas dadas, es decir, de un
enunciado que substituya a la conclusion
dada de forma que obtengamos un silogismo valido.
(a)

(b)

(c)

(d)

Algunos viajeros no son ancianos.

(e)

Algunas plantas no son verdes.

Ningun
turista es viajero.

Ningun
organismo es una planta.

Algunos turistas no son ancianos.

Algunos organismos no son verdes.

Todos los canadienses son ambidiestros.

(f)

Todos los instrumentos son pianos.

Todos los ambidiestros son miopes.

Ningun
instrumento es una guitarra.

Algunos miopes son canadienses.

Algunas guitarras no son pianos.

Todos los a rboles son plantas.

(g)

Ningun
es un atleta.
filosofo

Algunos a rboles son arbustos.

Todos los administradores son atletas.

Ninguna planta es un arbusto.

Algunos filosofos
son administradores.

Ningun
piloto es una azafata.

(h)

Ningun
apicultor es cocinero.

Todos los pasajeros son azafatas.

Todos los holandeses son apicultores.

Algunos pilotos son pasajeros.

Algunos cocineros no son holandeses.




Ejercicio 3. Indique si los siguientes silogismos son validos o no.2 En caso de que el silogismo no
sea valido, indique que enunciado s se puede derivar a partir de las premisas dadas, es decir, de un
enunciado que substituya a la conclusion
dada de forma que obtengamos un silogismo valido.
(a)

(b)

(c)

Todas las calles son rutas de transporte.

(d)

Ningun
adicto usa drogas.

Ninguna calle es una pista.

Ningun
usuarios de drogas es alcoholico.

Algunas pistas no son rutas de transporte.

Todos los adictos son alcoholicos.

Ninguna estrella de cine es comediante.

(e)

Todas las piedras son rocas.

Todos los productores son estrellas de cine.

Todas las rocas son montanas.

Algunos comediantes no son productores.

Algunas montanas
son piedras.

Todas las bicicletas son medio de transporte.


Algunas bicicletas son estaticas.
Ningun
medio de transporte es estatico.


1 Ejercicios tomados de http://www.fibonicci.com/logical-reasoning/syllogisms-test/easy/ (en Espanol:http://www.

fibonicci.com/es/silogismos/prueba-facil).
2 Ejercicio tomado de http://www.fibonicci.com/logical-reasoning/syllogisms-test/medium/ (en Espanol:
http://

www.fibonicci.com/es/silogismos/prueba-medio).

Ejercicio 4. En cada uno de los siguientes incisos se presentan dos premisas seguidas de varios enunciados. Indique, en cada caso, cual o cuales de los enunciados son consecuencia de las premisas, es decir,
cual o cuales de los enunciados forman, junto con las premisas dadas, un silogismo valido.3
(a) Premisas: todas las escuelas son edificios; algunas escuelas son carpas.
(i) Ningun edificio es carpa.
(ii) Algunos edificios son carpas.

(iii) Todos los edificios son carpas.

(b) Premisas: todas las casas son residencias; todos los hangares son residencias.
(i) Algunas residencias son hangares.
(ii) Todas las casas son hangares.

(iii) Ninguna casa no es un hangar.

(c) Premisas: algunos jefes son empleados; todos los empleados son mayores.
(i) Todos los mayores son empleados.

(iii) Algunos jefes son mayores.

(ii) Algunos empleados no son mayores.

(iv) Algunos jefes no son mayores

(d) Premisas: un coche no es un barco; algunos barcos son bicicletas de agua.


(i) Ningun
barco es un bicicleta de agua.

(iii) Ningun
barco no es un coche

(ii) Algunas bicicletas de agua no son coches

(iv) Algunos barcos no son bicicletas de agua

(e) Premisas: un pajaro no es habitante del mar; algunos habitantes del mar son tiburones.
(i) Algunos habitantes del mar son pajaros.
(ii) Ningun
habitante del mar es pajaro.

(iii) Algunos pajaros no son habitantes del mar.

(f) Premisas: todos los buzos son aventureros; ningun


buzo es tonto.
(i) Ningun
aventurero es tonto.
(ii) Ningun
tonto es aventurero.

(iii) Algunos aventureros no son tontos.


Para mas ejercicios como los anteriores, consulte http://www.fibonicci.com/logical-reasoning/
syllogisms-test/hard/ (en Espanol:
http://www.fibonicci.com/es/silogismos/prueba-dificil).
Ejercicio 5. Explique porque todo silogismo cuyas premisas son ambas enunciados existenciales y cuya
conclusion

es un enunciado universal debe ser invalido.
Ejercicio 6. Explique porque todo silogismo cuyas premisas son ambas enunciados universales y cuya
conclusion

es un enunciado existencial debe ser invalido.

3 Ejercicio tomado de http://www.fibonicci.com/es/silogismos/prueba-medio (en Espanol:


http://www.fibonicci.com/
logical-reasoning/syllogisms-test/medium/).

Ejercicio 7. Considere el siguiente silogismo:


Todos los hombres son mortales.
Todos los Griegos son mortales.
Algun
Griego es mortal
(a) Indique si el silogismo es valido o invalido.
(b) Suponga ahora que, en nuestro dominio, debe haber al menos un objeto que satisfaga cada una de
las tres propiedades, es decir, debe haber al menos un hombre, debe haber al menos un Griego y
debe haber al menos un mortal. Como
es ahora al silogismo: valido o invalido?

Cuando asumimos que hay al menos un objeto satisfaciendo cada una de las propiedades involucradas, se dice que estamos haciendo una suposicion existencial (tambien llamada compromiso existencial).
Observe como
es importante el dejar claro si estamos haciendo esta suposicion

o no: como acabamos de


observar, existen silogismos que son invalidos sin la suposicion,

pero validos con ella.
Ejercicio 8. Realice de nuevo los ejercicios 1.(b), 1.(d), 1.(f), 1.(g), 1.(h), 2.(a), 2.(b) y 2.(e), haciendo ahora
la suposicion

existencial.
Ejercicio 9. Como
afecta la suposicion

existencial a los ejercicios 5 y 6?

Ejercicio 10. El metodo estudiado para decidir la validez de silogismos se basa en diagramas de la
forma

P
R

donde P, Q y R son las tres propiedades involucradas. Proporcione


ahora un diagrama que sirva para decidir la validez de silogismos
en los cuales tanto las premisas como la conclusion
son enunciados
cuantificados (todo es , algun

es , ningun

es , algun

no es , como en lo silogismos), pero involucrando esta vez exactamente cuatro propiedades, P, Q, R y S. Explique porque funciona
el diagrama propuesto.