jueves, 4 de septiembre de 2014

Formalización de inferencias 

1. Ingmar Bergman es cineasta, pero Vallejo es escritor.
p = Ingmar Bergman es cineasta 
\and = pero 
q = Vallejo es escritor 
Formalización: p ^ q 

2. No me duchare a menos que haya agua caliente
\neg \, = No
p = me duchare 
\to \, = a menos que 
q = haya agua caliente 
Formalización:  \neg \,\to \, q

3. Alfonso P no es persona es un asesino.
p = Alfoso P es persona
\neg \, = no 
q = es un asesino
Formalización: \neg \,p q 

4. Tanto Alfonso P. como Alfonso A son dementes por que son torturadores.
p = Tanto Alfonso P. como Alfonso A son dementes
\to \,  = por que 
q = son torturadores.
Formalización: p \to \, q

5. Si la suegra se pone pesada, entonces el marido se irá de casa y la esposa se irá de vacaciones.
p =  la suegra se pone pesada
\to \, = si.... entonces 
q =  el marido se irá de casa 
\and = y
r = la esposa se irá de vacaciones 
Formalización: (p \to \, q) \and r

6. Los senadores roban a la nación , pero nunca se les comprueba, luego los senadores roban a la nación.
p = Los senadores roban a la nación
\and = pero 
\neg \, = nunca 
q =  se les comprueba  
\to \, = luego
r =  los senadores roban a la nación
Formalización:  (p \and \neg \,q) \to \, r 


*Diana Osorio
Código: 20142578061
*Andrés Acosta
Código: 20142578030 

No hay comentarios:

Publicar un comentario