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/Satz6.2b.prf

Length of proof is 5.  Level of proof is 2.
 
---------------- PROOF ----------------
 
25 [] -T(xa,xb,xc)|T(xc,xb,xa).
28 [] -T(xa,xb,xd)| -T(xb,xc,xd)|T(xa,xb,xc).
30 [] -T(xa,xb,xc)| -T(xb,xc,xd)|xb=xc|T(xa,xc,xd).
110 [] -sameside(xa,xp,xb)|T(xp,xa,xb)|T(xp,xb,xa).
113 [] a!=p.
116 [] T(a,p,c).
117 [] -T(b,p,c).
118 [] sameside(a,p,b).
323 [binary,116.1,25.1] T(c,p,a).
448 [binary,117.1,25.2] -T(c,p,b).
458 [ur,30,116,113,117] -T(b,a,p).
962 [ur,28,323,448] -T(p,b,a).
1064 [binary,458.1,25.2] -T(p,a,b).
1495 [binary,962.1,110.3,unit_del,118,1064] $F.

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