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

Length of proof is 3.  Level of proof is 3.
 
---------------- PROOF ----------------
 
10 [] -T(alpha,beta,gamma).
11 [] -T(beta,gamma,alpha).
12 [] -T(gamma,alpha,beta).
35 [] beta!=gamma.
103 [] xa=xb|xp=xq| -Col(xp,xq,xa)| -Col(xp,xq,xb)| -Col(xp,xq,xr)|Col(xa,xb,xr).
124 [] -Col(xa,xb,xc)|T(xa,xb,xc)|T(xb,xc,xa)|T(xc,xa,xb).
141 [] a!=b.
142 [] Col(a,b,x).
147 [binary,141.1,103.2,unit_del,142,142,142] x=y|Col(x,y,z).
781 [binary,147.1,35.1] Col(beta,gamma,x).
863 [ur,124,781,12,10] T(beta,gamma,alpha).
864 [binary,863.1,11.1] $F.

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