UNIVERSIDAD ANDINA DEL CUSCO.

FACULTAD DE CIENCIAS Y HUMANIDADES

DEPARTAMENTO ACADÉMICO DE HUMANIDADES Y EDUCACIÓN

FICHA: CONOCIMIENTO LOGICO

CURSO: PENSAMIENTO FILOSOFICO, ETICA Y CIUDADANIA

PARA ESTUDIANTES DE ESTUDIOS GENERALES
GRUPO: 2AI,

JOSE MORIANO ALENDEZ

CUSCO, 23 OCTUBRE DEL 2017

Concepto de Lógica
Principios Lógicos
Lógica Formal o Clásica
Conceptos,
Juicios
Razonamientos
Argumentos no Validos (Falacias)
Estructura del pensamiento
Validez del Silogismo
Con sus respectivas actividades, como indica en el texto
Bibliografía:

DEFINICION DE LOGICA:

Es la ciencia que estudia la inferencia, estableciendo principios y métodos que permitan

establecer su validez

También, es el significado de una expresión aseverativa que tiene la cualidad de

ser verdadera o falsa
 Validez de inferencias
 Inductivas
 Deductivas
Para desarrollar en clase, mediante las demostraciones y ejemplificaciones.

PRINCIPIOS LÓGICOS
Son tautologías de una sola variable, es decir son enunciados que se presentan
como verdades evidentes a la razón, con tal fuerza que no requieren de
demostración, se les llama también cuerpo o conjunto axiomático de principios,
sirven de base y fundamento para el planteamiento de principios teorías y leyes
en las diferentes ciencias y son:

 Principio de Identidad.- Planteado por Parménides, al sustentar la

exposición metafísica del ser, al afirmar que “el ser es y el no ser no es”,
en la lógica formal y proposicional se enuncia: toda proposición es idéntica
 a si misma, o sea que, toda proposición se implica así misma. Se formaliza
por: p --> p o p <---> p

Expresión lingüística:Si estás enfermo entonces estas enfermo.

 Principio de No Contradicción.- Es imposible que una proposición sea

verdadera y falsa a la vez
El principio de la no contradicción se simboliza ~(p /\ ~p).

Expresión Lingüística: Es imposible que tengas insignia y no tengas insignia

a la vez

 Principio del Tercio Excluido.- una proposición cualquiera “P, solo

tiene dos posibilidades, de ser verdadera o de ser falsa o también P o
no P,
Se simboliza: p V~p
Expresión Lingüística: El Perú es una República o el Perú no es una República.

JUICIOS CATEGORICOS (elaboración de ejemplos y su validez)

e.1) El CUADRO DE BOECIO.- Boecio, comentador de la lógica

Aristotélica en el Medio Evo, planteo el “Cuadro de Boecio”, para
establecer las relaciones posibles entre los juicios Categóricos
Típicos, como se expresa en el siguiente Grafico:
Inferencias inmediatas de la lógica tradicional:

a) Por Oposición. -Se adecua al Cuadro de Boecio

Contradictorios.- Dos proposiciones son contradictorias cuando una de ellas

es negación de la otra. Son proposiciones que, teniendo el mismo sujeto
y el mismo predicado, difieren por la calidad y la cantidad. Si una es
universal la otra es particular y viceversa. Si .una es afirmativa la otra es
negativa y viceversa. Por eso, son contradictorias la A - O y la E-- I, en
el cuadro de oposición.

Por ejemplo, en el caso de A-O. "Todos los poetas son sentimentales" (A)
que es universal afirmativa, es contradictoria de "Algunos poetas no son
sentimentales" (O),que es particular negativa. En el caso de E - I "Ningún
ateo es católico" (El) que es universal negativa, es contradictoria de
"Algunos ateos son católicos"(I), particular afirmativa.
De aquí que no pueden ser ni ambas verdaderas ni ambas falsas. Si es
falsa la universal es verdadera la particular y a la inversa.
Las relaciones de verdad de las inferencias de las proposiciones
contradictorias, en el cuadro de oposiciones quedan perfectamente
establecidas. Si la "A" es verdadera la "O" es falsa y a la inversa. Ysi la
A es falsa la O es verdadera y viceversa. Igualmente, si. E es verdadera
la I es .falsa y viceversa. y si la E es falsa la 1 es verdadera y viceversa.

