PENSAMIENTO LOGICO Y MATEMATICO

ACTIVIDAD INDIVIDUAL
MOMENTO INTERMEDIO

Lenguaje formal de la Lgica Proposicional. Representacin grfica de los

Silogismos Categricos.

Estudiante: Yenni del C. Parada Agudelo

Cdigo 66727697

Tutor: Hilder Moscote

Grupo 200611_291

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BASICAS TECNOLOGICAS E INGENIERIAS
PROGRAMA DE PSICOLOGIA
Abril de 2016.

Primer aporte individual

SILOGISMOS CATEGRICOS
Un silogismo es un argumento deductivo en el que se infiere una conclusin a
partir de dos premisas. El silogismo contiene exactamente tres trminos, cada uno
de los cuales slo aparece en dos de las proposiciones que lo constituyen. Se dice
que un silogismo est en forma estndar cuando sus premisas y conclusin estn
arregladas en cierto orden especfico. La conclusin de un silogismo de forma
estndar es una proposicin que contiene dos de los tres trminos del silogismo.
El trmino que aparece como predicado de la conclusin se llama el trmino
mayor del silogismo, y el trmino que aparece como sujeto de la conclusin es el
trmino menor del silogismo. As, en el siguiente silogismo:
Ningn hroe es cobarde
Algunos soldados son cobardes
Por lo tanto, algunos soldados no son hroes.
El trmino soldados es el trmino menor y el trmino hroes, es el trmino
mayor. El tercer trmino del silogismo que no aparece en la conclusin, y que
aparece en cambio en ambas premisas se llama el trmino medio. En nuestro
ejemplo, el trmino cobardes es el trmino medio. Los trminos mayor y menor
de un silogismo en forma estndar aparecen, cada uno, en una premisa diferente.
La premisa que contiene el trmino menor se llama premisa menor y la premisa
que contiene el trmino mayor se llama premisa mayor. Una caracterstica
definitoria de un silogismo de forma estndar consiste en que la premisa mayor se
enuncia primero, en seguida la premisa menor y al final la conclusin.
El modo de un silogismo de forma estndar est determinado por las formas de
las proposiciones categricas de forma estndar que contiene. Es decir, el
silogismo se representa por tres letras, la primera de las cuales nombra la forma
de la premisa mayor del silogismo, la segunda la de la premisa menor y la tercera
la de la conclusin. Por ejemplo, en el caso del silogismo precedente, puesto que
su premisa mayor es una proposicin E, su premisa menor es una proposicin I y
su conclusin una proposicin O; el modo del silogismo es EIO. El modo slo
describe parcialmente la forma de un silogismo, pues silogismos con el mismo
modo pueden diferir en sus formas, dependiendo de las posiciones relativas de los
trminos medios. La forma de un silogismo se puede describir por completo
enunciando su modo y su figura, donde la figura indica la posicin del trmino
medio en las premisas. Es claro que hay cuatro posibles figuras distintas que
pueden tener los silogismos. El trmino medio puede ser el sujeto de la premisa
mayor y el predicado de la premisa menor, o puede ser el predicado de ambas
premisas, o puede ser el sujeto de ambas premisas, o puede ser el predicado de
la premisa mayor y el sujeto de la premisa menor.

Estas diferentes posiciones posibles del trmino medio constituyen las cuatro
figuras del silogismo

1
M
P
S
M
__________
S
P

2
P M
S M
___________
S P

3
M
P
M
S
____________
S
P

4
P M
M S
_________
S P

As, el silogismo anterior tendr la forma EIO-2

Haciendo abstraccin de la infinita variedad de sus posibles combinaciones
obtenemos muchas formas diferentes de los silogismos categricos de forma
estndar. Si tuvisemos que listar todos los posibles modos diferentes,
comenzando con AAA, AAE, AAI, AAO, y as sucesivamente hasta llegar a
OOO, encontraramos sesenta y cuatro modos diferentes. Y puesto que cada
modo puede aparecer en cada una de las cuatro figuras diferentes, tendramos
256 formas distintas que pueden tomar los silogismos de forma estndar. Sin
embargo, de entre ellas solamente unas cuantas son vlidas.
SILOGISMOS VLIDOS
Un silogismo, es vlido cuando la representacin de las premisas contiene
necesariamente a la conclusin. Con diagramas de Venn podemos determinar la
validez o invalidez de un silogismo. Si representas la premisa universal y despus
la particular, observa el rea de la interseccin entre S y P. Si es igual al rea
representada en la conclusin, el silogismo ser vlido.

Observa que la X ya ha sido colocada en el espacio representado en la conclusin

(S-P), por lo que ya no es necesario volver a colocarla. Con ello se demuestra que
el silogismo es vlido.

Un silogismo resulta invlido al no cumplir al menos una de las reglas:

