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/Satz3.3.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
24 [] T(xa,xb,xb).
25 [] -T(xa,xb,xc)|T(xc,xb,xa).
26 [] -T(a1,a1,b1).
27 [binary,26.1,25.2] -T(b1,a1,a1).
28 [binary,27.1,24.1] $F.

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