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/Satz7.16b.prf

Length of proof is 4.  Level of proof is 2.
 
---------------- PROOF ----------------
 
14 [] -E(xa,xb,xc,xd)|E(xc,xd,xa,xb).
15 [] -E(xa,xb,xc,xd)| -E(xc,xd,xe,xf)|E(xa,xb,xe,xf).
118 [] E(xp,xq,s(xa,xp),s(xa,xq)).
169 [] -E(p,q,r,cs).
170 [] E(s(a,p),s(a,q),s(a,r),s(a,cs)).
195 [binary,169.1,14.2] -E(r,cs,p,q).
235 [hyper,15,118,170] E(p,q,s(a,r),s(a,cs)).
380 [ur,15,118,195] -E(s(x,r),s(x,cs),p,q).
668 [binary,235.1,14.1] E(s(a,r),s(a,cs),p,q).
669 [binary,668.1,380.1] $F.

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