El silogismo debe tener tres trminos: mayor, menor y medio.
Los trminos no deben tener mayor extensin en la conclusin que en las
premisas1
El trmino medio nunca debe pasar a la conclusin.
El trmino medio debe ser universal por lo menos una vez.
Dos premisas afirmativas, no pueden dar conclusin negativa.
Dos premisas negativas, no dan conclusin.
Dos premisas particulares no dan conclusin.
La conclusin siempre sigue la parte ms dbil (particular y negativa).
Reglas de figuras:
Primera figura: mayor universal, menor afirmativa.
Segunda figura: mayor universal, una negativa.
Tercera figura: menor afirmativa, conclusin particular.
Cuarta figura: si la mayor es afirmativa, la menor debe ser universal.
Cuarta figura: si la menor es afirmativa, la conclusin debe ser particular.
Cuarta figura: si alguna premisa es negativa, la mayor debe ser universal.
EJEMPLOS DE SILOGISMOS CATEGORICO

Todos los perros son animales y algunos animales no son herbvoros

por lo tanto algunos perros son herbvoros

Todos los perros son animales y algunas mascotas son perros

por lo tanto algunas mascotas no son animales

Todos los perros son mamferos,

y todos los mamferos son animales;
por lo tanto, todos los animales son perros

Todos los perros son animales,

y ningn gato es un perro;
por lo tanto, ningn gato es un animal.

Ningn felino es un reptil,

y ningn reptil es un gato;
por lo tanto ningn gato es un felino

Todos los A son C ,

y todos los B son C ;

por lo tanto, todos los A son B

El sello discogrfico edit un CD de msica de Wagner

los nazis utilizaban msica de Wagner
por lo tanto el sello discogrfico es nazi

Todos los gatos son animales.

Algunos gatos son negros.
Por lo tanto algunos animales son negros.

Todos los humanos son mortales .

Todos los bolivianos son hombres.
Todos los bolivianos son mortales.

Todos los seres de negro corazn son inmortales.

Los ladrones son seres de negro corazn.
Los ladrones son inmortales

Todas las personas crdulas son engaadas fcilmente.

Todos los marineros son crdulos.
Todos los marineros son engaados fcilmente.

Ningn hombre es infalible.

Todos los sacerdotes son hombres.
Ningn sacerdote es infalible.

Todos los msicos tienen sensibilidad.

Todos los poetas tienen sensibilidad.
Todos los msicos son poetas.

Algunos jvenes son alegres.

Algunos ancianos son alegres.
Algunos ancianos son jvenes.

Segundo aporte individual:

Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo
Colaborativo Uno del Curso Pensamiento Lgico y Matemtico, para lo cual se
encuentra observando los primeros aportes hechos por los integrantes del grupo
colaborativo 816, pero en este grupo slo han participado tres integrantes. A Hilder
se le ha generado una confusin por la seleccin de aportes establecida por
Pablo, Jaime y Miguel; para aclarar cual operacin entre conjuntos escogi cada
uno de ellos, hace el siguiente anlisis: Pablo selecciona la operacin de unin
entre conjuntos, si Jaime selecciona la interseccin de conjuntos. Miguel

seleccionar la operacin de diferencia de conjuntos o Pablo no seleccionar la

unin entre conjuntos. O Jaime no selecciona la operacin de interseccin entre
conjuntos o Miguel no ha seleccionado la operacin de diferencia entre conjuntos.
Por consiguiente, Jaime no seleccion la interseccin entre conjuntos. Es
correcto este anlisis?
Determinamos las premisas y la conclusin
P.1 Pablo selecciona la operacin de unin entre conjuntos si Jaime selecciona la
interseccin de conjuntos
P.2 Miguel seleccionar la operacin de diferencia de conjuntos o Pablo no
seleccionar la unin entre conjuntos
P.3 O Jaime no selecciona la operacin de interseccin entre conjuntos o Miguel
no ha seleccionado la operacin de diferencia entre conjuntos
C. Por consiguiente, Jaime no seleccion la interseccin entre conjuntos

Las proposiciones serian

P Pablo
Q Jaime
R Miguel
Tabla de la verdad
{[(pq) (rVp)V(qVr)q]}

El resultado de esta tabla es una contingencia

Tercer Aporte Individual:

Seleccionar uno de los siguientes enunciados e identificar en dicho silogismo las
diferentes proposiciones categricas, y proponer una representacin mediante
Diagramas de Venn de las diferentes relaciones entre las clases implicadas, segn
las proposiciones categricas
P1. Toda progresin aritmtica consta de un valor inicial y una razn.
P2. Todos los ejercicios del curso de Clculo Diferencial son progresiones
aritmticas.
P3. Todos los ejercicios del curso de Clculo Diferencial constan de valor inicial y
una razn.

Como se puede observar, la representacin de la conclusin est incluida en la

representacin de las premisas (la del paso 3): una parte se coloreo con la
premisa 1 y otra con la 2. Eso significa que el silogismo es correcto.
REFERENCIAS BIBLIOGRAFICAS
http://objetos.unam.mx/logica/silogismos/pdf/TeoriaSilogismos.pdf
http://www.ejemplode.com/29-logica/146-ejemplo_de_silogismo.html
http://www.monografias.com/trabajos100/proposiciones-simples-ycompuestas/proposiciones-simples-y-compuestas.shtml
http://educativa.catedu.es/44700165/aula/archivos/repositorio//1250/1258/html/23_
resolviendo_silogismos.html