Álgebra  I  -­‐  Unifranz  

                  Ing.  Carolina  Silva  
 
Práctica  N.3    
Inferencia  Lógica  
 
I.  Demostrar  las  siguientes  inferencias  lógicas  mediante  las  premisas  dadas.  
 
1.  Demostrar  :  ~?  
 
1. ~?     ∨   ~?    
2. ~? → ~?  
3.  ~? → ?  
4. ~?    
 
________________  
 
2.  Demostrar:  ~?  
 
1. ? → ~?  
2. ((?   ∧ ?  ) ∨ ?)  
3. ? → (? ∨ ?)  
4.  ~?     ∧   ~?  
           _________________  
 
 
3.  Demostrar:  ?  
 
1. ? →   ~?  
2. ~?  
3.  ?   ∨  ?  
4. ~? → ?  
         ________________  
 
4.  Resolver  los  ejercicios  seleccionados    (Libro  Álgebra  Moderna)  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Álgebra  I  -­‐  Unifranz  
                  Ing.  Carolina  Silva  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
II.  Formalizar  los  siguientes  párrafos.  Determinar  sus  premisas  y  conclusión  
y  mediante  las  leyes  de  inferencia,  demostrar  su  conclusión.  
 
1. Si  la  tormenta  continúa  o  anochece,  nos  quedaremos  a  cenar  o  a  dormir;  si  
nos  quedamos  a  cenar  o  a  dormir  no  iremos  mañana  a  la  fiesta.  Pero  sí  
iremos  mañana  a  la  fiesta.  Así  que  la  tormenta  no  continúa.  
2. Si  a=1  y  b=3,  entonces  c=4.  Si,  si  b=3,  c=4  entonces  d=0.  Declaramos  que  a  
es  1.  Por  tanto,  d=0.  
3. Si  la  gorila  es  atractiva,  el  gorila  sonreirá  abiertamente  o  será  infeliz.  Si  no  
es  feliz,  no  procreará  en  cautividad.  Por  consiguiente,  si  la  gorila  es  
atractiva,  entonces,  si  el  gorila  no  sonríe  abiertamente,  no  procreará  en  
cautividad.    
4. Si  no  es  cierto  que  se  puede  tener  todo  y  ser  dichoso  a  la  vez,  entonces  la  
vida  está  llena  de  frustraciones  y  no  es  un  camino  de  rosas.  Si  se  es  dichoso,  
no  se  puede  tener  todo.  Por  consiguiente,  la  vida  está  llena  de  frustraciones.