sent: P,Q
-
P
:(Q>P)
sent: P,Q,R
-
(P>Q)
(Q>R)
:(P>R)
sent: P,Q,R
-
(P>Q)
:(P>(R>Q))
sent: P,Q,R
-
(P>(Q>R))
Q
:(P>R)
sent: P,Q
-
P
-P
:Q
sent: P,Q,R
-
((P>Q)>R)
:(Q>R)
sent: P
-
:((-P>P)>P)
sent: P,Q
-
-(Q>-P)
:P
sent: P
-
--P
:P
sent: P,Q,R
-
(P>(Q>R))
:(Q>(P>R))