तर्कशास्त्र अभ्यास

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

कठिनाई स्तरों का क्या अर्थ है?

चार स्तर हैं: शुरुआती, मध्यम, उन्नत और विशेषज्ञ। ये बताते हैं कि कितना जानना ज़रूरी है, न कि अभ्यास में कितना समय लगेगा; हर अभ्यास अनुमानित समय और उसके अंक भी दिखाता है।

प्रशिक्षण सत्र क्या है?

एक ही कठिनाई के अभ्यासों की एक शृंखला, जिसे चाहें तो उन श्रेणियों और प्रकारों तक सीमित किया जा सकता है जिन पर आप काम करना चाहते हैं। यह बीच-बीच में अंक जोड़ता रहता है और अंत में बताता है कि आपका प्रदर्शन कैसा रहा, तथा अगला कठिनाई स्तर मौजूद हो तो उसका सुझाव देता है।

मेरे उत्तर कैसे जाँचे जाते हैं?

आपके ब्राउज़र में ही, उसी इंजन से जो कैलकुलेटर चलाता है। अधिकतर प्रकारों में रिक्त स्थान और संकेतन एक-समान करने के बाद आपके उत्तर की अपेक्षित उत्तर से तुलना होती है; व्यंजक लिखने वाले प्रकार में इससे आगे बढ़कर तार्किक समतुल्यता जाँची जाती है, इसलिए अलग ढंग से लिखा पर वही अर्थ रखने वाला सूत्र भी सही माना जाता है। हर अभ्यास के साथ एक व्याख्या रहती है, जो उत्तर देने के बाद दिखती है।

अटक जाऊँ तो क्या संकेत मिल सकता है?

हाँ, जिन अभ्यासों में संकेत है वहाँ: एक ऐसा संकेत जिसे आप खोल सकते हैं और जो उत्तर नहीं बता देता। वह भी काफ़ी न हो तो उस विषय की मार्गदर्शिका पर लौटना आमतौर पर सबसे तेज़ रास्ता है — अभ्यासों की श्रेणियाँ और मार्गदर्शिकाएँ एक ही विषयों पर चलती हैं।

सभी प्रश्न देखें

प्रशिक्षण

इसका परिणाम क्या है: सत्य और असत्य?

इसका परिणाम क्या है: असत्य या सत्य?

इसका परिणाम क्या है: नहीं सत्य?

दिए गए premises से Q को सिद्ध करने के लिए निम्नलिखित चरणों को सही क्रम में व्यवस्थित करें। लक्ष्य: Q को सिद्ध करें

निम्नलिखित व्यंजक का मूल्यांकन करें: P ∧ Q जब P = सत्य और Q = सत्य

निम्नलिखित व्यंजक का मूल्यांकन करें: P ∨ Q जब P = असत्य और Q = सत्य

इस प्रमाण के लिए लुप्त औचित्य भरें। लक्ष्य: Q को सिद्ध करें

श्रेणी के अनुसार ब्राउज़ करें

बूलियन बीजगणित

तार्किक समानता

प्रपोजिशनल लॉजिक

सत्य सारणी

कठिनाई के अनुसार ब्राउज़ करें

शुरुआती

मध्यम

उन्नत

विशेषज्ञ

प्रकार के अनुसार ब्राउज़ करें

बहुविकल्पीय

सरलीकरण

समानता जांच

ड्रैग और ड्रॉप प्रमाण

अभिव्यक्ति मूल्यांकन

प्रमाण पूर्णता

प्रमाण

अभिव्यक्ति इनपुट

सत्य सारणी

अक्सर पूछे जाने वाले प्रश्न