Taller 03 Sistemas Expertos IEVD Uniminuto

JEISSON DANIEL SEGURA CDIGO ID VCTOR HUGO GONZALEZ CDIGO ID JOSE ANTONIO MERINO CDIGO ID 000156387 000149890 000145313

2013-Feb-22

1. Todos los Rinocerontes tienen un cuerno; todos los Plantgrados son rinocerontes; as Pues, todos los Plantgrados tienen un cuerno. r = Ser rinoceronte, c = Tener un cuerno, p= Ser plantgrado 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) Eliminacin del Generalizador (EG) en 1. p(a) r(a) Eliminacin del Generalizador (EG) en 2. p(a) c(a) SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 3. x ( p(x) c (x) ) Introduccin 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) Eliminacin del Generalizador (EG) en 1.
4. e(a) 5. 6.

r(a) s(a) r(a) x ( s(x) r (x) )

Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. Introduccin del Generalizador (IG) en 5.

3. Ningn fotgrafo pinta. Todos los que no son fotgrafos son escultores. Por lo tanto, todos los pintores son escultores. p= Ser pintor, e= Ser escultor, f= Ser fotgrafo 1. 2.

x(

f(x)

p(x) )
e(x) ) Demostrar que : x( p(x) e(x) )

x( f(x)

________________________ 3. f(a)

p(a)

Eliminacin del Generalizador (EG) en 1.

4. 5. 6. 7.

p(a)

f(a)
e(a)

Por Contraposicin en 3. Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 5. Introduccin del Generalizador (IG) en 6.

f(a)

p(a) e(a) x( p(x) e(x))

4. Ningn enamorado suspira. Todos los deprimidos suspiran. En consecuencia, nadie que est deprimido est enamorado. e= Enamorado, s= Suspira, d= Deprimido 1.

x(

e(x) d(x)

s(x)

) Demostrar que: x( d(x)

2. x(

s(x) )

e(x)

_______________________ 3. e(a) 4. d(a) 5. s(a) 6. 7.

s(a)
s(a)

Eliminacin del Generalizador (EG) en 1. Eliminacin del Generalizador (EG) en 2. Por Contraposicin en 3. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 5. Introduccin del Generalizador (IG) en 6.

e(a) d(a) e(a) x( d(x) e(x) )

5. Todos los bailarines de claqu son saltarines. Nadie que sea saltarn pesa mucho. Por lo tanto, ningn bailarn de claqu pesa mucho. b= Bailarn, s=Saltarn, p= Pesar mucho 1. 2.

x( b(x)

s(x) )

x( s(x) p(x) ) Demostrar que: x( b(x) p(x) ) ___________________________ 3. b(a) s(a) Eliminacin del Generalizador (EG) en 1
4. s(a) 5. 6.

p(a) b(a) p(a) x( b(x) p(x) )

Eliminacin del Generalizador (EG) en 2 SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. Introduccin del Generalizador (IG) en 5.

6. Ningn mexicano canta rancheras. Nadie que cante rancheras es aburrido. Por lo tanto, ningn mexicano es aburrido. m= Ser mexicano, c=Cantar rancheras, a= Ser aburrido 1. 2.

x( m(x) x( c(x)

c(x) ) a(x) )

Demostrar que: x( m(x)

a(x)

7. Ningn idiota resulta entretenido. Ningn premiado con el Nobel habla ininterrumpidamente. Todos los que no resultan entretenidos hablan ininterrumpidamente. En conclusin, ningn idiota es premiado con el Nobel. i= Ser idiota, e=Ser entretenido, p= Ser premiado con nobel, h= Hablar ininterrumpidamente 1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

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)

Eliminacin del Generalizador (EG) en 1 Eliminacin del Generalizador (EG) en 2 Eliminacin del Generalizador (EG) en 3 Contraposicin en 5. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 6 a 7 SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 8 ) Introduccin del Generalizador (IG) en 9.

e (a)
h (a)

p(a) e (a) p(a) i (a) p(a) x( i (x) p(x)

8. Todo aquel que ama apasionadamente es desgraciado. Quien oculta su desgracia muere prematuramente. Por lo tanto, si todos los que son desgraciados ocultan su desgracia, todos los que aman apasionadamente mueren de forma prematura. a= Amar apasionadamente, d=Ser desgraciado, m= Morir prematuramente, o=Ocultar desgracia 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.

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) Eliminacin del Generalizador (EG) en 1 o(a) m(a) Eliminacin del Generalizador (EG) en 2 d(a) o(a) Supuesto Subsidiario a(a) Supuesto Subsidiario d(a) Modus Ponens (MP) en 3 y 6. o(a) Modus Ponens (MP) en 5 y 7. m(a) Modus Ponens (MP) en 4 y 8. a(a) m(a) Teorema de Deduccin (TD) en 6 y 9. d(a) o(a) a(a) m(a) Teorema de Deduccin (TD) en 5 y 10. x[ d(x) o(x) a(x) m(x)] Introduccin del Generalizador (IG) en 11.

9. Algunos polticos son graciosos; todos los polticos son adultos. Por lo tanto, algunos adultos son graciosos. p= Ser poltico, g= Ser gracioso, a= Ser adulto 1. 2. 3. 4. 5. 6. 7. 8. 9.

x (

p(x) g(x) )

x( p (x) a(x) ) Demostrar que: x ( a (x) g(x) ) _________________________________ p (a) a(a) Eliminacin del Generalizador (EG) en 2. p (a) g(a) Eliminacin del Particularizador (EP) en 1 p (a) Eliminacin del Conjuntor (EC) en 4. a (a) Modus Ponens (MP) 3 y 5. g (a) Eliminacin del Conjuntor (EC) en 4. a (a) g(a) Introduccin del Conjuntor (IC) en 6 y 7.

x(

a (x) g(x) )

Introduccin del Particularizador (IP) en 8.

10. Todos los cerdos tienen alas; algunos cerezos no tienen alas. Por consiguiente, hay cerezos que no son cerdos. c= Ser cerdo, a= Tener alas, r= Ser cerezo 1. 2.

x ( c (x) a(x) )

( r(x)

a(x)

Demostrar que:

( r(x)

c(x)

___________________________ 3. c (a) a(a) Eliminacin del Generalizador (EG) en 1. 4. r(a) 5. 6.

a(a)

Eliminacin del Particularizador (EP) en 2. Eliminacin del Conjuntor (EC) en 4. Modus Tollens (MT) entre 3 y 5. Eliminacin del Conjuntor (EC) en 4.

a(a) c(a) c(a) c(x)

7. r(a) 8. r(a) 9.

Introduccin del Conjuntor (IC) en 6 y 7. Introduccin del Particularizador (IP) en 8.

( r(x)

11. Ningn argentino es conductista; todos los psicoanalistas son argentinos. Por lo tanto, ningn psicoanalista es conductista. a= Ser argentino, c= Ser conductista, p= Ser psicoanalista 1. 2.

x( a (x)

c(x)

x( p(x) a(x) ) Demostrar que: x( p (x) __________________________

c(x) )

3. a (a) 4. P (a) 5. p (a) 6.

c(a)
a(a) )

Eliminacin del Generalizador (EG) en 1. Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 3. Introduccin del Generalizador (IG) en 3.

x(

c(a) p (x) c(x)

12. Ningn heleno es temerario; todos los troyanos son temerarios; todos los aqueos son helenos. Por lo tanto, ningn aqueo es troyano. h= Ser heleno, t=Ser temerario, y= Ser troyano, a=Ser aqueo

x( h (x) 2. x( y (x)
1. 3.

t(x)

) Demostrar que: x( a (x)

t(x) ) h(x) )

x( a (x)

y(x) )

____________________________ 4. h (a) 5. y (a) 6. a (a) 7. a (a) 8. a (a) 9. 10.

t(a)
t(a) h(a)

Eliminacin del Generalizador (EG) en 1. Eliminacin del Generalizador (EG) en 2. Eliminacin del Generalizador (EG) en 3. Supuesto Subsidiario SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 6 a 4. Modus Ponens (MP) entre 8 y 7. Modus Tolens (MT) entre 5 y 9. Teorema de Deduccin (TD) en 7 y 10. Introduccin del Generalizador (IG) en 11.

t(a)

t(a) y(a) y(a) a (x) y(x) )

11. a (a) 12. x(

13. Ningn feo despierta pasiones; todos los atletas despiertan pasiones. Por lo tanto, ningn atleta es feo. f= Ser feo, d= Despertar pasiones, a= Ser atleta 1. 2.

x( f (x)

p(x)

x( a (x) p(x) ) Demostrar que: x( a (x) _______________________________

f(x)

3. f (a) 4. a (a) 5. p (a) 6. a (a) 7.

p(a)
p(a)

Eliminacin del Generalizador (EG) en 1. Eliminacin del Generalizador (EG) en 2. Contraposicin en 3. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 5. ) Introduccin del Generalizador (IG) en 6.

x(

f(a) f(a) a (x) f(x)

14. Ningn caballo sabe silbar; ningn cerdo tiene alas; todos los que saben silbar tienen a las. Por consiguiente, ningn caballo es cerdo. c= Ser caballo, d=Ser cerdo, s= Saber silbar, a=Tener alas 1. 2. 3.

x( c (x) x( d (x)

s(x) ) a(x) ) d(x)

)

x( s (x) a(x) ) Demostrar que: x( c (x) _____________________________

4. c (a) 5. d (a) 6. s (a) 7. c (a) 8. c (a)

s(a) a(a)
a(a) a(a)

Eliminacin del Generalizador (EG) en 1. Eliminacin del Generalizador (EG) en 2. Eliminacin del Generalizador (EG) en 3. Supuesto Subsidiario. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 4 a 5

15. Si todas las mulas son hbridos y ningn hbrido es frtil, entonces ninguna mula es frtil. m= Ser mula, h= Ser hibrido, f=Ser frtil 1. 2.

x( m (x)

h(x) )

x( h (x) f(x) ) Demostrar que: x( m (x) ______________________________ 3. m (a) h(a) Eliminacin del Generalizador (EG) en 1.
4. h (a) 5. 6.

f(x)

f(a) m (a) f(a) x( m (x) f(x)

Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. ) Introduccin del Generalizador (IG) en 5.

16. Ningn pjaro es un anfibio; todo el que no es anfibio no es un pez. Por lo tanto, ningn pjaro es un pez. p= Ser pjaro, a= Ser anfibio, z= Ser pez 1. 2.

x(

p (x)

x( a (x) Demostrar que: x( _____________________________

a(x) ) z(x) )

p (x)

z(x)

3. p (a) 4. 5. 6.

a(a) a (a) z(a) p (a) z(a) x( p (x) z(x) )

Eliminacin del Generalizador (EG) en 1 . Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. Introduccin del Generalizador (IG) en 5.

17. Cualquier ejecutivo acaba cansado; nadie que acabe cansado es feliz. Por lo tanto, ningn ejecutivo es feliz. e= Ser ejecutivo, c= Acabar cansado, f= Ser feliz 1. 2.

x( x(

e (x) c (x)

c (x) )

f (x)

Demostrar que: x(

e (x)

f (x)

________________________ 3. e (a) c (a) Eliminacin del Generalizador (EG) en 1 . 4. c (a) 5. e (a) 6.

x(

f(a) f(a) e (x) f(x) )

Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. Introduccin del Generalizador (IG) en 5.

18. Quien ama apasionadamente acaba siendo desgraciado; quienes no pueden ocultar su pasin mueren prematuramente. Por lo tanto, si todos aquellos que acaban siendo desgraciados no pueden ocultar su pasin, entonces, todos aquellos que amen de forma apasionada mueren prematuramente. a= Amar apasionadamente, d=Ser desgraciado, m= Morir prematuramente, o=Ocultar desgracia

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.

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) Eliminacin del Generalizador (EG) en 1 o(a) m(a) Eliminacin del Generalizador (EG) en 2 d(a) o(a) Supuesto Subsidiario a(a) Supuesto Subsidiario d(a) Modus Ponens (MP) en 3 y 6. o(a) Modus Ponens (MP) en 5 y 7. m(a) Modus Ponens (MP) en 4 y 8. a(a) m(a) Teorema de Deduccin (TD) en 6 y 9. d(a) o(a) a(a) m(a) Teorema de Deduccin (TD) en 5 y 10. x[ d(x) o(x) a(x) m(x)] Introduccin del Generalizador (IG) en 11.

19. Ningn machista usa lpiz labial; todo aquel que no usa lpiz labial resulta aburrido. Por lo tanto, todos los machistas resultan aburridos. m= Ser machista, u= Usar lpiz labial, a= Ser aburrido 1. 2. 3. 4. 5. 6.

x(

m (x)

u (x)

) m (x) a (x) )

x( u (x) a (x) ) Demostrar que: x( __________________________________

m (a)

u (a)
a (a)

Eliminacin del Generalizador (EG) en 1 . Eliminacin del Generalizador (EG) en 2. SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. Introduccin del Generalizador (IG) en 5.

u (a)

m (a) a (a) x( m (x) a (x) )

20. Todos los nios son traviesos. Todos los seres traviesos son adorables. Guillermo es un nio. Por lo tanto, Guillermo es adorable. n= Ser nio, t=Ser travieso, a= Ser adorable, g=Guillermo 1. x( n (x) t (x) ) 2. x( t (x) a (x) ) 3. g(a) n (a) Demostrar que : g(a) a (a) __________________________ 4. n (a) t (a) Eliminacin del Generalizador (EG) en 1. 5. t (a) a (a) Eliminacin del Generalizador (EG) en 2. 6. g(a) t (a) SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 3 a 4. 7. g(a) a (a) SH ( Silogismo Hipottico = Transitividad de la Condicional ) de 6 a 5.