गणितीय तर्क — अध्ययन नोट्स

1. परिचय

गणितीय तर्क (Mathematical Reasoning) तर्कसंगत विचार का गणितीय अध्ययन है, जो यह निर्धारित करता है कि कोई कथन सत्य है या असत्य। कक्षा 11 के इस अध्याय में हम कथनों, तार्किक संयोजकों, सशर्त कथनों और इनकी वैधता का अध्ययन करते हैं। गणितीय तर्क के माध्यम से हम यह सुनिश्चित करते हैं कि निष्कर्ष ठोस और तर्कसंगत हों। यह विज्ञान, कंप्यूटर विज्ञान, न्यायशास्त्र और दैनिक जीवन के निर्णयों में भी उपयोगी है।

2. कथन (Statement)

कथन वह वाक्य है जो सत्य या असत्य हो, परंतु दोनों एक साथ नहीं। गणितीय कथनों के लिए यह अनिवार्य है कि वे या तो सत्य हों या असत्य।

उदाहरण

• "दिल्ली भारत की राजधानी है" - सत्य कथन
• "5 एक सम संख्या है" - असत्य कथन
• "x + 3 = 7" - कथन नहीं, क्योंकि x के मान पर निर्भर करता है

प्रश्नवाचक, आदेशवाचक, विस्मयादिबोधक वाक्य कथन नहीं होते।

3. तार्किक संयोजक (Logical Connectives)

दो या अधिक कथनों को जोड़ने वाले शब्द संयोजक कहलाते हैं: - और (Conjunction): p ∧ q, दोनों कथन सत्य हों तो ही सत्य। - या (Disjunction): p ∨ q, कम से कम एक सत्य हो तो सत्य। - नहीं (Negation): ~p या ¬p, कथन के सत्य को असत्य में बदलता है। - यदि-तब (Implication): p ⇒ q, p सत्य और q असत्य होने पर ही असत्य। - यदि और केवल यदि (Biconditional): p ⇔ q, दोनों समान सत्यता पर सत्य।

4. सत्य सारणी (Truth Table)

संयोजक और (∧) की सत्य सारणी

संयोजक या (∨) की सत्य सारणी

निहितार्थ (p ⇒ q) की सत्य सारणी

5. सशर्त कथन के रूप (Forms of Conditional)

p ⇒ q के तीन और रूप होते हैं: - विलोम (Converse): q ⇒ p - प्रतिधनात्मक (Contrapositive): ~q ⇒ ~p - प्रतिलोम (Inverse): ~p ⇒ ~q

यदि p ⇒ q सत्य हो, तो उसका प्रतिधनात्मक ~q ⇒ ~p भी सत्य होता है।

6. तार्किक तुल्यता (Logical Equivalence)

दो कथन तार्किक रूप से तुल्य होते हैं यदि उनकी सत्य सारणियाँ समान हों। उदाहरण: - p ⇒ q ≡ ~p ∨ q - p ⇒ q ≡ ~q ⇒ ~p (प्रतिधनात्मक तुल्यता) - ~(p ∧ q) ≡ ~p ∨ ~q (डी-मॉर्गन नियम) - ~(p ∨ q) ≡ ~p ∧ ~q (डी-मॉर्गन नियम)

7. मात्रक (Quantifiers)

• सार्वत्रिक मात्रक (Universal Quantifier): "सभी" या "प्रत्येक", जिसे ∀ से दर्शाते हैं।
• अस्तित्ववाचक मात्रक (Existential Quantifier): "कुछ" या "कम से कम एक", जिसे ∃ से दर्शाते हैं।

मात्रक कथन को व्यापक या आंशिक बनाते हैं। "सभी पूर्णांक परिमेय हैं" एक सार्वत्रिक कथन है, जबकि "कुछ पूर्णांक सम हैं" अस्तित्ववाचक कथन है।

8. कथनों की वैधता (Validity of Statements)

कथन की वैधता निम्न तरीकों से सिद्ध की जाती है: 1. प्रत्यक्ष विधि: सभी संभव मामलों की जाँच करके। 2. प्रतिधनात्मक विधि: ~q ⇒ ~p सिद्ध करके। 3. विरोधाभास विधि: मान लें कि कथन असत्य है, फिर विरोधाभास प्राप्त करें।

उदाहरण: यह सिद्ध करना कि "यदि x एक अपरिमेय संख्या है, तो 1/x भी अपरिमेय है"।

त्वरित पुनरावृत्ति तालिकाएँ

तालिका 1: संयोजक और उनके परिणाम

तालिका 2: कथन के रूप

माइंड मैप

महत्वपूर्ण आरेख (SVG)

सामान्य गलतियाँ

1. प्रश्नवाचक या आदेशवाचक वाक्य को कथन मान लेना; ये कथन नहीं होते।
2. चर युक्त वाक्य को सदैव कथन मान लेना; x + 3 = 7 कथन नहीं है।
3. p ⇒ q की सत्य सारणी में दोनों असत्य होने पर असत्य लिखना; सही उत्तर सत्य है।
4. "और" को "या" समझना; दोनों संयोजकों की सत्य स्थितियाँ भिन्न हैं।
5. विलोम और प्रतिधनात्मक में भ्रम; विलोम q ⇒ p है, प्रतिधनात्मक ~q ⇒ ~p है।
6. डी-मॉर्गन नियम में ~(p ∧ q) को ~p ∧ ~q लिखना; सही ~p ∨ ~q है।
7. प्रतिलोम (~p ⇒ ~q) को प्रतिधनात्मक मान लेना; ये दोनों भिन्न हैं।

परीक्षा युक्तियाँ

1. कथन की पहचान के लिए जाँचें कि वह सत्य या असत्य दोनों में से एक निश्चित रूप से हो सकता है।
2. सत्य सारणी बनाकर संयोजकों के परिणाम सदैव सत्यापित करें।
3. p ⇒ q के बारे में याद रखें: केवल एक स्थिति (p सत्य, q असत्य) में असत्य।
4. तुल्यता के प्रश्नों में सत्य सारणी से तुलना करें।
5. मात्रक "सभी" का खंडन "कुछ नहीं" या "कम से कम एक नहीं" से करें।
6. प्रतिधनात्मक के प्रश्नों में p और q के क्रम और निषेध दोनों बदलते हैं।
7. वस्तुनिष्ठ प्रश्नों में विकल्पों की सत्य सारणी से तुलना करें।

निष्कर्ष

गणितीय तर्क यह सुनिश्चित करता है कि गणितीय निष्कर्ष ठोस नींव पर आधारित हों। कथनों की पहचान, तार्किक संयोजक, सत्य सारणी, सशर्त कथनों के रूप, मात्रक और वैधता के प्रमाण इस अध्याय के प्रमुख विषय हैं। प्रतिधनात्मक की तुल्यता और डी-मॉर्गन नियम तर्क की शक्तिशाली विधियाँ हैं। यह अध्याय न केवल गणित बल्कि कंप्यूटर विज्ञान, दर्शनशास्त्र और तार्किक निर्णय लेने की कला में भी सहायक है।