Usuario:Alvaro Otero/ejercicio 30

  Simbolizar y demostrar el siguiente razonamiento

 Ningun fotografo pinta. Todos los que no son fotografos son escultores, por tanto todos los pintores son escultores

SOLUCION

  F: ser fotografo

  P: ser pintor

  E: Ser Escultor

  ∀x(Fx => ~Px)

  ∀x(~Px => Ex)

___________________

  ∀x(Px => Ex)

  1.  ∀x(Fx => ~Px)

  2.  ∀x(~Px => Ex)

  3. Fa => ~Pa

  4. ~Fa => Ea

  5. Pa

  6. ~Fa

  7. Pa => Ea

  8. ∀x(Px => Ex)