x∉L
∀x∉L ∀y B(x,y)=NO
|
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
x∉L |
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
|
|||||||||||||||||||||||||
|
∀x∉L ∀y B(x,y)=NO |
|||||||||||||||||||||||||