Ejercicio 4
Probar deductivamente que:
  1.  P  →  (q  → r)
  2.  r   →   (s   →  ~t)
  3.  b   v     (s  ʌ  t)
       p  →    (q  →  b)
 
5.      b                                      caso 1 en [3]
6.      b  v  (~p  v  ~q)               ley de adicción en [4]
7.      (~p  v  ~q)  v  b               ley conmutativa en [5]
8.      ~p  v  (~q  v  b)               ley asociativa [6]
9.       p  →  (q  →  b)              ley del condicional en [7]

  1.   R    →   p
  2.   ~p   v  (~q  ʌ  r)
  3.   t      v   r  →  h
  4.   r      v   ~h
        Q   →   ~t

5.    r                         caso 1 en [4]
6.    p                        modus ponendo ponens en [1] y[5]
7.    ~q  ʌ  r               silogismo disyuntivo en [2] y [6]
8.    ~q                       ley de simplificación en [7]
9.    ~q   v  ~t            ley de adicción en [8]
10.   q  →  ~t             ley condicional en [9]