Tikel-niceleyicinin değillenmesi kuralına göre ~∃ν A ve∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A ifadesi varsa, o dalda bir nokta olarak ……….ifadesi eklenir.

Yukarıda verilen noktalı yere aşağıdakilerden hangisi gelirse tanım doğru yapılmış olur?