Usuario:Rafael~eswikibooks/ejercicio 20

DEMOSTRAR: PS

  1. ps...................p1
  2. s h...................p2
  3. (ph)sp)...p3

_______________________________

4. ph..................p4 (regla transitiva p1,p2)

5. sp..................p5 (ponendo ponens p3,p4)

6. ps.......conclusion (regla de bicondicional p1,p5)