11. False
12. x(
eq) v
x:T. False & if eq(x,u)
true
else x(eq) v fi}
T
T
x,y:T. eq(x,y) 
x = y
True
x:T. False & x(eq) v
x:T. False & if eq(x,u) true else x(eq) v fi
| 1 | 10. x: T 11. False 12. x( eq) v x:T. False & if eq(x,u) true else x(eq) v fi |
About:
 |  |  |  |  |  |  |
 |  |  |  |  |  |  |
 |