तर्क का बीजगणित
तर्कशास्त्र ,तर्क प्रक्रिया के नियमों मे अंतर्गत िदिए गए कथनों से मान्य निष्कर्ष पर पहुॅचने का एक िविशेष तकनीकी रूप है।
तर्क वह माध्यम और रूप प्रदान करता है जिससे मनुष्य द्वारर सोचने की प्रकिया व्यवस्थित क्रम से हाेे सके अर्थात समस्या के हल का माध्यम प्राप्त हो सकेा वैसे तर्क की प्रकिया सभी िविषयों पर लागू होती है,परन्तु गणित में हम िनिरंतर अपने बनाए हुए कथनों की उपपत्त्यिॉ देते रहते है।उपपत्त्यिॉ देने की प्रकिया पूर्णत: तार्किक होती है। इन प्रकियओं के अध्ययन का विषय तर्कशास्त्र है।
प्रस्तुत अध्याय में हम प्रतीकात्मक तर्कशास्त्र का प्रारंभिक अध्ययन करेंगे िजिसके अंतर्गत प्रतीकाेेंेंऔर गणिता की संक्रियाओं का अध्ययन तथा िविशलेषण िकिया जाता है। इस अध्ययन का मूल उद्देश्य गणितीय उपपत्त्िा की व्याख्या करना है।जो वास्तव में गणितीय कथनों कस सउद्देश्य अनुक्रम है।इसके िलिए तार्किक वाक्यों एवं तार्किक संयोजकों की सहायता ली जाती है। िजिसे हम गणित की भाषा कहते है।
1840 में िब्रिटिश गणितज्ञ डीीमार्गन ने तर्क के िविकास पर कार्य िकिया।डीीमार्गन भारत में पैदा हुए थे तथा इ्रग्लैण्ड में उनकी िशिक्षा हुई।1847 में डी मागन के कार्य के बाद में जार्ज बूल ने एक पुस्तक प्रकाशित की िजिसका शीर्षक था the methemarical analysis of logic!
यह ग्रंथ तर्कशास्त्र में प्रयुक्त गणितीय िविश्लेषण था। लगभग एक शताब्दी तक यह अन्वेषण गुमनामी केे अंधेरे में रहा।सन 1938 में क्लाडे ई.शेनन ने यह बताया िकि बूलीय बीजगणित के अनेक िनियमों का उपयोग टेलीफोन जाल में सरलीकरण के अत्यंत्ा महत्वपूर्ण है।सरलीकरण की इस प्रकिया का उपयोग अब कम्प्यूटर के परिपथों के सरलीकरण में भी होने लगा है ।इस प्रकार यह बीजगणित अत्यंत महत्वपूर्ण हो गया ।
बूलीय बीजगणित व्यापक रूप से (1,0) फलन के रूप में जानी जाती है।पहले इनका उपयोग उन कथनों में िकिया जाता था जो सत्य या असत्य होते थे परंतु वर्तमान में इसका उपयोग िस्विचन परिपथ ,जो या तो खुले हों या बंद हों में िकिया जाता है।
बूलीय बीजगणित में मुख्यत: तीन संक्रियाऍ होती है- (1) 'तथा' (2) 'अथवा') (3) 'नही' िजिन्हें प्रतीक रूप में क्रमश: v एवं ^ से िलिखेंगे।इन प्रतीकों को क्रमश: हम '+' , '.' या ' ' ' भी िलखेंगे।
तर्कशास्त्र ,तर्क प्रक्रिया के नियमों मे अंतर्गत िदिए गए कथनों से मान्य निष्कर्ष पर पहुॅचने का एक िविशेष तकनीकी रूप है।
तर्क वह माध्यम और रूप प्रदान करता है जिससे मनुष्य द्वारर सोचने की प्रकिया व्यवस्थित क्रम से हाेे सके अर्थात समस्या के हल का माध्यम प्राप्त हो सकेा वैसे तर्क की प्रकिया सभी िविषयों पर लागू होती है,परन्तु गणित में हम िनिरंतर अपने बनाए हुए कथनों की उपपत्त्यिॉ देते रहते है।उपपत्त्यिॉ देने की प्रकिया पूर्णत: तार्किक होती है। इन प्रकियओं के अध्ययन का विषय तर्कशास्त्र है।
प्रस्तुत अध्याय में हम प्रतीकात्मक तर्कशास्त्र का प्रारंभिक अध्ययन करेंगे िजिसके अंतर्गत प्रतीकाेेंेंऔर गणिता की संक्रियाओं का अध्ययन तथा िविशलेषण िकिया जाता है। इस अध्ययन का मूल उद्देश्य गणितीय उपपत्त्िा की व्याख्या करना है।जो वास्तव में गणितीय कथनों कस सउद्देश्य अनुक्रम है।इसके िलिए तार्किक वाक्यों एवं तार्किक संयोजकों की सहायता ली जाती है। िजिसे हम गणित की भाषा कहते है।
1840 में िब्रिटिश गणितज्ञ डीीमार्गन ने तर्क के िविकास पर कार्य िकिया।डीीमार्गन भारत में पैदा हुए थे तथा इ्रग्लैण्ड में उनकी िशिक्षा हुई।1847 में डी मागन के कार्य के बाद में जार्ज बूल ने एक पुस्तक प्रकाशित की िजिसका शीर्षक था the methemarical analysis of logic!
यह ग्रंथ तर्कशास्त्र में प्रयुक्त गणितीय िविश्लेषण था। लगभग एक शताब्दी तक यह अन्वेषण गुमनामी केे अंधेरे में रहा।सन 1938 में क्लाडे ई.शेनन ने यह बताया िकि बूलीय बीजगणित के अनेक िनियमों का उपयोग टेलीफोन जाल में सरलीकरण के अत्यंत्ा महत्वपूर्ण है।सरलीकरण की इस प्रकिया का उपयोग अब कम्प्यूटर के परिपथों के सरलीकरण में भी होने लगा है ।इस प्रकार यह बीजगणित अत्यंत महत्वपूर्ण हो गया ।
बूलीय बीजगणित व्यापक रूप से (1,0) फलन के रूप में जानी जाती है।पहले इनका उपयोग उन कथनों में िकिया जाता था जो सत्य या असत्य होते थे परंतु वर्तमान में इसका उपयोग िस्विचन परिपथ ,जो या तो खुले हों या बंद हों में िकिया जाता है।
बूलीय बीजगणित में मुख्यत: तीन संक्रियाऍ होती है- (1) 'तथा' (2) 'अथवा') (3) 'नही' िजिन्हें प्रतीक रूप में क्रमश: v एवं ^ से िलिखेंगे।इन प्रतीकों को क्रमश: हम '+' , '.' या ' ' ' भी िलखेंगे।
