सार्वभौमिक सामान्यीकरण

विधेय तर्क में सार्वभौमिक सामान्यीकरण या सार्वभौमिक परिचय भी,  अनुमानतः इसकी वैधता (तर्क) नियम को प्रदर्शित करता है। इसमें यह कहा गया है कि यदि $$\vdash \!P(x)$$ तब व्युत्पन्न किया गया है $$\vdash \!\forall x \, P(x)$$ प्राप्त किया जा सकता है।

परिकल्पनाओं के साथ सामान्यीकरण
पूर्ण सामान्यीकरण नियम के अनुसार घूमने वाला प्रतीकों के बाईं ओर परिकल्पना की अनुमति देता है, अपितु प्रतिबंधों के साथ इसका निवारण किया जा सकता हैं। इस प्रकार मान लीजिए $$\Gamma$$ सूत्रों का समुच्चय है, जहाँ $$\varphi$$ सूत्र, और $$\Gamma \vdash \varphi(y)$$ निकाला गया है, इसके आधार पर सामान्यीकरण नियम यह बताता है कि $$\Gamma \vdash \forall x \, \varphi(x)$$ द्वारा इसे प्राप्त किया जा सकता है, यहाँ पर $$y$$ में $$\Gamma$$ का मान उल्लेख नहीं है, और $$x$$ में $$\varphi$$ का मान नहीं होता है।

सुदृढ़ता के लिए ये प्रतिबंध आवश्यक हैं। पहले प्रतिबंध के बिना, कोई निष्कर्ष निकाल सकता है $$\forall x P(x)$$ परिकल्पना से $$P(y)$$ को दूसरे प्रतिबंध के बिना, कोई निम्नलिखित कटौती कर सकता है:
 * 1) $$\exists z \, \exists w \, ( z \not = w) $$ (परिकल्पना)
 * 2) $$\exists w \, (y \not = w) $$ (अस्तित्वगत तात्कालिकता)
 * 3) $$y \not = x$$ (अस्तित्वगत तात्कालिकता)
 * 4) $$\forall x \, (x \not = x)$$ (दोषपूर्ण सार्वभौमिक सामान्यीकरण)

इसका तात्पर्य यह दर्शाना है लिए आवश्यक हैं कि $$\exists z \, \exists w \, ( z \not = w) \vdash \forall x \, (x \not = x),$$ जो अनुचित कटौती है, इस पर ध्यान दें कि $$\Gamma \vdash \forall y \, \varphi(y)$$ यदि अनुमति है $$y$$ में उल्लेख नहीं है, तो इस स्थिति में $$\Gamma$$ दूसरे प्रतिबंध को शब्दार्थ संरचना के रूप में लागू करने की आवश्यकता नहीं है, इसके आधार पर $$\varphi(y)$$ किसी भी चर के प्रतिस्थापन द्वारा परिवर्तित नहीं होता हैं।

प्रमाण का उदाहरण
सिद्ध करना: $$ \forall x \, (P(x) \rightarrow Q(x)) \rightarrow (\forall x \, P(x) \rightarrow \forall x \, Q(x)) $$ से $$ \forall x \, (P(x) \rightarrow Q(x)) $$ और $$ \forall x \, P(x) $$ मान व्युत्पन्न होता है।

प्रमाण: इस प्रमाण में, सार्वभौमिक सामान्यीकरण का उपयोग चरण 8 में किया गया था। इस प्रकार कटौती प्रमेय के लिए प्राप्त होने वाले इन चरणों को 10 और 11 में लागू किया गया था, क्योंकि स्थानांतरित किए जा रहे सूत्रों में कोई मुक्त चर नहीं है।

यह भी देखें

 * प्रथम-क्रम तर्क
 * तात्कालिकता सामान्यीकरण
 * सार्वभौमिक तात्कालिकता