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.