Contrarias.- Las proposiciones universales que tienen los mismos sujetos

y predicados pero difieren en cualidad, son contrarias. Nunca pueden
ser verdaderas a la vez, pero sí pueden ser falsas. Se refieren a las
proposiciones universales A y E. Por ejemplo:

Todos los poetas son soñadores

 Y
Ningún poeta es soñador.

Subcontrarias.- Dos proposiciones son subcontrarias y no pueden ser

ambas falsas, pero sí pueden ser verdaderas. Las proposiciones
particulares que tienen el mismo término sujeto y término predicado pero
diferente calidad son subcontrarias.

Algunos diamantes son piedras preciosas

Y
Algunos diamantes no son piedras preciosas

Subalternación.- La oposición entre una proposición universal y su

correspondiente particular se llama subalternación. En este caso, la
proposición universal se llama subalternante y la particular, subalterna.
La subalternante implica la subalterna. La relación de implicación no rige
de la subalterna a la subalternante.

Subalternas.-Son las proposiciones particulares. Tienen la misma calidad

y distinta cantidad que las universales. La verdad de las subalternas
depende de las universales. Si las universales son verdaderas, las
subalternas son también verdaderas y si las universales son falsas, las
subalternas quedan indeterminadas. Ejemplos:

 "Algunos hombres no son analfabetos" es subalterna de:

"Ningún hombre es analfabeto".

 "Algunos atletas son peruanos"

es subalterna de: "Todos los atletas son peruanos"

Subalternantes.- Son las proposiciones universales. Tienen la misma

calidad y distinta cantidad que sus respectivas particulares. La verdad de
estas proposiciones depende de las particulares. Si son verdaderas las
particulares, la subalternante queda indefinida y si son falsas la
subalternante es falsa. Ejemplos

 "Algunos jugadores son psiquiatras", tiene como subalternante:

"Todos los jugadores son psiquiatras"

 "Algunos gorilas son políticos", tiene como subalternante:

"Todos los gorilas son políticos".

Las relaciones establecidas en el cuadro de oposición permiten pasar de una

proposición llamada premisa a la otra proposición llamada conclusión, sin
ninguna proposición intermediaria. Por eso, se llaman estas "inferencias
inmediatas".
EL RAZONAMIENTO.- Es el ente lógico compuesto por juicios llamados
premisas que al relacionarse entre sí, permite obtener una conclusión; la validez
de la conclusión surge por la forma como se relación las premisas.Ejemplo:
A es igual a B.
B es igual C.
A es igual a C.

CLASES DE RAZONAMIENTO.- Son: Deductivos, Inductivos y analógicos.

a) Razonamientos Inductivos (de lo particular a lo general).- Cuando las

premisas son juicios particulares y la conclusión es un juicio universal,
ejemplo:

El jurel respira por branquias

La trucha respira por branquias
La corvina respira por branquias
Luego, todos los peces respiran por branquias

b) Razonamientos Deductivos (el razonamiento va de lo general a lo

particular).- La primera premisa es un juicio universal, la conclusión es
un juicio particular) ejemplo:
Los camélidos son vegetarianos.
La llama es un camélido
Luego la Llama es vegetariana.

c) Razonamientos Analógico (las premisas y la conclusión son juicios

particulares) ejemplo:

Lucy va a la Universidad Andina todos los días

A Lucy le acompaña su prima Raquel diariamente
Luego, Raquel se prepara en la Universidad Andina.

