यदि / तो — सशर्त तर्क प्रश्नोत्तरी
यदि/तो की सशर्त तर्क (P → Q) में महारत हासिल करें। तीन स्तरों पर 45 प्रश्न: आधारभूत (Foundation) P→Q के सत्य सारणी (vacuous truth, एकमात्र गलत मामला), Modus Ponens, Modus Tollens, और क्यों Affirming the Consequent और Denying the Antecedent अमान्य हैं, को कवर करता है। मध्यवर्ती (Intermediate) में contrapositive, converse, inverse, biconditional (P↔Q), disjunction equivalence (¬P∨Q), और hypothetical syllogism जोड़ा गया है। उन्नत (Advanced) में chained conditionals, conditionals का निषेध (¬(P→Q) = P∧¬Q), tautologies, जटिल सत्य मान विश्लेषण, और edge cases शामिल हैं।
यदि / तो कैसे खेलें
- 1
सत्य सारणी सीखें
लॉबी में सत्य सारणी सब कुछ का आधार है। P→Q बिल्कुल ONE मामले में FALSE है: जब P TRUE हो और Q FALSE हो। अन्य सभी मामलों में — P FALSE होने सहित — सशर्त TRUE होता है। यह 'vacuous truth' (एक झूठा पूर्ववर्ती सशर्त को सच बनाता है) शुरुआती लोगों के लिए सबसे सहज ज्ञान युक्त अवधारणा है।
- 2
अनुमान नियमों को पहचानें
Modus Ponens (P→Q, P, ∴Q) और Modus Tollens (P→Q, ¬Q, ∴¬P) मान्य हैं। Denying the Antecedent (P→Q, ¬P, ∴¬Q) और Affirming the Consequent (P→Q, Q, ∴P) अमान्य भ्रांतियाँ हैं। आधारभूत स्तर सभी चारों का परीक्षण करता है।
- 3
समतुल्य रूपों में महारत हासिल करें
मध्यवर्ती स्तर चार संबंधित रूपों का परीक्षण करता है: CONTRAPOSITIVE (¬Q→¬P, मूल के समतुल्य), CONVERSE (Q→P, समतुल्य नहीं), INVERSE (¬P→¬Q, समतुल्य नहीं), और BICONDITIONAL (P↔Q, केवल तभी सत्य जब P और Q मेल खाते हों)। साथ ही: P→Q ≡ ¬P∨Q disjunction equivalence है।
- 4
उन्नत मामलों को संभालें
उन्नत प्रश्न खोजते हैं: chained hypothetical syllogism (A→B→C→D का अर्थ है A→D); यदि P→Q को FALSE ज्ञात हो तो हम क्या निर्धारित कर सकते हैं (P=T, Q=F); (P→Q)∨(Q→P) जैसे tautologies; और निषेध ¬(P→Q) = P∧¬Q। ये डिस्क्रिट मैथ और फॉर्मल लॉजिक कोर्स की सामग्री को कवर करते हैं।
मुख्य विशेषताएँ
3 स्तरों पर 45 प्रश्न
आधारभूत (15): P→Q के लिए पूर्ण सत्य सारणी जिसमें सभी चार पंक्तियाँ शामिल हैं; एकमात्र गलत मामले (P=T, Q=F) की पहचान करना; Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); क्यों Denying the Antecedent और Affirming the Consequent अमान्य हैं; और vacuous truth (झूठा पूर्ववर्ती = हमेशा सच)। मध्यवर्ती (15): Contrapositive (¬Q→¬P), converse (Q→P), और inverse (¬P→¬Q); कौन से जोड़े तार्किक रूप से समतुल्य हैं; biconditional (P↔Q); disjunction equivalence (P→Q ≡ ¬P∨Q); एक conditional का निषेध; और hypothetical syllogism।
इंटरैक्टिव सत्य सारणी लॉबी
लॉबी P→Q के लिए पूरी सत्य सारणी प्रदर्शित करती है जिसमें रंग-कोडित सत्य मान होते हैं — TRUE के लिए हरे चिप्स, FALSE के लिए लाल — और एकमात्र पंक्ति को हाइलाइट करती है जो FALSE उत्पन्न करती है। यह एक स्थायी संदर्भ के रूप में कार्य करता है और प्रश्नोत्तरी शुरू होने से पहले केंद्रीय मैकेनिक सिखाता है।
सिमेंटिक चॉइस कलरिंग
TRUE कहने वाले उत्तर टाइल्स को चयन से पहले ही हल्के हरे रंग में और FALSE कहने वाले टाइल्स को लाल रंग में रंगा गया है, जो उनके सिमेंटिक अर्थ से मेल खाते हैं। यह सत्य मान लेबल और उनके अर्थ के बीच जुड़ाव बनाता है, न कि सभी विकल्पों को समान रूप से देखने के बजाय।
मोनोस्पेस लॉजिक नोटेशन
प्रश्न और स्पष्टीकरण मानक तार्किक नोटेशन का उपयोग करते हैं: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. मोनोस्पेस फ़ॉन्ट तार्किक संरचना को स्कैन करने योग्य बनाता है और दर्शाता है कि कंडिशनल डिस्क्रिट मैथ, कंप्यूटर साइंस, और SAT/LSAT फॉर्मल रीज़निंग सेक्शन में कैसे दिखाई देते हैं।
अक्सर पूछे जाने वाले प्रश्न
यह 'यदि झूठा, तो कुछ भी' TRUE क्यों है?
इसे vacuous truth कहा जाता है। एक सशर्त 'यदि P, तो Q' एक वादा है: 'जब भी P होगा, Q होगा।' यदि P कभी नहीं होता (P झूठा है), तो वादा कभी परखा नहीं जाता — और बिना परखे वादे को तोड़ा नहीं जा सकता। इसलिए तकनीकी रूप से सशर्त TRUE है। यह अजीब लगता है लेकिन तार्किक रूप से सुसंगत है: एक झूठा पूर्ववर्ती सशर्त का उल्लंघन कभी नहीं कर सकता।
contrapositive, converse, और inverse के बीच क्या अंतर है?
मूल: यदि P, तो Q (P→Q)। Contrapositive: यदि Q नहीं, तो P नहीं (¬Q→¬P) — मूल के समतुल्य। Converse: यदि Q, तो P (Q→P) — समतुल्य नहीं। Inverse: यदि P नहीं, तो Q नहीं (¬P→¬Q) — समतुल्य नहीं (लेकिन converse के समतुल्य)। याद रखने का तरीका: मूल और Contrapositive समतुल्य हैं; Converse और Inverse एक दूसरे के समतुल्य हैं।
Modus Ponens क्या है?
Modus Ponens ('affirming the antecedent'): P→Q, P, ∴Q। यदि सशर्त लागू होता है और पूर्ववर्ती सत्य है, तो परिणामी सत्य होना चाहिए। उदाहरण: 'यदि बारिश होती है, तो जमीन गीली हो जाती है। बारिश हो रही है। इसलिए, जमीन गीली है।' यह निगमन तर्क का सबसे बुनियादी और सार्वभौमिक रूप से मान्य रूप है।
Modus Tollens क्या है?
Modus Tollens ('denying the consequent'): P→Q, ¬Q, ∴¬P। यदि सशर्त लागू होता है और परिणामी FALSE है, तो पूर्ववर्ती को FALSE होना चाहिए। उदाहरण: 'यदि बारिश होती है, तो जमीन गीली हो जाती है। जमीन गीली नहीं है। इसलिए, बारिश नहीं हुई।' यह मान्य है क्योंकि यदि P सत्य होता तो सशर्त का उल्लंघन होता (P=T, Q=F)।
'Affirming the Consequent' अमान्य क्यों है?
Affirming the Consequent: P→Q, Q, ∴P अमान्य है। भले ही सशर्त लागू हो और Q सत्य हो, P झूठा हो सकता है — Q किसी अन्य कारण से हो सकता है। उदाहरण: 'यदि बारिश होती है, तो जमीन गीली हो जाती है। जमीन गीली है। इसलिए, बारिश हुई।' अमान्य — जमीन स्प्रिंकलर से गीली हो सकती है। सशर्त यह नहीं कहता कि गीलापन का एकमात्र कारण बारिश है।
स्कोरिंग कैसे काम करती है?
सही उत्तरों से 10 अंक (आधारभूत), 15 अंक (मध्यवर्ती), या 20 अंक (उन्नत) मिलते हैं। लगातार सही उत्तरों से पहले के बाद प्रति उत्तर 5 अंकों का स्ट्रीक बोनस जुड़ता है। एक गलत उत्तर स्ट्रीक को शून्य पर रीसेट कर देता है।