Usuario:Alvaro Otero/ejercicio 29

  simbolizar y demostrar que el siguiente razonamiento

  todos los rinocerontes tienen un cuerno; todos los plantigrados son rinocerontes; entonces todos lo plantigrados tienen un cuerno

 R:ser rinoceronte

 U: tener un cuerno

 p: ser plantigrado

 ∀x(Rx => Ux)

 ∀x(px => Rx)

________________

 ∀x(Px => Ux)
 
  1. ∀x(Rx => Ux)
   
  2. ∀x(Px => Rx)

  3. Ra => Ua

  4. Pa => Ra

  5. Pa 
  
  6. Ua

  7. Pa => Ua

  8. ∀x(Px => Ux)