Lenguajes de Programacin Silogismo

Mstra. en Sistemas Ma. Carmen Jimnez

Silogismo
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristteles. Platn aplico esto para concluir
Los individuos de ambos sexos deben desempear los mismos oficios en el Estado.

Las figuras del Silogismo

Esto lo determina la posicin donde se encuentra EL TERMINO MEDIA DE LA PREMISA. Donde M = Trmino medio S = Trmino menor P =Trmino mayor

1 Figura Sub-prae M S P M

Los insectos tienen respiracin traqueal PREMISA MAYOR Las liblulas son insectos PREMISA MENOR Las liblulas tienen respiracin tranqueal

El Trmino Medio, INSECTOS, se encuentra como sujeto En la premisa mayor y como predicado en la menor

Las figuras del Silogismo

2 Figura Bis-prae P S M M

Los peces tiene columna vertebral Los pulpos no tienen columna vertebral Los pulpos no son peces

El Trmino Medio, COLUMAN VERTEBRAL, se encuentra en el predicado En las dos premisas.

Las figuras del Silogismo

3 Figura Bis-sub M M P

Algunos artrpodos son crustceos Todos los artrpodos son animales con simetra bilateral Algunos animales con simetra bilateral son crustceos S

El Trmino Medio, ARTRPODOS, est como sujeto en ambas premisas.

Las figuras del Silogismo

4 Figura Prae-Sub P M M S

Ningn miripodo es acutico Algunos acuticos son crustceos

Premisa Mayor Premisa Menor

Algunos crustceos no son miripodos

El Trmino Medio, Acatico, es predicado en la premisa mayor y Sujeto en la menor.

Modos y Formas del Silogismo

CLASE DENOMINACIN ESQUEMA EXPRESINEJEMPLO Todos los hombres son mortales

Extensin de los trminos

S: Universal P: Particular S: Universal P: Universal S: Particular P: Particular

Universal Afirmativo Universal Negativo Particular Afirmativo

Todo S es P

Todos los S no Ningn hombre es mortal son P Algn S es P

Algn hombre es mortal

Particular Negativo

Algn S no es P

Algn hombre no es mortal

S: Particular P: Universal

Los insectos tienen respiracin traqueal : A Las liblulas son insectos :A Las liblulas tienen respiracin tranqueal : A Los peces tiene columna vertebral : A Los pulpos no tienen columna vertebral : E Los pulpos no son peces :E
Algunos artrpodos son crustceos Todos los artrpodos son animales con simetra bilateral Algunos animales con simetra bilateral son crustceos Ningn miripodo es acutico Algunos acuticos son crustceos Algunos crustceos no son miripodos :I :A :I :E :I :O

Las figuras del Silogismo

Esto lo determina la posicin donde se encuentra EL TERMINO MEDIA DE LA PREMISA.
1 Figura Sub-prae M S P M 2 Figura Bis-prae P S M M 3 Figura Bis-sub M M P S 4 Figura Prae-Sub P M M S

AAA-1

AEE-2

IAI-3

EIO-4

El nmero indica la figura , el resto es el modo.

Modos y Formas del Silogismo

CLASE DENOMINACIN ESQUEMA EXPRESINEJEMPLO Todos los hombres son mortales

Extensin de los trminos

S: Universal P: Particular S: Universal P: Universal S: Particular P: Particular

Universal Afirmativo Universal Negativo Particular Afirmativo

Todo S es P

Todos los S no Ningn hombre es mortal son P Algn S es P

Algn hombre es mortal

Particular Negativo

Algn S no es P

Algn hombre no es mortal

S: Particular P: Universal

Mtodo de los axiomas y teoremas Principios Generales

P
Si los S son una parte de los M y todos Los M son P, entonces los S son P.

Si los S son una parte de los M y ningn M es P, entonces ningn S es P.

Aplicando Silogismo en la Lgica

Utilizando el siguiente silogismo Si A entonces B A B
a) La premisa mayor es una condicional cuyo antecedente es A y consecuente es B b) La segunda premisa es el antecedente de la condicional , es decir A c) La conclusin es el consecuente, es decir B

Aplicando Silogismo en la Lgica

Utilizando el siguiente silogismo Si A entonces B Si B entonces C Si A entonces C
a) La premisa mayor es una condicional cuyo antecedente es A y consecuente es B b) La segunda premisa es una condicional, cuyo antecedente es B y consecuente es C a) La conclusin es una condicional cuyo antecedente es A y el consecuente es C

Conectores Lgicos

Conectores Y O O -- O SI ENTONCES SI Y SLO SI NO

Nombre Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Negacin

Smbolo & V V

Ejemplo de Conectores Lgicos

Conectores p &q p q pVq pV(q&r) ( p & r) q p q r q Nombre pyq Si p entonces q No p o q po, qy r No es verdad que si p y r, entonces q p si y slo si q Si no r entonces no q

Ejemplo de Conectores Lgicos p = Febrero tiene 29 das q = El ao es bisiesto

Conectores
p &q pVq p Vq p q p q p

Nombre
Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional Negacin

Lectura
Febrero tiene 29 das Y El ao es bisiesto Febrero tiene 29 das O El ao es bisiesto O Febrero tiene 29 das O El ao es bisiesto SI Febrero tiene 29 das ENTONCES El ao es bisiesto Febrero tiene 29 das SI Y SOLO SI El ao es bisiesto Febrero NO tiene 29 das