تلفظ بین المللی : /hˈazf sˈuːr/ تلفظ : [h'azf s'u:R]
دانشنامه عمومی
«حذف سور» (به انگلیسی: Quantifier elimination) یکی از ویژگی های «جبری» مورد بررسی در منطق ریاضی (در نظریهٔ مدلها) است.تئوریِ T {\displaystyle T} دارای حذف سور است (یا سورها را حذف می کند)هرگاه هر فرمولی به پیمانهٔ آن معادلی بدون سور داشته باشد.مصداقِ ملموسی از حذف سور،فرمول تعیین کنندهٔ ریشه داشتن یا نداشتن یک معادلهٔ درجهٔ ۲ در اعداد حقیقی است: ( R , + , . , < , 0 , 1 ) ⊨ ∃ x a x 2 ...
