Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz3.7b.prf

Length of proof is 2.  Level of proof is 1.
 
---------------- PROOF ----------------
 
30 [] -T(xa,xb,xc)| -T(xb,xc,xd)|xb=xc|T(xa,xc,xd).
32 [] -T(xa,xb,xc)| -T(xa,xc,xd)|T(xa,xb,xd).
33 [] T(a,b,c).
34 [] T(b,c,d).
35 [] b!=c.
36 [] -T(a,b,d).
107 [hyper,30,33,34,unit_del,35] T(a,c,d).
161 [ur,32,33,36] -T(a,c,d).
162 [binary,161.1,107.1] $F.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists