LGICA FORMAL PROYECTO FINAL

ENTREGA DE SORITES

FRANCISCO JAVIER MOLINA GIL

JUAN PABLO RODRGUEZ PATIO

UNIVERSIDAD DEL QUINDO

FACULTAD DE INGENIERA
INGENIERA DE SISTEMAS Y COMPUTACIN
QUINDO
2017
INTRODUCCIN
Los sorites son silogismos agrupados de manera tal que con ellos podemos llegar a una
supuesta conclusin, en los sorites el objetivo general es deducir la conclusin final
haciendo uso de cada una de sus premisas.

Para hacer ms clara la definicin de los trminos dados, a continuacin, se har un breve
resumen de cada uno de ellos, comenzando por definir 3 trminos importantes los cuales
son:
P (Trmino mayor): El cual es el predicado de la conclusin
S (Trmino menor): El cual es el sujeto de la conclusin
M (Trmino medio): No aparece en la conclusin, pero si en ambas premisas.

Es necesario recalcar que existen maneras de clasificar un sorites, y una de estas es por
medio de las figuras (Para ello vamos a hacer uso de los trminos dados anteriormente):

Figura 1:
MP es decir el trmino medio antepone al trmino mayor.
SM es decir el trmino menor antepone al trmino medio.
SP La conclusin es siempre igual, un trmino menor anteponiendo al trmino mayor.

Figura 2:
PM es decir el trmino mayor antepone al trmino medio.
SM es decir el trmino menor antepone al trmino medio.
SP La conclusin es siempre igual, un trmino menor anteponiendo al trmino mayor.

Figura 3:
MP es decir el trmino medio antepone al trmino mayor.
MS es decir el trmino medio antepone al trmino menor.
SP La conclusin es siempre igual, un trmino menor anteponiendo al trmino mayor.

Figura 4:
PM es decir el trmino mayor antepone al trmino medio.
MS es decir el trmino medio antepone al trmino menor.
SP La conclusin es siempre igual, un trmino menor anteponiendo al trmino mayor.

Adems de esto tambin pueden ser clasificados de manera categrica, para esto, vamos a
definir ciertas categoras a continuacin, siendo A y B trminos de la premisa.

Categora A:
Todos los A son B

Categora E:
Ningn A es B
Categora I:
Algunos A son B

Categora O:
Algunos A no son B

EJEMPLOS

Sabiendo ya todo esto pasaremos a dar dos ejemplos de sorites y procederemos a dar
solucin, a buscar nuestro objetivo el cual es hallar la conclusin de los sorites dados a
continuacin.

SORITES 1:
P1 Todos los sistemas operativos buenos son Linux
P2 Ningn sistema operativo Linux tiene herramientas Office
P3 Todas las Herramientas Office son inservibles
P4 Todas las herramientas inservibles son de Windows

SORITES 2:
P1 Todos los estudiantes de ingeniera de sistemas son matemticos
P2 Ningn estudiante matemtico es programador
P3 Ningn programador se grada con honores
P4 Todos los que se gradan con honores son inteligentes

SOLUCION DE LOS SORITES:

Sorites 1:

P1 Todos los sistemas operativos buenos son Linux

P2 Ningn sistema operativo Linux tiene herramientas Office
P3 Todas las Herramientas Office son inservibles
P4 Todas las herramientas inservibles son de Windows

P2 Ningn sistema operativo Linux tiene herramientas Office

P1 Todos los sistemas operativos buenos son Linux________
C1 Ningn sistema operativo bueno tiene herramientas Office
AEE-1

P4 Todas las herramientas inservibles son de Windows

P3 Todas las herramientas Office son inservibles__________
C2 Todas las herramientas Office son de Windows

AAA-1

C2 Todas las herramientas Office son de Windows

C1 Ningn sistema operativo bueno tiene herramientas Office
C Ningn sistema operativo bueno es Windows
EAE-1

Sorites 2:

P1 Todos los estudiantes de ingeniera de sistemas son matemticos

P2 Ningn estudiante matemtico es programador
P3 Ningn programador se grada con honores
P4 Todos los que se gradan con honores son inteligentes

P2 Ningn estudiante matemtico es programador

P1 Todos los estudiantes de ingeniera de sistemas son matemticos
C1 Ningn estudiante de ingeniera de sistemas es programador
EAE-1

P4 Todos los que se gradan con honores son inteligentes

P3 Ningn programador se grada con honores_________________
C2 Todos los estudiantes de ingeniera de sistemas son inteligentes

AEA-1

C2 Todos los estudiantes de ingeniera de sistemas son inteligentes

C1 Ningn estudiante de ingeniera de sistemas es programador____
C Todos los estudiantes de ingeniera de sistemas son inteligentes
AEA-1