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

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
26 [] T(xa1,xa1,xb1).
123 [] Col(xa,xb,xc)| -T(xc,xa,xb).
138 [] -Col(p,q,p).
226 [binary,138.1,123.1] -T(p,p,q).
227 [binary,226.1,26.1] $F.

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