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

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
3 [] -E(x,y,z,z)|x=y.
15 [] E(b,c,a,a).
16 [] b!=c.
24 [binary,15.1,3.1] b=c.
25 [binary,24.1,16.1] $F.

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