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.17b.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
49 [] -Col(xa,xb,xc)|Col(xb,xa,xc).
139 [] Col(p,q,r).
140 [] -Col(q,p,r).
241 [binary,139.1,49.1] Col(q,p,r).
242 [binary,241.1,140.1] $F.

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