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/Satz2.4.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
1 [] E(x,y,y,x).
9 [] -E(xa,xb,xc,xd)| -E(xc,xd,xe,xf)|E(xa,xb,xe,xf).
10 [] E(a,b,c,d).
11 [] -E(b,a,c,d).
18 [hyper,9,1,10] E(b,a,c,d).
19 [binary,18.1,11.1] $F.

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