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/Satz4.11a.prf

Length of proof is 3.  Level of proof is 1.
 
---------------- PROOF ----------------
 
65 [] -Col(xa,xb,xc)|T(xa,xb,xc)|T(xb,xc,xa)|T(xc,xa,xb).
66 [] Col(xa,xb,xc)| -T(xa,xb,xc).
67 [] Col(xa,xb,xc)| -T(xb,xc,xa).
68 [] Col(xa,xb,xc)| -T(xc,xa,xb).
74 [] Col(a,b,c).
75 [] -Col(b,c,a).
77 [binary,75.1,68.1] -T(a,b,c).
78 [binary,75.1,67.1] -T(c,a,b).
79 [binary,75.1,66.1] -T(b,c,a).
81 [binary,77.1,65.2,unit_del,74,79,78] $F.

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