| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz6.13b.prf |
Length of proof is 1. Level of proof is 1. ---------------- PROOF ---------------- 13 [] E(xa,xb,xa,xb). 124 [] -T(xc,y,xd)| -E(xa,xb,xc,y)|le(xa,xb,xc,xd). 131 [] -le(p,a,p,b). 132 [] T(p,a,b). 175 [ur,124,13,131] -T(p,a,b). 176 [binary,175.1,132.1] $F.