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/Satz7.15a.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
45 [] -T(xa,xb,xc)| -E3(xa,xb,xc,xa1,xb1,xc1)|T(xa1,xb1,xc1).
118 [] E(xp,xq,s(xa,xp),s(xa,xq)).
137 [] -E(xa1,xa2,xb1,xb2)| -E(xa1,xa3,xb1,xb3)| -E(xa2,xa3,xb2,xb3)|E3(xa1,xa2,xa3,xb1,xb2,xb3).
166 [] T(p,q,r).
167 [] -T(s(a,p),s(a,q),s(a,r)).
343 [ur,45,166,167] -E3(p,q,r,s(a,p),s(a,q),s(a,r)).
42550 [binary,343.1,137.4,unit_del,118,118,118] $F.

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