You are on page 1of 8

Taller 03 – Sistemas Expertos – IEVD Uniminuto

JEISSON DANIEL SEGURA CÓDIGO ID VÍCTOR HUGO GONZALEZ CÓDIGO ID JOSE ANTONIO MERINO CÓDIGO ID 000156387 000149890 000145313

2013-Feb-22

1. Todos los Rinocerontes tienen un cuerno; todos los Plantígrados son rinocerontes; así Pues, todos los Plantígrados tienen un cuerno. r = Ser rinoceronte, c = Tener un cuerno, p= Ser plantígrado 1. 2. 3. 4. 5. 6.

 x ( r(x)  c (x) )  x ( p(x)  r (x) ) Demostrar que:  x ( p(x)  c (x) ) _______________________ r(a)  c(a) Eliminación del Generalizador (EG) en 1. p(a)  r(a) Eliminación del Generalizador (EG) en 2. p(a)  c(a) SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 3.  x ( p(x)  c (x) ) Introducción del Generalizador (IG) en 5.

2. Todas las selvas tropicales tienen color esmeralda. Nada que sea esmeralda está reseco. Por consiguiente, ninguna selva tropical está reseco. s= Selva, e= Esmeralda, r= Reseco 1. 2.

 x( s(x) 

e(x) )

 x( e(x)  ¬ r (x) ) Demostrar que:  x ( s(x)  ¬ r (x) ) _______________________ 3. s(a)  e(a) Eliminación del Generalizador (EG) en 1.
4. e(a)  5. 6.

¬ r(a) s(a)  ¬ r(a)  x ( s(x)  ¬ r (x) )

Eliminación del Generalizador (EG) en 2. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. Introducción del Generalizador (IG) en 5.

