Chapter 3:
गणितीय तर्क
Mathematical Reasoning
इस अध्याय में आप कथनों, तार्किक संयोजकों, निष्कर्षों तथा तर्क की विभिन्न विधियों का अध्ययन करेंगे। ये अवधारणाएँ विश्लेषणात्मक एवं निर्णय लेने की क्षमता को विकसित करती हैं।
In this chapter, you will learn about statements, logical connectives, implications, and methods of reasoning. These concepts are essential for developing analytical and decision-making skills.
VIDEOS
Mathematical reasoning: Part 1
गणितीय कथन की अवधारणा, उन्हें पहचानने का तरीका, और ‘और’ (and) तथा ‘या’ (or) जैसे तार्किक संयोजकों का उपयोग करके नए कथन बनाने की प्रक्रिया का परिचय।
Introduces the concept of mathematical statements, how to identify them, and explains how to form new statements using logical operators like “and” (or) and “or” (exclusive/inclusive).
Mathematical reasoning: Part 2
प्रतिबन्धात्मक कथनों (यदि-तो), उनके विलोम (converse) और प्रतिधनात्मक (contrapositive) रूपों, तथा गणितीय कथनों को सिद्ध करने की विभिन्न विधियों की व्याख्या।
Explains conditional statements (If-Then), their contrapositive, converse forms, and various methods for proving mathematical statements.
NOTES
Mathematical Reasoning
Introduction
Mathematical Reasoning is the process of using logical thinking to arrive at correct conclusions. It helps us analyze statements, identify patterns, and solve problems systematically. This chapter introduces different types of statements, logical connectives, implications, and methods of reasoning used in mathematics.
Statement
What is a Statement?
A statement is a sentence that is either true or false, but not both.
Examples:
- “7 is a prime number.” (True)
- “5 is an even number.” (False)
Questions, commands, and exclamatory sentences are not statements because they cannot be assigned a truth value.
Logical Connectives
Connecting Statements
Two or more statements can be combined using logical connectives.
The main logical connectives are:
- AND (∧) – Conjunction
- OR (∨) – Disjunction
- NOT (¬) – Negation
These connectives are used to form compound statements.
Truth Table
Truth Values
A truth table shows the truth value of a compound statement for all possible truth values of its components.
Truth tables help determine whether a statement is always true, always false, or depends on the given conditions.
Implication
If–Then Statement
An implication is a statement of the form:
If p, then q (p → q)
Where:
- p is called the hypothesis.
- q is called the conclusion.
The implication is false only when p is true and q is false.
Converse, Inverse and Contrapositive
Related Statements
For the statement p → q:
- Converse: q → p
- Inverse: ¬p → ¬q
- Contrapositive: ¬q → ¬p
The contrapositive always has the same truth value as the original implication.
Logical Equivalence
Equivalent Statements
Two statements are logically equivalent if they have the same truth values in every possible case.
Logical equivalence is useful for simplifying mathematical expressions and proofs.
Methods of Reasoning
Deductive and Inductive Reasoning
Deductive Reasoning:
- Moves from general statements to specific conclusions.
- Produces logically certain conclusions if the premises are true.
Inductive Reasoning:
- Moves from specific observations to general conclusions.
- Conclusions are based on patterns and may not always be true.
Validating Statements
Checking Arguments
Mathematical reasoning is used to test whether an argument is valid.
An argument is considered valid if the conclusion logically follows from the given premises.
Applications of Mathematical Reasoning
Importance
Mathematical reasoning is used in:
- Solving mathematical problems.
- Computer programming.
- Artificial Intelligence.
- Scientific research.
- Logical decision-making.
- Everyday problem-solving.
Key Points
- A statement is either true or false.
- Logical connectives combine simple statements.
- Truth tables determine the truth value of compound statements.
- Implication is written as p → q.
- Converse, inverse, and contrapositive are related statements.
- Deductive and inductive reasoning are important methods of logical thinking.
- Mathematical reasoning develops analytical and problem-solving skills.
Chapter Summary
Mathematical Reasoning introduces logical thinking through statements, truth values, logical connectives, implications, and methods of reasoning. It helps students analyze arguments, verify conclusions, and solve problems systematically. These concepts form the foundation of higher mathematics, computer science, and logical decision-making.
गणितीय तर्क
परिचय
गणितीय तर्क वह प्रक्रिया है जिसमें तार्किक सोच के आधार पर सही निष्कर्ष निकाले जाते हैं। यह हमें कथनों का विश्लेषण करने, उनके सत्य या असत्य होने का निर्णय लेने तथा समस्याओं को व्यवस्थित ढंग से हल करने में सहायता करता है। इस अध्याय में कथन, तार्किक संयोजक, निहितार्थ तथा तर्क की विभिन्न विधियों का अध्ययन किया जाता है।
कथन (Statement)
कथन क्या है?
कथन वह वाक्य है जो सत्य या असत्य होता है, लेकिन दोनों एक साथ नहीं हो सकता।
उदाहरण:
- 7 एक अभाज्य संख्या है। (सत्य)
- 5 एक सम संख्या है। (असत्य)
प्रश्नवाचक, आदेशात्मक तथा विस्मयादिबोधक वाक्य कथन नहीं होते क्योंकि उनका सत्य मान निर्धारित नहीं किया जा सकता।
तार्किक संयोजक
कथनों को जोड़ना
दो या दो से अधिक कथनों को तार्किक संयोजकों द्वारा जोड़ा जाता है।
मुख्य संयोजक हैं—
- AND (∧) – और (संयोजन)
- OR (∨) – अथवा (वियोजन)
- NOT (¬) – नहीं (निषेध)
इनकी सहायता से संयुक्त कथन बनाए जाते हैं।
सत्यता सारणी
Truth Table
सत्यता सारणी किसी संयुक्त कथन के सभी संभावित सत्य मानों को दर्शाती है।
इसकी सहायता से यह ज्ञात किया जाता है कि कोई कथन सदैव सत्य, सदैव असत्य या परिस्थितियों पर निर्भर है।
निहितार्थ (Implication)
यदि–तब कथन
निहितार्थ का सामान्य रूप है—
यदि p, तब q (p → q)
जहाँ—
- p = परिकल्पना (Hypothesis)
- q = निष्कर्ष (Conclusion)
यह कथन केवल तब असत्य होता है जब p सत्य तथा q असत्य हो।
व्युत्क्रम, प्रतिलोम एवं व्यतिरेक
Related Statements
यदि कथन p → q हो, तो—
- व्युत्क्रम (Converse): q → p
- प्रतिलोम (Inverse): ¬p → ¬q
- व्यतिरेक (Contrapositive): ¬q → ¬p
व्यतिरेक का सत्य मान मूल कथन के समान होता है।
तार्किक समतुल्यता
Logical Equivalence
यदि दो कथनों के प्रत्येक संभव स्थिति में सत्य मान समान हों, तो वे तार्किक रूप से समतुल्य कहलाते हैं।
इसका उपयोग गणितीय प्रमाणों और कथनों को सरल बनाने में किया जाता है।
तर्क की विधियाँ
आगमनात्मक एवं निगमनात्मक तर्क
निगमनात्मक तर्क (Deductive Reasoning):
- सामान्य नियम से विशेष निष्कर्ष निकाला जाता है।
- यदि आधार सत्य हों, तो निष्कर्ष निश्चित रूप से सत्य होता है।
आगमनात्मक तर्क (Inductive Reasoning):
- विशेष उदाहरणों से सामान्य निष्कर्ष निकाला जाता है।
- निष्कर्ष संभावित होता है, हमेशा निश्चित नहीं।
तर्क की वैधता
Arguments की जाँच
गणितीय तर्क का उपयोग यह जाँचने के लिए किया जाता है कि कोई तर्क वैध (Valid) है या नहीं।
यदि निष्कर्ष दिए गए आधारों से तार्किक रूप से निकलता है, तो तर्क वैध माना जाता है।
गणितीय तर्क के अनुप्रयोग
महत्व
गणितीय तर्क का उपयोग—
- गणितीय समस्याओं के समाधान में।
- कंप्यूटर प्रोग्रामिंग में।
- कृत्रिम बुद्धिमत्ता (Artificial Intelligence) में।
- वैज्ञानिक अनुसंधान में।
- तार्किक निर्णय लेने में।
- दैनिक जीवन की समस्याओं के समाधान में।
मुख्य बिंदु
- कथन सत्य या असत्य होता है।
- तार्किक संयोजक कथनों को जोड़ते हैं।
- सत्यता सारणी संयुक्त कथनों का विश्लेषण करती है।
- निहितार्थ p → q के रूप में लिखा जाता है।
- व्युत्क्रम, प्रतिलोम और व्यतिरेक महत्वपूर्ण संबंधित कथन हैं।
- आगमनात्मक और निगमनात्मक तर्क गणित के प्रमुख तर्क हैं।
- गणितीय तर्क तार्किक सोच और समस्या समाधान की क्षमता विकसित करता है।
अध्याय सारांश
इस अध्याय में गणितीय तर्क की मूल अवधारणाओं का अध्ययन किया गया है। इसमें कथन, सत्यता सारणी, तार्किक संयोजक, निहितार्थ, व्युत्क्रम, प्रतिलोम, व्यतिरेक तथा आगमनात्मक एवं निगमनात्मक तर्क शामिल हैं। ये सभी विषय छात्रों में तार्किक सोच विकसित करते हैं और उच्च गणित, कंप्यूटर विज्ञान तथा वैज्ञानिक अनुसंधान की मजबूत नींव तैयार करते हैं।