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.12a2.prf

Length of proof is 2.  Level of proof is 1.
 
---------------- PROOF ----------------
 
4 [] T(x,y,ext(x,y,w,v)).
5 [] E(y,ext(x,y,w,v),w,v).
13 [] E(xa,xb,xa,xb).
23 [] -T(xa,xb,xc)| -T(xA,xB,xC)| -E(xa,xb,xB,xC)| -E(xb,xc,xA,xB)|E(xa,xc,xA,xC).
65 [] le(xa,xb,xc,xd)| -T(xa,xb,xe)| -E(xa,xe,xc,xd).
105 [] T(a,b,c).
106 [] -le(b,c,a,c).
233 [hyper,23,4,105,13,5] E(b,ext(b,c,a,b),a,c).
281 [ur,65,106,4] -E(b,ext(b,c,x,y),a,c).
282 [binary,281.1,233.1] $F.

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