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/Satz5.2.prf

Length of proof is 3.  Level of proof is 1.
 
---------------- PROOF ----------------
 
29 [] -T(xa,xb,xc)| -T(xa,xc,xd)|T(xb,xc,xd).
59 [] xa=xb| -T(xa,xb,xc)| -T(xa,xb,xd)|T(xa,xc,xd)|T(xa,xd,xc).
91 [] a!=b.
92 [] T(a,b,c).
93 [] T(a,b,d).
94 [] -T(b,c,d).
95 [] -T(b,d,c).
96 [binary,91.1,59.1] -T(a,b,x)| -T(a,b,y)|T(a,x,y)|T(a,y,x).
440 [ur,29,92,94] -T(a,c,d).
468 [ur,29,93,95] -T(a,d,c).
495 [hyper,96,93,92,unit_del,468,440] $F.

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