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

Length of proof is 2.  Level of proof is 1.
 
---------------- PROOF ----------------
 
10 [] -E(xa,xb,xc,xd)|E(xb,xa,xc,xd).
11 [] -E(xa,xb,xc,xd)|E(xa,xb,xd,xc).
16 [] E(a,b,c,d).
17 [] -E(b,a,d,c).
22 [binary,16.1,10.1] E(b,a,c,d).
34 [binary,17.1,11.2] -E(b,a,c,d).
35 [binary,34.1,22.1] $F.

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