سور عمومی

در نمادگذاری برای منطق گزاره ای، نماد ∀ {\displaystyle \forall \;}   که به صورت "به ازای هر" خوانده می شود، سور عمومی نام دارد.
http://en.wikipedia.org/wiki/Universal_quantification
درنظر بگیرید که می خواهید گزاره ای بنویسید که در صورتی درست است که برای عدد n در مجموعه اعداد طبیعی، داشته باشیم:
گزاره فوق به طور قطع همواره درست است زیرا شما می توانید هر عدد طبیعی را جایگزین n نموده و به یک تساوی درست برسید. به زبان ریاضی اگر (P(n گزاره ای با تعریف "2n = n +n " بوده و N {\displaystyle \mathbb {N} }   مجموعه اعداد طبیعی باشد:
علامت ریاضی و منطقی که برای مشخص کردن نقیض یک گزاره استفاده می شود، نماد ¬ {\displaystyle \lnot \;}   می باشد.