Usuario:Rafael~eswikibooks/ejercicio 20

DEMOSTRAR: P$\leftrightarrow \;$S

1. p$\to \;$s...................p1
2. s$\to \;$ h...................p2
3. (p$\to \;$h)$\to \;($s$\to \;$p)...p3

_______________________________

4. p$\to \;$h..................p4 (regla transitiva p1,p2)

5. s$\to \;$p..................p5 (ponendo ponens p3,p4)

6. p$\leftrightarrow \;$s.......conclusion (regla de bicondicional p1,p5)