Tümel-niceleyicinin değillenmesi kuralı nedir? Açıklayınız.
~∀ν 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 ∃ν ~A ifadesi eklenir