156 LGICA FORMAL Tarea coral n 9:
156 LGICA FORMAL Tarea coral n 9:El/la estudiante debe
ejercitarse lo ms que pueda, hasta que vea que controla el punto,
Por eso hemos facilitado direcciones y hojas con soluciones (para
los problemas de L. Carroll, por ejemplo). Seguidamente proponemos
una serie de ejercicios que, en realidad, son breves:
1.. Obligatorio (por as decir): 4.G impares.
2.i) demostrar si el argumento es vlido o no con diagramas de
Venn (dibujndolos, claro) de cada una de sus frases, premisas y
conclusin, por separado, (ii) indicar a qu modalidad de la tabla de
Boecio se corresponde (vse el ejemplo). (iii) formalizar con los
cuantificadores universal y existencial. (AUTOCORRECTIVO, solucin
indicada en la misma pg.)
1. Cualquier ejecutivo acaba cansado; nadie que acabe cansado es
feliz. Por lo tanto, ningn ejecutivo es feliz
E=ser ejecutivo
C=acabar cansado
F=ser feliz
2. Ningn fotgrafo pinta. Todos los que no son fotgrafos son
escultores. Por lo tanto, todos los pintores son escultores.
F=ser fotgrafo
P=ser pintor
E=ser escultor
3. Algunos polticos son graciosos; todos los polticos son
adultos. Por lo tanto, algunos adultos son graciosos
P=ser poltico
G=ser gracioso
A=ser adulto
4. Ningn Cuadrpedo reina en Europa. Algunos mamferos son
cuadrpedos. Por lo tanto, hay mamferos que no reinan en Europa.
C=ser Cuadrpedo
R=reinar en Europa
M=ser mamfero
Vase al final Sigue EJEMPLO de (ii) y posible PLANTILLA de
respuestas.
3.Silogismos. Justifique su respuesta con el mtodo que
prefiera.3.A) La conclusin del siguiente argumento, se sigue
vlidamente de las premisas? Ninguna serpiente vuela. Algunas
serpientes ponen huevos. Por tanto, algunos animales que ponen
huevos no vuelan.3.B) Ningn santo blasfema y Todo aquel que
blasfema es perverso: se sigue alguna conclusin lgica de esas
premisas?
EJEMPLO de (ii) y posible PLANTILLA de
respuestas:Rinoceronte:
Todos los Rinocerontes tienen un cuerno; todos los Plantgrados
son rinocerontes; as pues, todos los Plantgrados tienen un
cuerno.
R=ser rinoceronte
C=tener cuernos
P=ser plantgrado
(i)(ii)(iii)(iv)
Todos los Rinocerontes tienen un cuerno;
todos los Plantgrados son rinocerontes;
as pues, todos los Plantgrados tienen un cuerno.Vlido: Conclusin
implcita en las dos premisas como muestra el diagrama de BARBARA
(donde M=R, S=Plant., P=C)A (univ. afirmativa)
A
A
[esta vez coinciden]-1. (x (Rx ( Cx)
-2. (x (Px ( Rx)
(x (Px ( Cx)
Silog.aristotlico de la 1 figura en modo BARBARA. De 2 Premisas
univ. se sigue conclus. univ.; y de dos afirmativas, concl.
afirmativa