3. Ningún fotógrafo pinta. Todos los que no son fotógrafos son escultores. Por lo tanto, todos los pintores son escultores. p= Ser pintor, e= Ser escultor, f= Ser fotógrafo 1. 2.

 x(

f(x) 

¬ p(x) )
e(x) ) Demostrar que :  x( p(x)  e(x) )

 x( ¬ f(x) 

________________________ 3. f(a) 

¬ p(a)

Eliminación del Generalizador (EG) en 1.

b(a)  s(a) Eliminación del Generalizador (EG) en 1 4. Eliminación del Generalizador (EG) en 2.  x( e(x)  d(x)  ¬ s(x) ) Demostrar que:  x( d(x)  2.  x( s(x) ) ¬ e(x) ) _______________________ 3. p(a)  ¬ f(a) e(a) Por Contraposición en 3.4. p= Pesar mucho 1. Introducción del Generalizador (IG) en 6. 6. m= Ser mexicano. ningún mexicano es aburrido. Por lo tanto. ningún bailarín de claqué pesa mucho. 6. e(a)  4. s(a)  6. Todos los bailarines de claqué son saltarines. d(a)  5. Introducción del Generalizador (IG) en 6. 2. s= Suspira. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 5. En consecuencia. ¬ f(a)  p(a)  e(a)  x( p(x)  e(x)) 4. ¬ e(a) d(a)  ¬ e(a)  x( d(x)  ¬ e(x) ) 5. Todos los deprimidos suspiran. s=Saltarín. 7. e= Enamorado. 2.  x( m(x)   x( c(x) ¬ c(x) )  ¬ a(x) ) Demostrar que:  x( m(x)  ¬ a(x) ) . SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 5. Nadie que cante rancheras es aburrido. 6. d= Deprimido 1. s(a)  5. b= Bailarín. ¬ p(a) b(a)  ¬ p(a)  x( b(x)  ¬ p(x) ) Eliminación del Generalizador (EG) en 2 SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. a= Ser aburrido 1. ¬ s(a) s(a) Eliminación del Generalizador (EG) en 1. Nadie que sea saltarín pesa mucho. Eliminación del Generalizador (EG) en 2.  x( b(x)  s(x) )  x( s(x)  ¬ p(x) ) Demostrar que:  x( b(x)  ¬ p(x) ) ___________________________ 3. 5. c=Cantar rancheras. Ningún enamorado suspira. nadie que esté deprimido está enamorado. Ningún mexicano canta rancheras. Por lo tanto. Introducción del Generalizador (IG) en 5. 7. Por Contraposición en 3.

SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 6 a 7 SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 8 ) Introducción del Generalizador (IG) en 9. . 6. Ningún premiado con el “Nobel” habla ininterrumpidamente. 10. Quien oculta su desgracia muere prematuramente. 12. 8. i= Ser idiota. 5. 11. 3. ¬ e (a)  h (a)  ¬ p(a) ¬ e (a)  ¬ p(a) i (a)  ¬ p(a)  x( i (x)  ¬ p(x) 8.  x[ d(x)  o(x)  a(x)  m(x)] Introducción del Generalizador (IG) en 11. 2. Todos los que no resultan entretenidos hablan ininterrumpidamente. 9.  x( a(x)  d(x) )  x( o(x)  m(x) ) Demostrar que:  x[ d(x)  o(x)  a(x)  m(x) ] _____________________________ a(a)  d(a) Eliminación del Generalizador (EG) en 1 o(a)  m(a) Eliminación del Generalizador (EG) en 2 d(a)  o(a) Supuesto Subsidiario a(a) Supuesto Subsidiario d(a) Modus Ponens (MP) en 3 y 6. d=Ser desgraciado. o(a) Modus Ponens (MP) en 5 y 7.7. a= Amar apasionadamente. d(a)  o(a)  a(a)  m(a) Teorema de Deducción (TD) en 5 y 10. 9. m(a) Modus Ponens (MP) en 4 y 8. p= Ser premiado con nobel. 10. m= Morir prematuramente. 6. 3. 4. ningún idiota es premiado con el “Nobel”. a(a)  m(a) Teorema de Deducción (TD) en 6 y 9. Ningún idiota resulta entretenido. 7. e=Ser entretenido. 4. 2. 5. h= Hablar ininterrumpidamente 1. si todos los que son desgraciados ocultan su desgracia. 7. 8. Todo aquel que ama apasionadamente es desgraciado. o=Ocultar desgracia 1. todos los que aman apasionadamente mueren de forma prematura. En conclusión.  x( i (x)   x( p (x) ¬ e(x) )  ¬ h(x) ) ¬ p(x) )  x( ¬ e(x)  h(x) ) Demostrar que:  x( i (x)  __________________________ i (a)  p (a) ¬ e(a)  ¬ h(a) h(a) Eliminación del Generalizador (EG) en 1 Eliminación del Generalizador (EG) en 2 Eliminación del Generalizador (EG) en 3 Contraposición en 5. Por lo tanto.

8. g (a) Eliminación del Conjuntor (EC) en 4. 4. c= Ser cerdo. a= Ser argentino.  x ( c (x)  a(x) ) Ǝx ( r(x) Ʌ ¬ a(x) ) Demostrar que: Ǝx ( r(x) Ʌ ¬ c(x) ___________________________ 3.9. todos los psicoanalistas son argentinos. Por consiguiente. Por lo tanto. Introducción del Conjuntor (IC) en 6 y 7. hay cerezos que no son cerdos. a (a) Modus Ponens (MP) 3 y 5. p= Ser psicoanalista 1. 3. r(a) Ʌ 5. g= Ser gracioso. Eliminación del Conjuntor (EC) en 4. Ǝx ( r(x) Ʌ 11. a= Ser adulto 1. ¬ a(a) Eliminación del Particularizador (EP) en 2. Todos los cerdos tienen alas.  x( a (x)  ¬ c(x) )  x( p(x)  a(x) ) Demostrar que:  x( p (x)  __________________________ ¬ c(x) ) . ningún psicoanalista es conductista. algunos adultos son graciosos. 5. p (a) Ʌ g(a) Eliminación del Particularizador (EP) en 1 p (a) Eliminación del Conjuntor (EC) en 4. 10. a= Tener alas. 2. 2. r(a) Ʌ 9. a (a) Ʌ g(a) Introducción del Conjuntor (IC) en 6 y 7. Eliminación del Conjuntor (EC) en 4. Ǝx ( p(x) Ʌ g(x) )  x( p (x)  a(x) ) Demostrar que: Ǝ x ( a (x) Ʌ g(x) ) _________________________________ p (a)  a(a) Eliminación del Generalizador (EG) en 2. 4. Introducción del Particularizador (IP) en 8. Algunos políticos son graciosos. ¬ a(a) ¬ c(a) ¬ c(a) ¬ c(x) 7. r= Ser cerezo 1. r(a) 8. c (a)  a(a) Eliminación del Generalizador (EG) en 1. algunos cerezos no tienen alas. Ǝx( a (x) Ʌ g(x) ) Introducción del Particularizador (IP) en 8. Modus Tollens (MT) entre 3 y 5. todos los políticos son adultos. 7. 6. 9. p= Ser político. 2. Por lo tanto. Ningún argentino es conductista. c= Ser conductista. 6.

Ningún heleno es temerario. Eliminación del Generalizador (EG) en 2. Supuesto Subsidiario SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 6 a 4. y= Ser troyano. t=Ser temerario. Modus Ponens (MP) entre 8 y 7. a (a) 7. ningún atleta es feo. f= Ser feo. ¬ t(a) ¬ t(a) ¬ y(a) ¬ y(a) a (x)  ¬ y(x) ) 11. 3.  x( ¬ f(a)  ¬ f(a) a (x)  ¬ f(x) . h (a)  5. p (a)  6. a (a)  12. ¬ t(a) t(a) h(a) Eliminación del Generalizador (EG) en 1. f (a)  4. Introducción del Generalizador (IG) en 3. Eliminación del Generalizador (EG) en 3. a (a)  5. a (a) 8.  x( f (x)  ¬ p(x) )  x( a (x)  p(x) ) Demostrar que:  x( a (x)  _______________________________ ¬ f(x) ) 3. ) Introducción del Generalizador (IG) en 6.  x( y (x)  1. a= Ser atleta 1. h= Ser heleno. ¬ c(a) a(a) ) Eliminación del Generalizador (EG) en 1. P (a)  5.3. ningún aqueo es troyano. a (a)  4. a=Ser aqueo  x( h (x)  2. Eliminación del Generalizador (EG) en 2. Ningún feo despierta pasiones. d= Despertar pasiones. Modus Tolens (MT) entre 5 y 9. todos los aqueos son helenos. 10. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 3. y (a)  6. p (a)  6. ¬ p(a) p(a) Eliminación del Generalizador (EG) en 1. ¬ t(x) ) Demostrar que:  x( a (x)  t(x) ) h(x) )  x( a (x)  ¬ y(x) ) ____________________________ 4. a (a)  7. a (a)  9. Por lo tanto. Introducción del Generalizador (IG) en 11.  x( 13. Eliminación del Generalizador (EG) en 2. Contraposición en 3. 2. todos los atletas despiertan pasiones. Teorema de Deducción (TD) en 7 y 10. todos los troyanos son temerarios. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 5.  x( ¬ c(a) p (x)  ¬ c(x) 12. Por lo tanto.

3. c (a)  ¬ s(a)  ¬ a(a) a(a) a(a) Eliminación del Generalizador (EG) en 1. m (a)  h(a) Eliminación del Generalizador (EG) en 1. c (a)  5. d=Ser cerdo. todos los que saben silbar tienen a las. 5. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 4 a 5 15. Eliminación del Generalizador (EG) en 2. a=Tener alas 1. a= Ser anfibio. ¬ a(a) ¬ a (a)  ¬ z(a) p (a)  ¬ z(a)  x( p (x)  ¬ z(x) ) Eliminación del Generalizador (EG) en 1 . . c (a) 8. 6. s (a)  7. Eliminación del Generalizador (EG) en 2. Si todas las mulas son híbridos y ningún híbrido es fértil. Ningún pájaro es un anfibio. f=Ser fértil 1. m= Ser mula.  x( c (x)   x( d (x) ¬ s(x) )  ¬ a(x) ) ¬ d(x) )  x( s (x)  a(x) ) Demostrar que:  x( c (x)  _____________________________ 4. Por lo tanto. h= Ser hibrido. 2. Eliminación del Generalizador (EG) en 3. Introducción del Generalizador (IG) en 5. ) Introducción del Generalizador (IG) en 5. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. ningún pájaro es un pez. h (a)  5. Por consiguiente. p= Ser pájaro. 4. p (a)  4. s= Saber silbar.  x( p (x)   x( ¬ a (x) Demostrar que:  x( _____________________________ ¬ a(x) )  ¬ z(x) ) p (x)  ¬ z(x) ) 3. 2. ¬ f(x) ) ¬ f(a) m (a)  ¬ f(a)  x( m (x)  ¬ f(x) Eliminación del Generalizador (EG) en 2. z= Ser pez 1. d (a) 6. Ningún caballo sabe silbar.14. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. 6. todo el que no es anfibio no es un pez. ningún cerdo tiene alas. ningún caballo es cerdo. c= Ser caballo. 2. entonces ninguna mula es fértil. Supuesto Subsidiario.  x( m (x)  h(x) )  x( h (x)  ¬ f(x) ) Demostrar que:  x( m (x)  ______________________________ 3. 16.

Cualquier ejecutivo acaba cansado. o(a) Modus Ponens (MP) en 5 y 7. 8. Introducción del Generalizador (IG) en 5. d(a)  o(a)  a(a)  m(a) Teorema de Deducción (TD) en 5 y 10. c= Acabar cansado. 18. 7.  x[ d(x)  o(x)  a(x)  m(x)] Introducción del Generalizador (IG) en 11. e= Ser ejecutivo. 4. e (a)  c (a) Eliminación del Generalizador (EG) en 1 . m= Morir prematuramente. e (a) 6.  x( ¬ f(a)  ¬ f(a) e (x)  ¬ f(x) ) Eliminación del Generalizador (EG) en 2. Quien ama apasionadamente acaba siendo desgraciado. Por lo tanto. 5. a= Amar apasionadamente. si todos aquellos que acaban siendo desgraciados no pueden ocultar su pasión. todos aquellos que amen de forma apasionada mueren prematuramente. nadie que acabe cansado es feliz. Por lo tanto. a(a)  m(a) Teorema de Deducción (TD) en 6 y 9. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. 6. 12.  x(  x( e (x)  c (x)  c (x) ) ¬ f (x) ) Demostrar que:  x( e (x)  ¬ f (x) ) ________________________ 3.  x( a(x)  d(x) )  x( o(x)  m(x) ) Demostrar que:  x[ d(x)  o(x)  a(x)  m(x) ] _____________________________ a(a)  d(a) Eliminación del Generalizador (EG) en 1 o(a)  m(a) Eliminación del Generalizador (EG) en 2 d(a)  o(a) Supuesto Subsidiario a(a) Supuesto Subsidiario d(a) Modus Ponens (MP) en 3 y 6. 3. 2. m(a) Modus Ponens (MP) en 4 y 8. 11. 9. d=Ser desgraciado. 10.17. ningún ejecutivo es feliz. quienes no pueden ocultar su pasión mueren prematuramente. 2. f= Ser feliz 1. entonces. . c (a)  5. o=Ocultar desgracia 1. 4.

a= Ser aburrido 1.  x( m (x)  ¬ u (x) ) m (x)  a (x) )  x( ¬ u (x)  a (x) ) Demostrar que:  x( __________________________________ m (a)  ¬ u (a) a (a) Eliminación del Generalizador (EG) en 1 .  x( n (x)  t (x) ) 2. 7. Guillermo es adorable. 4.19. SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. g=Guillermo 1. Guillermo es un niño. 6. 5. g(a)  t (a) SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 3 a 4. u= Usar lápiz labial. Por lo tanto. 5. m= Ser machista. n (a)  t (a) Eliminación del Generalizador (EG) en 1. Eliminación del Generalizador (EG) en 2. Por lo tanto. n= Ser niño. todos los machistas resultan aburridos. g(a)  n (a) Demostrar que : g(a)  a (a) __________________________ 4. todo aquel que no usa lápiz labial resulta aburrido. t=Ser travieso. ¬ u (a)  m (a)  a (a)  x( m (x)  a (x) ) 20. Introducción del Generalizador (IG) en 5. Todos los niños son traviesos. Ningún machista usa lápiz labial. t (a)  a (a) Eliminación del Generalizador (EG) en 2. 3. g(a)  a (a) SH ( Silogismo Hipotético = Transitividad de la Condicional ) de 6 a 5. 6. a= Ser adorable.  x( t (x)  a (x) ) 3. . Todos los seres traviesos son adorables. 2.