यदि इस प्रतिज्ञप्ति- "कोई भी मेंढक उभयचर नहीं है' को असत्य के रूप में दिया गया है तो निम्नलिखित में से किस प्रतिज्ञप्ति के सत्य होने का तात्कालिक रूप से अनुमान किया जा सकता है? 

Key Points

यदि इस प्रतिज्ञप्ति- "कोई भी मेंढक उभयचर नहीं है" यह गलत है इसका अर्थ यह है कि कम से कम एक मेंढक मौजूद है जो एक उभयचर है।

आइए प्रतिज्ञप्ति को विभाजित करके शुरू करें।

• इसके घटक भागों में यह सम्मिलित है कि "कोई मेंढक उभयचर नहीं हैं"। "नहीं" शब्द का अर्थ है कि समुच्चय में "मेंढक" का कोई सदस्य नहीं है जो "उभयचर" समुच्चय के सदस्य भी हैं। दूसरे शब्दों में, समुच्चय में  "मेंढक" और "उभयचर" का चौराहा खाली है।
• अब, मान लें कि यह प्रस्ताव असत्य है। इसका अर्थ है कि समुच्चय "मेंढक" का कम से कम एक सदस्य "उभयचर" समुच्चय का सदस्य होना चाहिए। दूसरे शब्दों में, समुच्चय "मेंढक" और "उभयचर" का प्रतिच्छेदन रिक्त नहीं है।
• इसका अर्थ है कि कुछ मेंढक उभयचर हैं। इस प्रतिज्ञप्ति के सत्य होने का तात्कालिक रूप से अनुमान किया जा सकता है। यह प्रतिज्ञप्ति सही है। 
• अन्य प्रतिज्ञप्ति आवश्यक रूप से सत्य नहीं हैं।
• उदाहरण के लिए, सिर्फ इसलिए कि कम से कम एक मेंढक मौजूद है जो उभयचर है, इसका अर्थ यह नहीं है कि सभी मेंढक उभयचर हैं। यह भी संभव है कि गैर-मेंढ़क मौजूद हों जो उभयचर हैं।

आइए अन्य प्रतिज्ञप्ति को अधिक विस्तार से देखें।

1) कुछ गैर-उभयचर गैर-मेंढक नहीं हैं। यह प्रस्ताव आवश्यक रूप से सत्य नहीं है। उदाहरण के लिए, एक मछली एक गैर-उभयचर है, और एक मछली भी एक गैर-मेंढक है। इसलिए, एक गैर-उभयचर एक गैर-मेंढक हो सकता है।

3) सभी मेंढक उभयचर हैं। यह प्रस्ताव भी आवश्यक रूप से सत्य नहीं है। उदाहरण के लिए, ऐसे मेंढक मौजूद हो सकते हैं जो उभयचर नहीं हैं। उदाहरण के लिए, एक मेंढक जिसे आनुवंशिक रूप से संशोधित किया गया है, जिसमें पानी में सांस लेने की क्षमता नहीं है, वह उभयचर नहीं होगा।

4) कुछ मेंढक उभयचर नहीं हैं। यह प्रस्ताव आवश्यक रूप से सत्य नहीं है। उदाहरण के लिए, हम पहले ही स्थापित कर चुके हैं कि मेंढक के लिए उभयचर होना संभव है। इसलिए, एक मेंढक उभयचर हो सकता है; इसलिए, यह जरूरी नहीं है कि कुछ मेंढक उभयचर नहीं हैं।

इसलिए, विकल्प 2) अर्थात प्रतिज्ञप्ति "कुछ मेंढक उभयचर हैं", के सत्य होने का तात्कालिक रूप से अनुमान किया जा सकता है।