Deducciones

p = (q = r)
p ( r)
q

(p q) = (q = s)
( p) = t
( r) = t
( t) q
s

p = q
r = s
(q s)
( (p r)) = t
t

p = q
q = (r (s = t))
( r) t
ps
t

( c) a
a
pq
(q = c)

(p = q) = (p = s)
s
hq
h ( p)
(p = q) (r = s)
p (a b)
p = ( b)
( a) r
( q) = s

(p = q)
( h = p) (p = q)
(h ( q)) = m
ms
p = q
( q) = s
s = (p t)
(p q)
t

sr
(r s) = ( t)
(( t) = r) (( p) = q)

p = q
s
(( s) h) = (q = s)
sp
 (Contradiccion)

p = q
r = s
pr
qs