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

Length of proof is 4.  Level of proof is 2.
 
---------------- PROOF ----------------
 
14 [] -E(xa,xb,xc,xd)|E(xc,xd,xa,xb).
25 [] -T(xa,xb,xc)|T(xc,xb,xa).
143 [] -M(xa,xm,xb)|T(xa,xm,xb).
144 [] -M(xa,xm,xb)|E(xm,xa,xm,xb).
145 [] -T(xa,xm,xb)| -E(xm,xa,xm,xb)|M(xa,xm,xb).
153 [] M(a,m,b).
154 [] -M(b,m,a).
155 [binary,153.1,144.1] E(m,a,m,b).
156 [binary,153.1,143.1] T(a,m,b).
207 [binary,156.1,25.1] T(b,m,a).
384 [binary,155.1,14.1] E(m,b,m,a).
490 [binary,207.1,145.1,unit_del,384,154] $F.

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