سور عمومی

در نمادگذاری برای منطق گزاره‌ای، نماد $\mathrm{\forall }$ که به صورت «به ازای هر» خوانده می‌شود، سور عمومی نام دارد.

درنظر بگیرید که می‌خواهید گزاره ای بنویسید که در صورتی درست است که برای عدد n در مجموعه اعداد طبیعی، داشته باشیم: الگو:وسط‌چین 2n = n + n الگو:پایان گزاره فوق به‌طور قطع همواره درست است زیرا شما می‌توانید هر عدد طبیعی را جایگزین n نموده و به یک تساوی درست برسید. به زبان ریاضی اگر (P(n گزاره‌ای با تعریف "2n = n +n " بوده و $\mathbb{N}$ مجموعه اعداد طبیعی باشد:

الگو:وسط‌چین $\mathrm{\forall }n\in \mathbb{N}:P(n)$الگو:پایان

ویژگی‌ها

منفی سازی

علامت ریاضی و منطقی که برای مشخص کردن نقیض یک گزاره استفاده می‌شود، نماد $\mathrm{\neg }$ می‌باشد.

گزاره (P(x با تعریف «فرد x متاهل است» را در مجموعه همه انسان‌ها در نظر بگیرید. با افزودن سور عمومی، گزاره جدیدی به صورت «به ازای هر انسان مانند x, x متاهل است» به وجود می‌آید. به عبارت دیگر: الگو:وسط‌چین $\mathrm{\forall }x\in XP(x)$الگو:پایان

به وضوح مشخص است که گزاره فوق نادرست است. به زبان نمادین: الگو:وسط‌چین $\mathrm{\neg }\mathrm{\forall }x\in XP(x)$الگو:پایان

به معنای دقیق نقیض کردن یک سور عمومی توجه کنید: اگر یک عبارت برای هر عضو موجود در دامنه مشخص شده صحیح نباشد، حتماً حداقل یک عضو وجود دارد که در عبارت مورد بحث صدق نمی‌کند؛ بنابراین در مثال فوق، نقیض گزاره $\mathrm{\forall }x\in XP(x)$ از نظر منطقی هم ارز با عبارت «انسانی مانند x در مجموعه انسان‌ها وجود دارد که مجرد است.» می‌باشد. یا:

الگو:وسط‌چین $\mathrm{\exists }x\in X\mathrm{\neg }P(x)$الگو:پایان

به عنوان مثالی دیگر، در نظر بگیرید که (P(x یک گزاره نما با تعریف «x عددی بین ۰ و ۱ است» باشد، با کمک سور وجودی جمله جدیدی ساخته می‌شود: «یک عدد طبیعی x وجود دارد به گونه‌ای که بین ۰ و ۱ واقع می‌شود». به زبان ریاضی:

الگو:وسط‌چین $\mathrm{\exists }x\in \mathbb{N}P(x)$الگو:پایان

یک تفکر چند ثانیه‌ای نشان می‌دهد که گزاره فوق به‌طور قطع نادرست است؛ بنابراین می‌توان گفت: «هیچ عدد طبیعی وجود ندارد که بین ۰ و ۱ قرار گیرد». به زبان نمادها:

الگو:وسط‌چین $\mathrm{\neg }\mathrm{\exists }x\in \mathbb{N}P(x)$الگو:پایان

به‌طور دقیق، منفی کردن سور وجودی به این معناست که اگر هیچ عضوی متعلق به دامنه مورد بحث وجود نداشته باشد که در گزاره مورد نظر صدق کند، آن گزاره باید برای همه اعضای آن دامنه نادرست باشد؛ بنابراین در مثال فوق منفی کردن سور وجودی از نظر منطقی معادل با این است که بگوئیم: «برای هرعدد طبیعی مانندx, x بین ۰ و ۱ قرار ندارد». یا:

الگو:وسط‌چین $\mathrm{\forall }x\in \mathbb{N}\mathrm{\neg }P(x)$الگو:پایان

پس به‌طور کلی، نقیض یک تابع گزاره‌ای که با سور وجودی بیان شده‌است، هم ارز با نقیض آن تابع گزاره‌ای است که با سور عمومی بیان شده باشد. به‌طور نمادین می‌توان نوشت:

الگو:وسط‌چین $\mathrm{\neg }\mathrm{\exists }x\in XP(x)\equiv \mathrm{\forall }x\in X\mathrm{\neg }P(x)$الگو:پایان

قوانین استنتاج

یکی از قوانین استدلال که با نام Universal Instantiation شناخته شده‌است، بیان می‌کند که اگر یک تابع گزاره‌ای به‌طور عمومی درست باشد می‌توان نتیجه گرفت که برای هر عضو دلخواه در دامنه اش صحیح است. این قانون به زبان نمادها به شکل زیر نشان داده می‌شود:

الگو:وسط‌چین $\mathrm{\forall }x\in XP(x)\to P(c)$الگو:پایان

یکی دیگر از قوانین استدلال که به Existential Introduction معروف است، نتیجه می‌دهد که اگر مطمئن باشیم یک تابع گزاره‌ای برای یک عضو خاص در دامنه مورد بحث ما درست است، پس می‌توان گفت «عضوی وجود دارد که تابع گزاره‌ای برای آن درست است.» یعنی عبارت ذیل همواره از نظر منطقی درست خواهد بود:

الگو:وسط‌چین $P(a)\to \mathrm{\exists }x\in XP(x)$الگو:پایان

منابع

• http://en.wikipedia.org/wiki/Universal_quantification