OPERACIN N 1

Todas las ingenieras son difciles

Ningn arte es ingeniera.
Por tanto, ningn arte es ingeniera.

A) SIMBOLIZACIN:

Todas las ciencias son difciles.

Ningn arte es ciencia.

Por tanto, ningn arte es dificil.

MaP .P1

SeM .P2

.:. SeP ..C

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U U
MaP M U = M = M =
U
SeM S M=
U U
.:. SeP S P= S P=

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es invlida, porque:

a) La premisas que son universales tienen trminos medios iguales M y M.

b) La diagramacin de la conclusin de las permisas
OPERACIN N 2

Todos los Peruanos son flemticos

Todos los flemticos son pacficos
Por lo tanto, todos los pacficos son ingleses

SaM P1
Map P2
.:. PaS ..C

A) SIMBOLIZACIN:
Todos los Peruanos son flemticos

S M

Todos los flemticos son pacficos

M P

Por lo tanto, todos los pacficos son ingleses

P S

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U
SeM S M =
U
MaP M P =
U
.:. PaS P S =
C) DIAGRAMACIN DEL SILOGISMO

La inferencia es invlida por las siguientes razones:

- La diagramacin de la conclusin no est contenida en la diagramacin de las premisas.
OPERACIN N 3

Ningn desafortunado es felz

Todos los religiosos son afortunados
Por lo tanto, ningn infelz es religioso.

MeP P1
SaM P2
.:. PeS ..C

A) SIMBOLIZACIN:
Ningn desafortunado es felz

M P

Todos los religiosos son afortunados

S M

Por lo tanto, ningn infelz es religioso.

P S

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U U
MeP M P = M P=
U
SaM S M =
U U
.:. PeS P S = P S=

C) DIAGRAMACIN DEL SILOGISMO

El silogismo es invlido por cuanto la diagramacin de la conclusin no est construida en la

diagramacin de las premisas.
OPERACIN N 4

Ningn ateo es cristiano

Algunos Marxistas son cristianos
Por lo tanto, ningn Marxista no es ateo.

PeM P1
SiM P2
.:. SoP ..C

A) SIMBOLIZACIN:
Ningn ateo es cristiano

P M

Algunos Marxistas son cristianos

S M

Por lo tanto, ningn Marxista no es ateo.

S P

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U
PeM P M =
U
SiM S M
U
.:. SoP S p

C) DIAGRAMACIN DEL SILOGISMO

El silogismo es vlido, por cuanto la diagramacin de la conclusin est contenida en la

diagramacin de las premisas.
OPERACIN N 5

Ningn gobernante es poltico

Todos los no-gobernantes son demcratas
Por lo tanto, no es el caso que algunos demcratas no sean polticos.

MeP P1
SaM P2
.:. PeS ..C

A) SIMBOLIZACIN:
Ningn gobernante es poltico

M P

Todos los no-gobernantes son demcratas

M S

Por lo tanto, no es el caso que algunos demcratas no sean polticos.

~ S P

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U U
MeP M P = M P=
U U
SaM M S = M S=
U
.:. ~ (SoP) su contradictoria SaP = S P=

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es invlida, por cuanto que el diagrama de la conclusin no est contenido en la

diagramacin.
OPERACIN N 6

No es cierto que, todos los capitalistas son empresarios

Todos los no-empresarios son trabajadores asalariados
Por lo tanto, algunos trabajadores asalariados son capitalistas.

~(PaM) P1
MaS P2
.:. SiP ..C

A) SIMBOLIZACIN:
No es cierto que, todos los capitalistas son empresarios

~ P M

Todos los no-empresarios son trabajadores asalariados

M S

Por lo tanto, algunos trabajadores asalariados son capitalistas.

S P

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

~(PaM) su contradictoria: PoM P M U
U U
MaS M S = M S=
U
.:. (SiP) S P

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es vlida por cuanto que la diagramacin de la conclusin est constituida en la

diagramacin de las premisas.
OPERACIN N 7

Todos los animales son sensibles

Todos los seres sensibles son amantes
Por lo tanto, algunos amantes son animales.

PaM P1
MaS P2
.:. SiP ..C

A) SIMBOLIZACIN:
Todos los animales son sensibles

P M

Todos los seres sensibles son amantes

M S

Por lo tanto, algunos amantes son animales.

S P

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U
PaM P M
U
MaS M S =

P (P.E)
U
.:. S P

C) DIAGRAMACIN DEL SILOGISMO

Luego la inferencia es vlida por cuanto la diagramacin de la conclusin est contenida en la

diagramacin de las premisas.
OPERACIN N 8

Ningn obrero es capitalista

Todos los obreros son proletariados
Por lo tanto, algunos proletariados no son capitalistas.

MeP P1
MaS P2
.:. SeP ..C

A) SIMBOLIZACIN:
Ningn obrero es capitalista

M P

Todos los obreros son proletariados

M S

Por lo tanto, algunos proletariados no son capitalistas.

S P

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U
MeP M P =
U
MaS M S =

M (P.E)
U
.:. SoP S P

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es vlida por cuanto la diagramacin de la conclusin est constituida en la

diagramacin de las premisas.
OPERACIN N 9

Ningn juez es injusto

Todas las personas justas dicen la verdad
Por lo tanto, no es el caso que, ninguna persona que diga la verdad sea no-juez.

SeM P1
MaP P2
.:. ~ (PeS) ..C

A) SIMBOLIZACIN:
Ningn juez es injusto

M M

Todas las personas justas dicen la verdad

M P

Por lo tanto, no es el caso que, ninguna persona que diga la verdad sea no-juez.

~ P S

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U U
SeM S M = S M =
U
MaP M P =

S (P.E)
U U
.:. ~ (PeS) su contradictoria PiS P S P S

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es vlida por cuanto la diagramacin de la conclusin est constituida en la

diagramacin de las premisas.
OPERACIN N 10

Todos los hombres son mortales

Scrates es un hombre
Por lo tanto, Scrates es mortal.

MaP P1
SiM P2
.:. SiP ..C

A) SIMBOLIZACIN:
Ningn juez es injusto

M M

Todas las personas justas dicen la verdad

M P

Por lo tanto, no es el caso que, ninguna persona que diga la verdad sea no-juez.

~ P S

B) EXPRESAR EL ESQUEMA ANTERIOR EN TRMINOS BORLEANOS:

U
MaP M P =
U
SiM S M
U
.:. SiP S P

C) DIAGRAMACIN DEL SILOGISMO

La inferencia es vlida por cuanto la diagramacin de la conclusin est constituida en la

diagramacin de las premisas.