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

Length of proof is 2.  Level of proof is 2.
 
---------------- PROOF ----------------
 
26 [] T(xa1,xa1,xb1).
154 [] -perp(xa,xb,xp,xq)| -Col(xa,xb,xc)| -Col(xp,xq,xc)|perpAt(xa,xb,xc,xp,xq).
177 [] Col(xa,xb,xc)| -T(xb,xc,xa).
216 [] Col(a,b,d).
217 [] perp(a,b,c,d).
218 [] -perpAt(a,b,d,c,d).
406 [binary,218.1,154.4,unit_del,217,216] -Col(c,d,d).
1013 [binary,406.1,177.1] -T(d,d,c).
1014 [binary,1013.1,26.1] $F.

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