SILOGSTICA AVENTURERA (5): Cabeza va, cabeza viene

ARACNE
(Alejandra Ocaa)

Alumn@

Cabeza va, cabeza viene

(Alicia en el Pas de las Maravillas, Lewis Carroll)
Silogismo 1
HIPTESIS 1
HIPTESIS 2
CONCLUSIN

A := Todo lo que pertenece a la Reina est completamente loco

B := Todo gato de Chessire es de la Reina
C := Todo gato de Chessire est completamente loco

Silogismo 2
HIPTESIS 1
HIPTESIS 2
CONCLUSIN

D := A ningn conejo puntual le cortan la cabeza

B := Todos los que tienen prisa son conejos puntuales
C := A nadie que tenga prisa le cortan la cabeza

1. Formalizacin en lgica de primer orden de relatores monarios

Usando las siguientes claves:
Universo de discurso: Criaturas del Pas de las Maravillas
Rx := x es de la Reina
Lx := x est loco completamente
Gx := x es un gato de Chessire
P x := x es un conejo puntual
Cx := x es un individuo al que le cortan la cabeza
Ax := x es un individuo apresurado, con prisa
formaliza los enunciados A; B; D; E y F precedentes
2. Representacin en Teora de Conjuntos
(a) Sea

-
A = A; RA ; LA ; G A

una estructura adecuada al lengua je del silogismo 1, cuyo universo lo constituyen las criaturas del Pas de
las Maravillas y RA ; LA ; GA son los conjuntos de criaturas de la Reina, seres locos y gatos de Chessire,
respectivamente
Expresa en Teora de Conjuntos las condiciones que los enunciados A; B y C establecen
(b) Sea

-
A = A; P A ; C A ; AA

una estructura adecuada al silogismo 2, cuyo universo lo constituyen las criaturas del Pas de las Maravillas
y P A ; C A ; AA son los conjuntos de conejos puntuales, criaturas a las que les cortan la cabeza e individuos
apresurados, respectivamente
Expresa en Teora de Conjuntos las condiciones que los enunciados D; E y F establecen

3. Resolucin mediante diagramas de Venn

(a) Determina mediante diagramas de Venn si el razonamiento del silogismo 1 es correcto
(b) Determina mediante diagramas de Venn si el razonamiento del silogismo 2 es correcto
4. Identicacin silogismos
(a) D el modo y gura del silogismo 1 y su nombre, si lo tuviera
(b) D el modo y gura del silogismo 1 y su nombre, si lo tuviera