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

Length of proof is 3.  Level of proof is 2.
 
---------------- PROOF ----------------
 
14 [] -E(xa,xb,xc,xd)|E(xc,xd,xa,xb).
180 [] -R(xa,xb,xc)|E(xa,xc,xa,s(xb,xc)).
181 [] R(xa,xb,xc)| -E(xa,xc,xa,s(xb,xc)).
192 [] s(xa,s(xa,xp))=xp.
193 [] R(a,b,c).
194 [] -R(a,b,s(b,c)).
195 [binary,193.1,180.1] E(a,c,a,s(b,c)).
200 [binary,194.1,181.1,demod,192] -E(a,s(b,c),a,c).
349 [binary,195.1,14.1] E(a,s(b,c),a,c).
350 [binary,349.1,200.1] $F.

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