El pensamiento va de lo particular a lo particular

ARGUMENTOS NO VALIDOS:
 Empleamos la Falacias,:
a) Formales y
b) No formales
Con su respectivas actividades.
.

EL SILOGISMO - El silogismo categórico es una estructura de proposiciones

categóricas, donde a partir de dos premisas se deduce una conclusión.
1.1. ELEMENTOS:
a) Tres conceptos o términos.- Unidos de 2 en 2 en 3 juicios o
proposiciones:
a.1) Término mayor.- Concepto con mayor extensión, su símbolo es P
(predicado de la conclusión)
a.2) Término menor.- Concepto con menor extensión su símbolo es S
(Sujeto de la conclusión).
a.3) Término medio.- Que tiene una extensión intermedia se representa
por M.
b) Los juicios o proposiciones.
a.- Dos de ellos se denominan premisas.
b.- La tercera se denomina conclusión
c) Las premisas.
a. Premisa Mayor.- Enuncia la relación entre el término mayor P y el
término medio M.
b. Premisa Menor.- Enuncia la relación entre el término medio M y el
término menor S.
Las premisas contienen 3 términos; la conclusión nunca el término medio.

Resumiendo, el silogismo categórico de la lógica tradicional aristotélica se

caracteriza:

 Por tener premisa mayor, premisa menor y conclusión

 Por tener sólo tres términos denominados mayor (P). medio (M) y menor
(S)
 Por tener el término medio sólo en las premisas
 El sujeto de la conclusión es el término menor y aparece en la premisa
menor
 El predicado de la conclusión es el término mayor y aparece en la premisa
mayor.

Por ejemplo:
Todos los hombres son mortales
 Sócrates es un hombre
Luego, Sócrates es mortal

Término Mayor (P), es mortal.

Término Medio (M), es hombre.
Término Menor (S), Sócrates.

ESTRUCTURA

Premisa Mayor : M P
Premisa Menor: S M
Conclusión S P

Identificando términos

 Término medio= M
 Término mayor= P
 Término menor= S

1.2. SIGLAS Y FORMALIZACION DE LAS PROPIEDADES

PROPOSICIONALES.- Básicamente el silogismo categórico se
construye con tres de las cuatro proposiciones categóricas.

A: Todo S es P Universal Afirmativo UA

E: Ningún S es P Universal Negativo UN
I: Algún S es P Particular Afirmativo PA
O: Algún S no es P Particular Negativo PN

REGLAS PRÁCTICAS DEL SILOGISMO.- El análisis correspondiente

resulta útil para determinar el sujeto y el predicado de la conclusión a
partir de dos premisas; por lo que es necesario observar las reglas
prácticas para obtener la conclusión con respecto a la cantidad, se
establecen 6 reglas:

Cantidad:
I. Universal II. Universal III. Particular.
Universal Particula Particular
Universal (particular) Particular No válida.

Calidad:
IV. Afirmativa V. Afirmativa VI. Negativa.
Afirmativa Negativa Negativa.
Afirmativa Negativa No válida.

Ejemplo de aplicación:
1. Ningún patriarca es joven UN - E
Todos los jóvenes son rebeldes. UA - A
 Ningún rebelde es patriarca. UN - E

2. Todos los títeres son juguetes UA - A

Algunos juguetes no son pitos. PN - O
Algunos pitos no son títeres. PN - O

3. Todos los atletas son ágiles UA - A

Todos los ladrones son ágiles. UA - A
Todos los ladrones son atletas. UA - A

4. Ningún ladrón es honesto UN - E

Algunos políticos son honestos. PA - I
Algunos políticos no son ladrones. PN - I

Nota: El símbolo es = entonces; por tanto, luego, etc.

1.3. REGLAS GENERALES DEL SILOGISMO.- La lógica tradicional tuvo

5 reglas después 8 reglas de las cuales:

4 Se refieren a los términos.

