| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz2.2.prf |
Length of proof is 1. Level of proof is 1. ---------------- PROOF ---------------- 2 [] -E(x,y,z,v)| -E(x,y,z2,v2)|E(z,v,z2,v2). 7 [] E(xa,xb,xa,xb). 8 [] E(a,b,c,d). 9 [] -E(c,d,a,b). 13 [hyper,2,8,7] E(c,d,a,b). 14 [binary,13.1,9.1] $F.