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/Satz8.8.prf

Length of proof is 3.  Level of proof is 2.
 
---------------- PROOF ----------------
 
13 [] E(xa,xb,xa,xb).
18 [] E(xa,xa,xb,xb).
26 [] T(xa1,xa1,xb1).
52 [] Col(xa,xb,xa).
57 [] xa=xb| -Col(xa,xb,xc)| -E(xa,xc,xa,xc1)| -E(xb,xc,xb,xc1)|xc=xc1.
136 [] -R(xa,xb,xc)| -R(xa1,xb,xc)| -T(xa,xc,xa1)|xb=xc.
197 [] R(a,b,a).
198 [] a!=b.
204 [hyper,136,197,197,26] b=a.
285 [ur,57,198,52,18,13] a=a.
329 [para_from,204.1.1,198.1.2] a!=a.
330 [binary,329.1,285.1] $F.

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