4 se refiere a las proposiciones - premisas.

Se reduce a una sola condición, que la premisa mayor contenga

implícitamente más la conclusión y la premisa menor la ponga en evidencia.
Son:

1. El silogismos sólo debe tener 3 términos: el M,P,S, no hay menos de tres

términos, sino más de 3 términos.

2. El término medio no debe entrar en la conclusión; la relación que se

establece es entre el S y el P.

3. El término medio debe ser tomado por lo menos una sola vez en todo su
extensión. No se puede concluir de la siguiente:

Algunos hombres son prudentes.

Algunos son sabios.- Luego.

4. Los términos mayor Y menor no deben de ser tomados en la conclusión

con mayor extensión que en las premisas. Se va de lo Universal a lo
particular. Lo exige la naturaleza del silogismo.

5. De premisas afirmativas no se puede concluir una inferencia negativa.

6. De premisas negativas no se saca conclusión.

7. De 2 premisas particulares tampoco se puede sacar una conclusión.

(Algunos).
 8. La conclusión sigue la parte más débil de las premisas. Se llama parte más
débil de la proposición negativa con respecto a la afirmativa y a la particular
con respecto a universal. Consecuentemente s una de las premisas es
negativa, la conclusión es negativa, si es particular la conclusión es
particular. Ejemplo:

1. Primer caso. Negación.

Ningún hombre es infalible.
Todos los médicos son hombres.
Luego:
Ningún médico es infalible.
2. Segundo caso. Particular
Todos los metales son maleables.
Algunos minerales son metales.
Luego.
Algunos minerales son maleables.

FIGURAS DEL SILOGISMO CATEGORICOS.

Figuras y modos silogísticos

Teniendo en cuenta la disposición de los términos en las premisas y

en la conclusión se pueden dar las siguientes FIGURAS
SILOGÍSTICAS, que se denominan:

1ª FIGURA 2ª FIGURA 3ª FIGURA 4ª FIGURA

MP PM MP PM Premisa mayor
SM SM MS MS Premisa menor
SP SP SP SP CONCLUSIÓN

Los modos son las distintas combinaciones que se pueden hacer con los
juicios que entran a formar parte de las premisas y la conclusión. Como
estos juicios tienen cuatro tipos distintos, (A,E,I,O), y en cada caso se
toman de tres en tres, (dos premisas y una conclusión) hay 64
combinaciones posibles. Estas 64 combinaciones posibles quedan
reducidas a 19 modos válidos, al aplicar las reglas del silogismo. Cuando
se pregunta: ¿Qué forma y figura tiene un silogismo categórico?; se puede
sustituir con la pregunta ¿Qué modo tiene?; por lo tanto, el modo de un
silogismo es la figura y la forma. A la pregunta: ¿Cuántos modos posibles
existen?; para ello basta multiplicar el número de figuras por el de formas,
estableciéndose un número de 156.

Primera Figura.-
M - P Todos los mamíferos son vertebrados.
S – M Los paquidermos son mamíferos.
 S - P Los paquidermos son vertebrados.

La M hace de S en la premisa mayor y de predicado en la premisa menor.

Para Aristóteles representa el razonamiento deductivo más adecuado,
para ser válido es preciso que la premisa mayor sea universal afirmativa o
universal negativa y la premisa menor afirmativa.
Segunda Figura.-
P - M Ningún mentiroso merece fe.
S - M Todo hombre de bien merece fe.
Luego
S – P Ningún hombre de bien es mentiroso.

El término medio (M) hace de predicado en ambas premisas. Una de las

premisas es universal y una de la premisas es negativa.
Tercera Figura.-
M – P Algunos malvados amasan grandes fortunas.
M – S Todos los malvados son miserables.
Luego
S – P Algunos miserables amasan grandes fortunas.

Letra M hace del sujeto en ambas premisas; la menor premisa es

