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.5b.prf

Length of proof is 5.  Level of proof is 3.
 
---------------- PROOF ----------------
 
25 [] -T(xa,xb,xc)|T(xc,xb,xa).
28 [] -T(xa,xb,xd)| -T(xb,xc,xd)|T(xa,xb,xc).
30 [] -T(xa,xb,xc)| -T(xb,xc,xd)|xb=xc|T(xa,xc,xd).
31 [] T(a,b,d).
32 [] T(b,c,d).
33 [] -T(a,c,d).
42 [binary,31.1,25.1] T(d,b,a).
96 [hyper,28,31,32] T(a,b,c).
126 [binary,33.1,25.2] -T(d,c,a).
252 [hyper,30,96,32,unit_del,33] b=c.
277 [para_from,252.1.1,42.1.2] T(d,c,a).
278 [binary,277.1,126.1] $F.

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