SILOGSTICA AVENTURERA (2): Qu bordes!

, a bordo

ARACNE
(Camino Aparicio)

Alumn@

Qu bordes!, a bordo
El mundo del mar no goza precisamente de buena reputacin entre las gentes de tierra adentro, que razonan de esta
guisa:
Silogismo 1
HIPTESIS 1
HIPTESIS 2
CONCLUSIN

A := Todos los marineros son unos pendencieros

B := Algunos saqueadores son marineros.
C := Algunos saqueadores son pendencieros

Silogismo 2
HIPTESIS 1
HIPTESIS 2
CONCLUSIN

D := Todos los marineros son unos pendencieros

E := Todos los saqueadores son marineros
F := Algunos saquedores son pendencieros

1. Formalizacin en lgica de primer orden de relatores monarios

Usando las siguientes claves
M x := x es marinero

P x := x es pendenciero

Sx := x es un saqueador

formaliza los enunciados A; B; D; E y F precedentes

2. Representacin en Teora de Conjuntos
Sea

-
A = A; M A ; P A ; S A

una estructura adecuada al lenguaje del silogismo 1, cuyo universo lo constituyen seres vivos y M A ; P A ; S A
son los conjuntos de marineros, pendencieros y saqueadores, respectivamente
(a) Expresa en Teora de Conjuntos las condiciones que los enunciados A; B y C establecen
(b) 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