afirmativa y la conclusión es particular.
Cuarta Figura.-
P – M Algunos hombres contentos son desdichados.
M – S Ningún desdichado es pobretón.
Luego.
S - P Algunos pobres no son hombres contentos.

Todos los caballos son solípedos,

Ningún solípedo es carnívoro
Luego
Ningún carnívoro es caballo.
El término medio (M) como preciado de la premisa mayor y como sujeto en
la premisa menor. Se le llama silogismo galénico (Galeno) y las otras tres
se atribuyen Aristóteles, los que se utilizan siempre y casi nunca es la
cuarta figura.
2. MODOS.- Si se observa las 3 proposiciones que forman el silogismo,
pueden ser universales afirmativas una de ellas, y las restantes
universales negativas; también pueden ser universales afirmativas una de
ellas y las demás particulares afirmativas, etc. A este aspecto particular
del silogismo se llama modos del silogismo según la naturaleza de las 3
proposiciones. Los modos del silogismo resultan de la combinación de las
formas típicas de los juicios categóricos que son A,E,I,O.
Modo del silogismo es la forma que toma éste de acuerdo con la cantidad
y la cualidad de las premisas. De la aplicación de las leyes de los
silogismos a los 64 modos resultan válidos solamente 19 y son los que
 tradicionalmente se memorizan atendiendo a las clases de juicios que
constituye cada figura con sus premisas y conclusión.
Ejemplo: En “A”.- Universal afirmativa”

Todos los cuerpos son pesados.

Todos los gases son cuerpos.
Luego.
. Todos los gases son pesados. A
Ahora vemos en que la premisa mayor sea un “A” y la menor sea I
(particular – afirmativa) y la conclusión es igual a I:
. Todo mamífero es vertebrado. A
Algunos animales que vive en el agua son mamíferos. I
Luego.
Algunos animales que viven en el agua son vertebrados.
Si las combinaciones de 3 en 3 todas las formas de las cuatro clases de
proposiciones (A, E, I, 0) se obtiene 64 combinaciones posibles entre (4 X
4 X 4 = 64) No todos ellos son válidos porque algunos son contrarios a las
reglas del silogismo.
Sólo quedan 24 modos correctos o válidos distribuidos en la 4 figuras de la
siguiente manera:

Así los modos

Modos expresados en nombres
válidos
De la primera AAA, EAE, AII, EIO, BARBARA, CELARENT, DARII, FERIO,
figura AAI, EAO AAI, EAO
De la segunda EAE, AEE, EIO, CESARE, CAMESTRES, FESTINO,
figura AOO, AEO, EAO BAROCO, AEO, EAO
De la tercera AAI, IAI, AII, EAO, DARAPTI, DISAMIS, DATISI,
figura OAO, EIO FELAPTON, BOCARDO, FERISON
De la cuarta AAI, AEE, IAI, EAO, BAMALIP, CAMENES, DIMARIS,
figura EIO, AEO FESAPO, FRESISON, AEO

GRÁFICA DE UNA SOLA CLASE O CONJUNTO.

a.- Cualquier clase o conjunto común de la realidad tiene elementos que lo

integran. Ejemplo: carpeta = sujeto ( S ).
S≠Φ
 b. Conjunto vacío.- De acuerdo a la teoría de los conjuntos se acepta la
existencia del conjunto vacío, por que se caracteriza de que no
contiene ningún objeto. Para representarlos gráficamente se dibuja el
círculo y se lo raya.

Significa de que carece de miembros Ej. El pegaso.

Si “S” = Fantasma, diremos que no tienen elementos, entonces: S = Ф (S
es igual al vacio) y se representa:

FIG Nº 2

2.- Gráfica de dos clases.El hombre racional, es una proposición estructurada

por sujeto y predicado. (S -P) Juntando las 2 gráficas (1 y 2), se verifica el
valor lógico y su coincidencia.

Fig. 03
En esta figura de dos clases que se interseccionan se obtiene cuatro clases de
intersecciónes:

