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

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
76 [] xa=xp|xb=xp|xc=xp| -T(xa,xp,xc)| -T(xb,xp,xc)|sameside(xa,xp,xb).
119 [] -sameside(a,p,b).
120 [] a!=p.
121 [] b!=p.
122 [] c!=p.
123 [] T(a,p,c).
124 [] T(b,p,c).
449 [ur,76,120,121,122,123,119] -T(b,p,c).
450 [binary,449.1,124.1] $F.

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