a.- S∩ = Φ
b.- S∩P=Φ
c.- ∩p=Φ
d.- ∩ =Φ

GRAFICANDO CON TRES CLASES: Sujeto (S), Término Medio (M) y

Predicado (M)

2.- LAS PROPOSICIONES CATEGORICAS

Según Venn:
1. TODOS LOS S SON P.- Los elementos de S pertenecen a P: o sea que S está
contenida en P; entonces el elementos que no pertenece a P, no existe.
Graficando.

S = Ф

S = Ф. Los S que no son P. No existen

¿por qué? porque todos los S son P.

2. NINGUN S ES P.- Se entiende que ningún elemento de S pertenece a P, lo que

equivale que no existirá intersección de S y P.
 SP=Ф

Los S que son P no existe, ¿por qué? Por que

ningún S es P.

3.- ALGUNOS S SON P.- Se entiende que los elementos de S, que pertenecen a P, existen, pero
no todos, solo son algunos.

SP╪Ф
Los S que son P, si existen.

4. ALGUNOS S NO SON P.- Se refiere a los elementos de S que no pertenecen a P.

S ╪Ф

Los S que no son de P, si existen.

3.- LAS CUATRO PROPOSICIONES CATEGÓRICAS ATIPICAS

Algún no comerciante es honesto

Si S es comerciante y P honesto.

S P

X
ACTIVIDADES No 02:

Diagramar las proposiciones atípicas y típicas según el caso

1. Todos los perros no son voladores

2. Ningún conejo es volador
3. Es falso que algunos cerdos sean aves
4. No es cierto que algunos estudiantes universitarios sean católicos.
5. No existe Cusqueño que sea Arequipeño
6. Los perros son mamíferos

4.- SILOGISMOS VALIDOS.

Los silogismos son válidos en función del cumplimiento de las reglas d l caso (24
formas válidas).

4.1.- VALIDEZ DEL SILOGISMO CATEGORICO.

A pesar que existe una serie de reglas, se reduce como única regla lo siguiente:
“Para que un silogismo sea válido, debe leer la conclusión en la representación
gráfica de las premisas, “Para esto se sigue los siguientes procedimientos:
a. Todos los mamíferos son vertebrados. M- Todos los M son P.
b. Los Paquidermos son mamíferos S- Todos los S son M.
c. Todos los paquidermos son vertebrados. S - Todos los S son P.

GRAFICANDO:

Paso A.- Si representa la premisa: “Todos los M son P” para que se cumpla, se elimina
los elementos de M ( se sombrea) están fuera de “P” (f y g).
La Premisa. M = Ф
Se sombrea lo que corresponde a f y g.

Paso B.- Se sigue igual que el paso A. Todo los S son M. es decir se elimina los elementos de
S (se sombrea), que no pertenece a M.S -

Paso C.- Todos los S son P”.- La única zona de “S” que posee elementos es aquello que
se encuentra en d, y que se halla dentro de “P”, por lo tanto se cumple la conclusión y el
silogismo es válido, S =Ф

Otro ejemplo:
Todo P son M es P∩M=Ф
Todos los M son S. es M ∩ S = Ф
Todos los S son P. es S∩P=Ф
 ¿Todos los S son P? (S P = Ф). No se cumple, hay elementos que escapa
a la P. Por lo tanto el silogismo no es válido.

REGLAS SEGUN EL DIAGRAMA DE VENN PARA LA VALIDEZ DEL

SILOGISMO.
1. Cada una de las 3 proposiciones del silogismo debe traducirse al
lenguaje algebraico. Para ello el término medio es M; el término menor
es S y el mayor es P. A esto se llama esquema algebraica del
silogismo.

2. A cada término se le asigna un circuito que lleve su nombre. Los 3

círculos deben cortarse o intersequen entre si.

3. En diagrama obtenido por la aplicación de la regla anterior se produce a

representar las premisas de acuerdo con los diagramas. Si una premisa
es universal y la otra es partícula, entonces debe graficarse primero la
premisa universal.

4. El silogismo es lógicamente válido si y solamente si al ser graficado las

premisas queda automáticamente graficada, de manera inequívoca, la
conclusión. Si no queda graficada la conclusión es válido.

Ej. Se tiene el modo OAO de la tercer figura:

M - P = Algunos números no son transfinitos

M -S= Todos los números son objetos ideales.

S - P = Algunos objetos ideales no son transfinitos.
(0) M ∩ ╪ Ф
(A) M ∩ = Ф
(0) S ∩ ╪ Ф

–algunos M no son P - Todos los M son S –algunos S no son P.

 Nota: Este diagrama nos muestra que este silogismo es lógicamente válido.

OTRO EJEMPLO:
1. Ningún hombre es felino.
2. Todo felino es un ser con garras
3.- Luego: Algunos seres con garra no son hombres.
Le corresponde al modo: EAO de la cuarta figura:

Ningún P es M = PeM= Φ Figura 4

Todos los M son S = Ma =Φ

Algunos S no son P = S o ╪Φ

Ningún P es M. P∩ M= Φ
Todo M es S M ∩ = Φ
Algunos S no son P S ∩ ╪ Ф

El anterior ejemplo es lógicamente válido.

Ejemplos Válidos:
Todos los peruanos son americanos.
Todos los cusqueños son peruanos.
Luego
Todos los cusqueños son americanos.
 Le corresponde el modo AAA. Primera figura.
M-P Todos los M son P
S-M Todos los S son M
S-P Todos los S son P

M∩ =Φ

S∩ =Φ
S ∩ = Φ

Nota: como sugerencia se plantea la siguiente forma de realizar la operación para establecer la
validez del silogismo:

Proposiciones:
Todos los peruanos son americanos.
M P
Todos los cusqueños son peruanos.
S M
Por lo tanto.
Todos los cusqueños son americanos.
S P

Como una manera de contribuir en la diagramación por medio de las gráficas de Venn, hacemos
este cuadro donde se establece el modo, la figura, y las fórmulas booleanas.

proposiciones modo figura Fórmula Fórmula final

booleana
Todos los M son A Ma P S ∩ = Ф M ∩ = Ф
P
Todos los S son A Sa M S ∩ = Ф S ∩ = Ф
M
Todos los S son P A S a P S ∩ = Ф S ∩ = Ф
-
Para definir la fórmula final, se combina los elementos de la figura que suple a los
elementos de cada una de las premisas de las fórmulas booleanas, por ejemplo en la
primera premisa la M de la figura, suple a la S de la fórmula booleanas y desempeña la
función de sujeto, la P simplemente se acondiciona a la P de la fórmula. En la segunda
premisa la S pasa a ser S, la M suple a la P y desempeña la función de predicado.
 M
M
M
Algunos modos
M clásicos de validez

M
M
M

ACTIVIDADES N0 03:
Demostrar a través de esta metodología los siguientes silogismos:

Caso: 01
 Ningún obrero es capitalista
 Todos los obreros son proletarios
 Luego: Algunos proletarios no son capitalistas

Caso : 02

 Todos los capitalistas no son empresarios

 Todos los no empresarios son trabajadores asalariados
 Luego: Algunos trabajadores asalariados son capitalistas


BIBLIOGRAFIA:
IRVING M. COPI, Introducción a la Lógica, (1977), Editorial Universitaria de
Buenos Aires, Printed in Argentina

BOCHENSKI, I (1968) Historia de la Lógica Formal, Editorial Gredos. Madrid.

ROSALES PAPA, Diógenes. (1998) Introducción a la Lógica. Editorial Labrusa.
Lima.
PISCOYA, Luis (1993), Filosofía y Lógica, Editorial Brasa. Lima